IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.239
NA - Nord America 2.667
AS - Asia 1.493
SA - Sud America 178
Continente sconosciuto - Info sul continente non disponibili 99
AF - Africa 51
OC - Oceania 7
Totale 7.734
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.588
RU - Federazione Russa 2.223
SG - Singapore 478
CN - Cina 458
IT - Italia 345
VN - Vietnam 167
SE - Svezia 145
BR - Brasile 137
HK - Hong Kong 106
DE - Germania 104
FR - Francia 91
UA - Ucraina 86
GB - Regno Unito 76
TR - Turchia 49
KR - Corea 46
CA - Canada 40
IN - India 39
IE - Irlanda 35
BD - Bangladesh 33
FI - Finlandia 32
MX - Messico 26
JP - Giappone 21
PL - Polonia 20
IL - Israele 17
NL - Olanda 17
ZA - Sudafrica 16
IQ - Iraq 15
PK - Pakistan 14
ES - Italia 12
AR - Argentina 10
CZ - Repubblica Ceca 10
EU - Europa 9
SA - Arabia Saudita 9
CL - Cile 8
UZ - Uzbekistan 7
AU - Australia 6
EG - Egitto 6
LT - Lituania 6
AT - Austria 5
BE - Belgio 5
CO - Colombia 5
DK - Danimarca 5
NP - Nepal 5
RW - Ruanda 5
VE - Venezuela 5
AZ - Azerbaigian 4
CR - Costa Rica 4
EC - Ecuador 4
ID - Indonesia 4
KE - Kenya 4
PE - Perù 4
AE - Emirati Arabi Uniti 3
BG - Bulgaria 3
DZ - Algeria 3
GR - Grecia 3
HR - Croazia 3
HU - Ungheria 3
JO - Giordania 3
MA - Marocco 3
RO - Romania 3
TN - Tunisia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BO - Bolivia 2
ET - Etiopia 2
MD - Moldavia 2
MN - Mongolia 2
MY - Malesia 2
NG - Nigeria 2
OM - Oman 2
PA - Panama 2
PY - Paraguay 2
QA - Qatar 2
SN - Senegal 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
BW - Botswana 1
BY - Bielorussia 1
CV - Capo Verde 1
DM - Dominica 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GM - Gambi 1
IR - Iran 1
JM - Giamaica 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MT - Malta 1
NA - Namibia 1
NI - Nicaragua 1
PH - Filippine 1
PR - Porto Rico 1
PT - Portogallo 1
TG - Togo 1
TH - Thailandia 1
TJ - Tagikistan 1
TO - Tonga 1
UY - Uruguay 1
Totale 7.648
Salva come PNG Salva come JPEG
Città #
Moscow 600
Council Bluffs 425
Ashburn 257
San Jose 252
Singapore 241
Chandler 204
Boardman 171
Rome 139
Hong Kong 99
Los Angeles 90
The Dalles 88
New York 64
Beijing 63
San Mateo 56
Chicago 50
Milan 50
Shanghai 49
Hefei 46
Seoul 46
Ho Chi Minh City 44
Staranzano 41
Dallas 40
Denver 40
Hanoi 40
Phoenix 39
Lauterbourg 37
Dublin 34
Istanbul 34
Kitzingen 34
Santa Clara 32
Strasbourg 29
Turin 29
Helsinki 28
Ogden 26
Munich 25
Orem 20
London 18
Montreal 18
São Paulo 18
Warsaw 18
Tokyo 17
Chennai 16
Havertown 16
Brooklyn 14
Wilmington 14
Poplar 13
Seattle 13
Toronto 13
Da Nang 12
Manchester 12
Ann Arbor 11
Boston 11
Guangzhou 11
Mexico City 11
Ankara 10
Brno 9
Johannesburg 9
San Francisco 9
Stockholm 9
Atlanta 8
Dhaka 8
Haiphong 8
Hanover 8
Las Vegas 8
Central 7
Corpus Christi 7
De Pere 7
Frankfurt am Main 7
Shenzhen 7
Tashkent 7
Baghdad 6
Houston 6
Jiaxing 6
Mumbai 6
Nizhniy Novgorod 6
Copenhagen 5
Edinburgh 5
Jerusalem 5
Kigali 5
New Delhi 5
Amsterdam 4
Baku 4
Berlin 4
Brussels 4
Curitiba 4
Kansas City 4
Kathmandu 4
Lima 4
Makkah 4
Nairobi 4
Paris 4
Santiago 4
Shaoxing 4
Turku 4
West Jordan 4
Wuxi 4
Amman 3
Augusta 3
Bogotá 3
Brasília 3
Totale 4.077
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 282
Identification of Credulous Users on Twitter 230
Verifying AbC Specifications via Emulation 226
Multi-agent systems with virtual stigmergy 217
Automated model-based performance analysis of software product lines under uncertainty 215
Building international doctoral schools in computer science in italy, de nicola’s way 214
AErlang: Empowering Erlang with Attribute-Based Communication 204
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 201
A Prototype for Data Race Detection in CSeq 3 196
Automated Replication of Tuple Spaces via Static Analysis 194
AErlang at Work 191
Verification of Distributed Systems via Sequential Emulation 189
AErlang: Empowering Erlang with attribute-based communication 188
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 183
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 181
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 179
Verifying Concurrent Programs by Memory Unwinding 176
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 173
CSeq: A concurrency pre-processor for sequential C verification tools 171
Probabilistic Analysis of Binary Sessions 171
Parallel and distributed bounded model checking of multi-threaded programs 169
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 168
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 167
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 165
Lazy sequentialization for TSO and PSO via shared memory abstractions 165
Automated model-based performance analysis of software product lines under uncertainty 165
Modelling flocks of birds and colonies of ants from the bottom up 162
CSeq: A Sequentialization Tool for C 160
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 154
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 148
On the path-width of integer linear programming 148
MU-CSeq 0.4: Individual memory location unwindings 148
On the path-width of integer linear programming 146
Accurate Static Data Race Detection for C 145
Modelling Flocks of Birds from the Bottom Up 141
Automated replication of tuple spaces via static analysis 141
Toward formal models and languages for verifiable multi-robot systems 140
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 139
Tight Error Analysis in Fixed-point Arithmetic 138
Process Algebras and Flocks of Birds 138
Multi-agent systems with virtual stigmergy 137
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 136
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 132
Verifying properties of systems relying on attribute-based communication 129
Tight Error Analysis in Fixed-Point Arithmetic 125
null 27
Fundamental market design as a layer of AI-agent alignment 20
Totale 7.734
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.658
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 35.658
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022242 0 0 0 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/20264.764 297 188 96 376 338 2.292 361 118 310 127 120 141
2026/2027677 76 199 282 120 0 0 0 0 0 0 0 0
Totale 7.734