IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.186
NA - Nord America 2.283
AS - Asia 1.475
SA - Sud America 176
Continente sconosciuto - Info sul continente non disponibili 99
AF - Africa 51
OC - Oceania 7
Totale 7.277
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 2.223
US - Stati Uniti d'America 2.207
SG - Singapore 464
CN - Cina 458
IT - Italia 295
VN - Vietnam 167
SE - Svezia 145
BR - Brasile 136
HK - Hong Kong 105
DE - Germania 103
FR - Francia 91
UA - Ucraina 86
GB - Regno Unito 75
TR - Turchia 49
KR - Corea 45
IN - India 39
CA - Canada 38
IE - Irlanda 35
BD - Bangladesh 33
FI - Finlandia 32
MX - Messico 26
JP - Giappone 20
PL - Polonia 20
IL - Israele 17
NL - Olanda 17
ZA - Sudafrica 16
IQ - Iraq 15
PK - Pakistan 14
ES - Italia 11
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
DK - Danimarca 5
NP - Nepal 5
RW - Ruanda 5
VE - Venezuela 5
AZ - Azerbaigian 4
CO - Colombia 4
EC - Ecuador 4
ID - Indonesia 4
KE - Kenya 4
PE - Perù 4
AE - Emirati Arabi Uniti 3
BG - Bulgaria 3
CR - Costa Rica 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
TJ - Tagikistan 1
TO - Tonga 1
UY - Uruguay 1
Totale 7.191
Salva come PNG Salva come JPEG
Città #
Moscow 600
Council Bluffs 300
Ashburn 241
Singapore 240
Chandler 204
San Jose 204
Boardman 171
Rome 139
Hong Kong 98
Los Angeles 90
The Dalles 86
Beijing 63
New York 62
San Mateo 56
Milan 50
Chicago 49
Shanghai 49
Hefei 46
Seoul 45
Ho Chi Minh City 44
Hanoi 40
Dallas 38
Lauterbourg 37
Dublin 34
Istanbul 34
Kitzingen 34
Strasbourg 29
Turin 29
Helsinki 28
Santa Clara 28
Ogden 26
Munich 25
Orem 20
Phoenix 19
London 18
São Paulo 18
Warsaw 18
Montreal 17
Tokyo 17
Chennai 16
Brooklyn 14
Wilmington 14
Denver 13
Poplar 13
Toronto 13
Da Nang 12
Manchester 12
Ann Arbor 11
Guangzhou 11
Mexico City 11
Seattle 11
Ankara 10
Boston 9
Brno 9
Johannesburg 9
San Francisco 9
Stockholm 9
Atlanta 8
Dhaka 8
Haiphong 8
Hanover 8
Las Vegas 8
Central 7
Shenzhen 7
Tashkent 7
Baghdad 6
Frankfurt am Main 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
Houston 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
Budapest 3
Castelfiorentino 3
Charlotte 3
City of London 3
Clifton 3
Totale 3.759
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 268
Verifying AbC Specifications via Emulation 220
Identification of Credulous Users on Twitter 217
Multi-agent systems with virtual stigmergy 209
Automated model-based performance analysis of software product lines under uncertainty 204
Building international doctoral schools in computer science in italy, de nicola’s way 203
AErlang: Empowering Erlang with Attribute-Based Communication 196
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 191
A Prototype for Data Race Detection in CSeq 3 188
Automated Replication of Tuple Spaces via Static Analysis 187
AErlang at Work 181
AErlang: Empowering Erlang with attribute-based communication 179
Verification of Distributed Systems via Sequential Emulation 177
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 175
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 171
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 166
Verifying Concurrent Programs by Memory Unwinding 166
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 164
Probabilistic Analysis of Binary Sessions 162
CSeq: A concurrency pre-processor for sequential C verification tools 161
Parallel and distributed bounded model checking of multi-threaded programs 160
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 159
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 155
Modelling flocks of birds and colonies of ants from the bottom up 154
Automated model-based performance analysis of software product lines under uncertainty 154
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 152
Lazy sequentialization for TSO and PSO via shared memory abstractions 152
CSeq: A Sequentialization Tool for C 149
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 144
MU-CSeq 0.4: Individual memory location unwindings 139
Accurate Static Data Race Detection for C 137
On the path-width of integer linear programming 137
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 137
On the path-width of integer linear programming 135
Modelling Flocks of Birds from the Bottom Up 131
Automated replication of tuple spaces via static analysis 131
Toward formal models and languages for verifiable multi-robot systems 130
Multi-agent systems with virtual stigmergy 130
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 129
Process Algebras and Flocks of Birds 129
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 129
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 124
Tight Error Analysis in Fixed-point Arithmetic 123
Verifying properties of systems relying on attribute-based communication 119
Tight Error Analysis in Fixed-Point Arithmetic 116
null 27
Fundamental market design as a layer of AI-agent alignment 10
Totale 7.277
Salva come PNG Salva come JPEG
Categoria #
all - tutte 34.490
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 34.490
Salva come PNG Salva come JPEG


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