IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.165
NA - Nord America 1.858
AS - Asia 1.419
SA - Sud America 175
AF - Africa 51
Continente sconosciuto - Info sul continente non disponibili 13
OC - Oceania 7
Totale 6.688
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 2.222
US - Stati Uniti d'America 1.792
SG - Singapore 448
CN - Cina 437
IT - Italia 285
VN - Vietnam 163
SE - Svezia 145
BR - Brasile 136
HK - Hong Kong 104
DE - Germania 103
FR - Francia 90
UA - Ucraina 86
GB - Regno Unito 72
TR - Turchia 49
KR - Corea 45
IN - India 39
IE - Irlanda 35
FI - Finlandia 32
CA - Canada 31
MX - Messico 24
BD - Bangladesh 23
PL - Polonia 20
JP - Giappone 19
IL - Israele 17
ZA - Sudafrica 16
IQ - Iraq 15
PK - Pakistan 14
NL - Olanda 13
AR - Argentina 10
CZ - Repubblica Ceca 10
ES - Italia 10
EU - Europa 9
SA - Arabia Saudita 9
CL - Cile 8
UZ - Uzbekistan 7
AU - Australia 6
EG - Egitto 6
AT - Austria 5
BE - Belgio 5
DK - Danimarca 5
LT - Lituania 5
NP - Nepal 5
RW - Ruanda 5
VE - Venezuela 5
AZ - Azerbaigian 4
EC - Ecuador 4
ID - Indonesia 4
KE - Kenya 4
PE - Perù 4
BG - Bulgaria 3
CO - Colombia 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
AE - Emirati Arabi Uniti 2
BO - Bolivia 2
CR - Costa Rica 2
ET - Etiopia 2
MD - Moldavia 2
MN - Mongolia 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 6.688
Salva come PNG Salva come JPEG
Città #
Moscow 600
Singapore 240
Ashburn 227
Chandler 204
Boardman 171
San Jose 165
Rome 139
Hong Kong 97
The Dalles 85
Los Angeles 84
Beijing 60
New York 59
San Mateo 56
Chicago 49
Milan 49
Shanghai 48
Hefei 46
Seoul 45
Ho Chi Minh City 44
Hanoi 38
Lauterbourg 37
Dallas 34
Dublin 34
Istanbul 34
Kitzingen 34
Strasbourg 29
Turin 29
Helsinki 28
Ogden 26
Munich 25
Santa Clara 23
Orem 20
London 18
São Paulo 18
Warsaw 18
Tokyo 17
Chennai 16
Montreal 15
Wilmington 14
Brooklyn 13
Poplar 13
Da Nang 12
Manchester 12
Ann Arbor 11
Council Bluffs 11
Denver 11
Guangzhou 11
Seattle 11
Ankara 10
Boston 9
Brno 9
Johannesburg 9
Mexico City 9
Stockholm 9
Toronto 9
Atlanta 8
Dhaka 8
Haiphong 8
Hanover 8
Las Vegas 8
Central 7
San Francisco 7
Tashkent 7
Baghdad 6
Frankfurt am Main 6
Jiaxing 6
Mumbai 6
Nizhniy Novgorod 6
Phoenix 6
Shenzhen 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
Brasília 3
Budapest 3
Castelfiorentino 3
Charlotte 3
City of London 3
Clifton 3
Erbil 3
Totale 3.363
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 256
Verifying AbC Specifications via Emulation 207
Identification of Credulous Users on Twitter 200
Automated model-based performance analysis of software product lines under uncertainty 195
Building international doctoral schools in computer science in italy, de nicola’s way 189
Multi-agent systems with virtual stigmergy 187
AErlang: Empowering Erlang with Attribute-Based Communication 184
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 182
Automated Replication of Tuple Spaces via Static Analysis 177
A Prototype for Data Race Detection in CSeq 3 176
AErlang at Work 170
Verification of Distributed Systems via Sequential Emulation 170
AErlang: Empowering Erlang with attribute-based communication 169
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 163
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 159
Verifying Concurrent Programs by Memory Unwinding 157
Probabilistic Analysis of Binary Sessions 153
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 153
CSeq: A concurrency pre-processor for sequential C verification tools 152
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 150
Parallel and distributed bounded model checking of multi-threaded programs 149
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 149
Lazy sequentialization for TSO and PSO via shared memory abstractions 147
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 146
Automated model-based performance analysis of software product lines under uncertainty 145
CSeq: A Sequentialization Tool for C 142
MU-CSeq 0.4: Individual memory location unwindings 131
Modelling flocks of birds and colonies of ants from the bottom up 129
Accurate Static Data Race Detection for C 129
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 129
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 128
On the path-width of integer linear programming 127
On the path-width of integer linear programming 126
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 123
Multi-agent systems with virtual stigmergy 122
Modelling Flocks of Birds from the Bottom Up 121
Automated replication of tuple spaces via static analysis 121
Toward formal models and languages for verifiable multi-robot systems 121
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 120
Process Algebras and Flocks of Birds 120
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 120
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 119
Tight Error Analysis in Fixed-point Arithmetic 115
Verifying properties of systems relying on attribute-based communication 111
Tight Error Analysis in Fixed-Point Arithmetic 106
null 27
Totale 6.772
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.559
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 31.559
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202180 0 0 0 0 0 0 0 0 0 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/20264.479 297 188 96 376 338 2.292 361 118 310 103 0 0
Totale 6.772