Inverso, Omar
 Distribuzione geografica
Continente #
EU - Europa 236
NA - Nord America 148
AS - Asia 69
SA - Sud America 10
Totale 463
Nazione #
RU - Federazione Russa 197
US - Stati Uniti d'America 147
HK - Hong Kong 19
SG - Singapore 19
IT - Italia 16
DE - Germania 10
TR - Turchia 10
BR - Brasile 6
CN - Cina 6
KR - Corea 6
IN - India 4
EC - Ecuador 3
UZ - Uzbekistan 3
NL - Olanda 2
UA - Ucraina 2
BG - Bulgaria 1
CA - Canada 1
FI - Finlandia 1
GB - Regno Unito 1
GR - Grecia 1
HR - Croazia 1
IQ - Iraq 1
LU - Lussemburgo 1
PL - Polonia 1
PT - Portogallo 1
SE - Svezia 1
VE - Venezuela 1
VN - Vietnam 1
Totale 463
Città #
Ashburn 55
Boardman 22
Hong Kong 19
Moscow 17
Chandler 10
Singapore 8
Istanbul 7
Ogden 6
Rome 6
Seoul 6
Shanghai 6
San Mateo 5
Andover 3
Council Bluffs 3
Kocaeli 3
Los Angeles 3
Lucca 3
Milan 3
Quito 3
New York 2
Nuremberg 2
Tashkent 2
Wilmington 2
Athens 1
Barnaul 1
Bolzano 1
Caxias do Sul 1
Coimbatore 1
Dong Ket 1
Düsseldorf 1
Göteborg 1
Helsinki 1
Homburg 1
Ijuí 1
Jacksonville 1
Kirkuk 1
Lawrence 1
Luxembourg 1
Maracaibo 1
Newark 1
North Charleston 1
Palmares 1
Piacenza 1
Princeton 1
Saarbrücken 1
Salvador 1
Samarkand 1
Serra 1
Sofia 1
São Paulo 1
Toronto 1
Warsaw 1
Totale 225
Nome #
Tight Error Analysis in Fixed-Point Arithmetic 119
Modelling flocks of birds and colonies of ants from the bottom up 66
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 61
Process Algebras and Flocks of Birds 61
Modelling Flocks of Birds from the Bottom Up 60
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 37
Verification of Distributed Systems via Sequential Emulation 36
Automated replication of tuple spaces via static analysis 30
Tight Error Analysis in Fixed-point Arithmetic 20
Totale 490
Categoria #
all - tutte 2.620
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 2.620


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/2025368 3 7 14 40 24 69 130 18 52 11 0 0
Totale 490