Inverso, Omar
 Distribuzione geografica
Continente #
EU - Europa 369
NA - Nord America 232
AS - Asia 145
SA - Sud America 31
AF - Africa 3
Totale 780
Nazione #
RU - Federazione Russa 289
US - Stati Uniti d'America 226
CN - Cina 40
SG - Singapore 38
IT - Italia 32
BR - Brasile 26
HK - Hong Kong 20
DE - Germania 18
TR - Turchia 10
FR - Francia 9
IL - Israele 9
IN - India 6
KR - Corea 6
CA - Canada 5
GB - Regno Unito 5
IQ - Iraq 4
EC - Ecuador 3
NL - Olanda 3
UA - Ucraina 3
UZ - Uzbekistan 3
FI - Finlandia 2
PL - Polonia 2
VN - Vietnam 2
AR - Argentina 1
BD - Bangladesh 1
BG - Bulgaria 1
CI - Costa d'Avorio 1
GR - Grecia 1
HR - Croazia 1
JO - Giordania 1
JP - Giappone 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MX - Messico 1
NP - Nepal 1
OM - Oman 1
PK - Pakistan 1
PT - Portogallo 1
SE - Svezia 1
SN - Senegal 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 780
Città #
Ashburn 95
Moscow 63
Singapore 27
Boardman 22
Hong Kong 20
Hefei 18
Beijing 16
Dallas 12
Chandler 10
Tel Aviv 9
Assago 8
Istanbul 7
Ogden 6
Rome 6
Seoul 6
Shanghai 6
Düsseldorf 5
Los Angeles 5
San Mateo 5
Milan 4
Andover 3
Brooklyn 3
Council Bluffs 3
Kocaeli 3
Lucca 3
New York 3
Quito 3
São Paulo 3
Toronto 3
Baghdad 2
Bexley 2
Chicago 2
Columbus 2
Frankfurt am Main 2
Guwahati 2
Munich 2
Niagara Falls 2
North Charleston 2
Nuremberg 2
Phoenix 2
Tashkent 2
Urbino 2
Wilmington 2
Abidjan 1
Amman 1
Apodaca 1
Artur Nogueira 1
Athens 1
Atyrau 1
Barnaul 1
Belém 1
Bolzano 1
Brasília 1
Carney 1
Caxias do Sul 1
Coimbatore 1
Curitiba 1
Dakar 1
Dong Ket 1
Dourados 1
Garibaldi 1
Göteborg 1
Hanoi 1
Helsinki 1
Homburg 1
Ibititá 1
Ijuí 1
Jacksonville 1
Johannesburg 1
Kirkuk 1
Lahore 1
Lansdowne 1
Lauterbourg 1
Lawrence 1
London 1
Luxembourg 1
Maceió 1
Maple Grove 1
Maracaibo 1
Massaranduba 1
Mateus Leme 1
Messina 1
Miami 1
Moita Bonita 1
Montreal 1
Muscat 1
Najaf 1
Naples 1
Newark 1
Ouro Preto do Oeste 1
Palmares 1
Pelotas 1
Piacenza 1
Ponchatoula 1
Portsmouth 1
Presidente Epitácio 1
Princeton 1
Providence 1
Regente Feijó 1
Saarbrücken 1
Totale 462
Nome #
Tight Error Analysis in Fixed-Point Arithmetic 151
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 106
Modelling flocks of birds and colonies of ants from the bottom up 99
Modelling Flocks of Birds from the Bottom Up 95
Simpson's proof systems for process verification: a fine-tuning (short paper) 89
Process Algebras and Flocks of Birds 88
Verification of Distributed Systems via Sequential Emulation 74
Automated replication of tuple spaces via static analysis 55
Tight Error Analysis in Fixed-point Arithmetic 53
Totale 810
Categoria #
all - tutte 4.122
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 4.122


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/2025608 3 7 14 40 24 69 130 18 52 78 130 43
2025/202680 36 40 4 0 0 0 0 0 0 0 0 0
Totale 810