Inverso, Omar
 Distribuzione geografica
Continente #
EU - Europa 353
NA - Nord America 199
AS - Asia 109
SA - Sud America 23
AF - Africa 1
Totale 685
Nazione #
RU - Federazione Russa 289
US - Stati Uniti d'America 196
SG - Singapore 37
IT - Italia 29
HK - Hong Kong 19
BR - Brasile 18
DE - Germania 15
CN - Cina 14
TR - Turchia 10
IL - Israele 9
IN - India 6
KR - Corea 6
EC - Ecuador 3
FR - Francia 3
GB - Regno Unito 3
NL - Olanda 3
UA - Ucraina 3
UZ - Uzbekistan 3
CA - Canada 2
IQ - Iraq 2
AR - Argentina 1
BD - Bangladesh 1
BG - Bulgaria 1
CI - Costa d'Avorio 1
FI - Finlandia 1
GR - Grecia 1
HR - Croazia 1
JP - Giappone 1
LU - Lussemburgo 1
MX - Messico 1
PL - Polonia 1
PT - Portogallo 1
SE - Svezia 1
VE - Venezuela 1
VN - Vietnam 1
Totale 685
Città #
Ashburn 92
Moscow 63
Singapore 26
Boardman 22
Hong Kong 19
Chandler 10
Tel Aviv 9
Assago 8
Beijing 8
Istanbul 7
Ogden 6
Rome 6
Seoul 6
Shanghai 6
Düsseldorf 5
Los Angeles 5
San Mateo 5
Andover 3
Council Bluffs 3
Kocaeli 3
Lucca 3
Milan 3
Quito 3
Guwahati 2
New York 2
Niagara Falls 2
North Charleston 2
Nuremberg 2
São Paulo 2
Tashkent 2
Wilmington 2
Abidjan 1
Apodaca 1
Artur Nogueira 1
Athens 1
Barnaul 1
Belém 1
Bolzano 1
Brooklyn 1
Caxias do Sul 1
Chicago 1
Coimbatore 1
Dong Ket 1
Dourados 1
Frankfurt am Main 1
Garibaldi 1
Göteborg 1
Helsinki 1
Homburg 1
Ijuí 1
Jacksonville 1
Kirkuk 1
Lansdowne 1
Lauterbourg 1
Lawrence 1
London 1
Luxembourg 1
Maple Grove 1
Maracaibo 1
Massaranduba 1
Mateus Leme 1
Messina 1
Moita Bonita 1
Najaf 1
Naples 1
Newark 1
Ouro Preto do Oeste 1
Palmares 1
Pelotas 1
Phoenix 1
Piacenza 1
Ponchatoula 1
Portsmouth 1
Princeton 1
Saarbrücken 1
Salvador 1
Samarkand 1
Santa Teresita 1
Santo Antônio 1
Serra 1
Sofia 1
The Dalles 1
Tokyo 1
Toronto 1
Três Lagoas 1
Turin 1
Urbino 1
Warsaw 1
Totale 394
Nome #
Tight Error Analysis in Fixed-Point Arithmetic 142
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 93
Modelling flocks of birds and colonies of ants from the bottom up 87
Modelling Flocks of Birds from the Bottom Up 87
Process Algebras and Flocks of Birds 81
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper) 70
Verification of Distributed Systems via Sequential Emulation 62
Automated replication of tuple spaces via static analysis 47
Tight Error Analysis in Fixed-point Arithmetic 43
Totale 712
Categoria #
all - tutte 3.666
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 3.666


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/2025590 3 7 14 40 24 69 130 18 52 78 130 25
Totale 712