IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.343
NA - Nord America 1.503
AS - Asia 1.073
SA - Sud America 139
AF - Africa 36
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 4
Totale 5.110
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 1.613
US - Stati Uniti d'America 1.449
CN - Cina 369
SG - Singapore 355
SE - Svezia 145
IT - Italia 142
BR - Brasile 114
DE - Germania 99
HK - Hong Kong 91
UA - Ucraina 84
GB - Regno Unito 61
FR - Francia 47
KR - Corea 45
TR - Turchia 45
VN - Vietnam 44
IE - Irlanda 34
FI - Finlandia 32
CA - Canada 29
IN - India 25
JP - Giappone 18
PL - Polonia 17
BD - Bangladesh 16
IL - Israele 16
MX - Messico 15
ZA - Sudafrica 12
CZ - Repubblica Ceca 10
IQ - Iraq 10
ES - Italia 9
EU - Europa 9
NL - Olanda 9
SA - Arabia Saudita 9
PK - Pakistan 8
AR - Argentina 6
AT - Austria 5
BE - Belgio 5
CL - Cile 5
DK - Danimarca 5
LT - Lituania 5
RW - Ruanda 5
EG - Egitto 4
KE - Kenya 4
VE - Venezuela 4
AU - Australia 3
AZ - Azerbaigian 3
BG - Bulgaria 3
EC - Ecuador 3
HR - Croazia 3
HU - Ungheria 3
NP - Nepal 3
RO - Romania 3
UZ - Uzbekistan 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AE - Emirati Arabi Uniti 2
CO - Colombia 2
CR - Costa Rica 2
ET - Etiopia 2
GR - Grecia 2
ID - Indonesia 2
JO - Giordania 2
MD - Moldavia 2
PA - Panama 2
PE - Perù 2
PY - Paraguay 2
TT - Trinidad e Tobago 2
BW - Botswana 1
BY - Bielorussia 1
CV - Capo Verde 1
DM - Dominica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
GM - Gambi 1
IR - Iran 1
JM - Giamaica 1
LB - Libano 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MA - Marocco 1
MN - Mongolia 1
MT - Malta 1
NA - Namibia 1
NG - Nigeria 1
NI - Nicaragua 1
OM - Oman 1
PT - Portogallo 1
QA - Qatar 1
SN - Senegal 1
TJ - Tagikistan 1
TN - Tunisia 1
TO - Tonga 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.110
Salva come PNG Salva come JPEG
Città #
Moscow 467
Chandler 204
Singapore 175
Boardman 171
Ashburn 152
Hong Kong 84
Los Angeles 82
The Dalles 74
Beijing 56
San Mateo 56
New York 54
Milan 48
Shanghai 48
Hefei 46
Seoul 45
Dallas 34
Dublin 34
Istanbul 34
Kitzingen 34
Strasbourg 29
Helsinki 28
Ogden 26
Turin 26
Munich 25
Santa Clara 22
Ho Chi Minh City 17
São Paulo 17
London 16
Tokyo 16
Warsaw 15
Montreal 14
Wilmington 14
Brooklyn 13
Poplar 12
Ann Arbor 11
Guangzhou 11
Seattle 11
Denver 10
Ankara 9
Boston 9
Brno 9
Council Bluffs 9
Stockholm 9
Toronto 9
Atlanta 8
Chennai 8
Hanoi 8
Hanover 8
Las Vegas 8
Mexico City 8
Orem 8
Central 7
Johannesburg 7
San Francisco 7
Dhaka 6
Jiaxing 6
Manchester 6
Nizhniy Novgorod 6
Phoenix 6
Shenzhen 6
Copenhagen 5
Edinburgh 5
Frankfurt am Main 5
Jerusalem 5
Kigali 5
Rome 5
Berlin 4
Brussels 4
Curitiba 4
Houston 4
Makkah 4
Nairobi 4
New Delhi 4
Shaoxing 4
Turku 4
West Jordan 4
Wuxi 4
Augusta 3
Baghdad 3
Baku 3
Brasília 3
Budapest 3
Castelfiorentino 3
Charlotte 3
Chicago 3
City of London 3
Clifton 3
Erbil 3
Gothenburg 3
Greensboro 3
Kathmandu 3
Lucca 3
Mumbai 3
Rio de Janeiro 3
Riyadh 3
Sydney 3
Tashkent 3
Vienna 3
Xi'an 3
Amman 2
Totale 2.540
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 177
Verifying AbC Specifications via Emulation 168
Identification of Credulous Users on Twitter 166
Automated model-based performance analysis of software product lines under uncertainty 153
AErlang: Empowering Erlang with Attribute-Based Communication 147
Automated Replication of Tuple Spaces via Static Analysis 147
Building international doctoral schools in computer science in italy, de nicola’s way 146
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 145
AErlang at Work 140
A Prototype for Data Race Detection in CSeq 3 137
AErlang: Empowering Erlang with attribute-based communication 131
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 128
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 128
Verification of Distributed Systems via Sequential Emulation 127
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 125
Multi-agent systems with virtual stigmergy 124
Verifying Concurrent Programs by Memory Unwinding 124
CSeq: A concurrency pre-processor for sequential C verification tools 123
Probabilistic Analysis of Binary Sessions 123
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 123
Parallel and distributed bounded model checking of multi-threaded programs 118
Automated model-based performance analysis of software product lines under uncertainty 118
Lazy sequentialization for TSO and PSO via shared memory abstractions 117
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 115
CSeq: A Sequentialization Tool for C 110
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 106
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 103
MU-CSeq 0.4: Individual memory location unwindings 101
On the path-width of integer linear programming 99
Modelling flocks of birds and colonies of ants from the bottom up 96
Multi-agent systems with virtual stigmergy 96
Accurate Static Data Race Detection for C 93
On the path-width of integer linear programming 91
Toward formal models and languages for verifiable multi-robot systems 90
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 90
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 90
Process Algebras and Flocks of Birds 87
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 85
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 85
Automated replication of tuple spaces via static analysis 85
Tight Error Analysis in Fixed-point Arithmetic 84
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 84
Modelling Flocks of Birds from the Bottom Up 84
Verifying properties of systems relying on attribute-based communication 81
Tight Error Analysis in Fixed-Point Arithmetic 77
null 27
Totale 5.194
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.118
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 29.118
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202193 0 0 0 0 0 0 0 0 13 23 9 48
2021/2022274 2 5 25 163 6 0 3 0 7 27 9 27
2022/2023555 4 12 19 75 73 97 35 72 86 18 62 2
2023/2024352 8 12 64 11 11 37 25 43 0 59 44 38
2024/2025951 16 99 157 46 83 64 88 51 60 49 168 70
2025/20262.901 297 188 96 376 338 1.606 0 0 0 0 0 0
Totale 5.194