Inverso, Omar
 Distribuzione geografica
Continente #
NA - Nord America 86
EU - Europa 79
AS - Asia 40
SA - Sud America 3
Totale 208
Nazione #
US - Stati Uniti d'America 85
RU - Federazione Russa 47
IT - Italia 16
TR - Turchia 10
SG - Singapore 9
DE - Germania 7
CN - Cina 6
KR - Corea 6
HK - Hong Kong 5
IN - India 3
EC - Ecuador 2
BG - Bulgaria 1
BR - Brasile 1
CA - Canada 1
FI - Finlandia 1
GB - Regno Unito 1
GR - Grecia 1
HR - Croazia 1
NL - Olanda 1
PL - Polonia 1
SE - Svezia 1
UA - Ucraina 1
VN - Vietnam 1
Totale 208
Città #
Boardman 22
Chandler 10
Moscow 10
Istanbul 7
Singapore 7
Ogden 6
Rome 6
Seoul 6
Shanghai 6
Hong Kong 5
San Mateo 5
Andover 3
Kocaeli 3
Los Angeles 3
Lucca 3
Milan 3
Ashburn 2
New York 2
Quito 2
Wilmington 2
Athens 1
Bolzano 1
Council Bluffs 1
Dong Ket 1
Düsseldorf 1
Göteborg 1
Helsinki 1
Homburg 1
Jacksonville 1
Lawrence 1
Newark 1
North Charleston 1
Piacenza 1
Princeton 1
Saarbrücken 1
Sofia 1
São Paulo 1
Toronto 1
Warsaw 1
Totale 132
Nome #
Tight Error Analysis in Fixed-Point Arithmetic 86
Modelling flocks of birds and colonies of ants from the bottom up 22
Automated replication of tuple spaces via static analysis 21
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 21
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 20
Modelling Flocks of Birds from the Bottom Up 20
Verification of Distributed Systems via Sequential Emulation 19
Process Algebras and Flocks of Birds 18
Tight Error Analysis in Fixed-point Arithmetic 8
Totale 235
Categoria #
all - tutte 1.882
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.882


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 0 3 0 3 4 0 3
2021/202223 3 0 3 1 0 0 10 3 0 1 1 1
2022/202324 4 2 0 3 0 3 0 2 4 1 5 0
2023/202462 0 1 0 0 2 0 25 0 6 8 3 17
2024/2025113 3 7 14 40 24 25 0 0 0 0 0 0
Totale 235