IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.638
NA - Nord America 1.474
AS - Asia 1.042
SA - Sud America 136
AF - Africa 33
Continente sconosciuto - Info sul continente non disponibili 12
OC - Oceania 4
Totale 4.339
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.422
RU - Federazione Russa 912
CN - Cina 367
SG - Singapore 350
SE - Svezia 143
IT - Italia 142
BR - Brasile 113
DE - Germania 99
HK - Hong Kong 91
UA - Ucraina 84
GB - Regno Unito 60
FR - Francia 47
KR - Corea 45
TR - Turchia 45
IE - Irlanda 34
FI - Finlandia 32
VN - Vietnam 30
CA - Canada 27
IN - India 24
JP - Giappone 16
PL - Polonia 16
BD - Bangladesh 15
IL - Israele 15
MX - Messico 15
ZA - Sudafrica 12
CZ - Repubblica Ceca 10
ES - Italia 9
EU - Europa 9
IQ - Iraq 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
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
JO - Giordania 2
MD - Moldavia 2
PA - Panama 2
PE - Perù 2
TT - Trinidad e Tobago 2
UZ - Uzbekistan 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
ID - Indonesia 1
IR - Iran 1
JM - Giamaica 1
LB - Libano 1
LU - Lussemburgo 1
MT - Malta 1
NG - Nigeria 1
NI - Nicaragua 1
OM - Oman 1
PT - Portogallo 1
QA - Qatar 1
TJ - Tagikistan 1
TN - Tunisia 1
TO - Tonga 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.339
Salva come PNG Salva come JPEG
Città #
Moscow 264
Chandler 204
Boardman 171
Singapore 170
Ashburn 148
Hong Kong 84
Los Angeles 77
The Dalles 74
Beijing 56
San Mateo 56
New York 52
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 21
São Paulo 17
London 16
Tokyo 14
Warsaw 14
Wilmington 14
Brooklyn 13
Montreal 13
Ann Arbor 11
Guangzhou 11
Ho Chi Minh City 11
Poplar 11
Seattle 11
Ankara 9
Boston 9
Brno 9
Council Bluffs 9
Denver 9
Atlanta 8
Hanover 8
Las Vegas 8
Mexico City 8
Toronto 8
Central 7
Chennai 7
Johannesburg 7
San Francisco 7
Stockholm 7
Dhaka 6
Hanoi 6
Jiaxing 6
Manchester 6
Nizhniy Novgorod 6
Shenzhen 6
Copenhagen 5
Edinburgh 5
Frankfurt am Main 5
Jerusalem 5
Kigali 5
Orem 5
Phoenix 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
Vienna 3
Xi'an 3
Amman 2
Amsterdam 2
Totale 2.297
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 150
Verifying AbC Specifications via Emulation 149
Identification of Credulous Users on Twitter 148
Automated model-based performance analysis of software product lines under uncertainty 135
AErlang: Empowering Erlang with Attribute-Based Communication 129
Automated Replication of Tuple Spaces via Static Analysis 128
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 126
Building international doctoral schools in computer science in italy, de nicola’s way 125
AErlang at Work 122
A Prototype for Data Race Detection in CSeq 3 120
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 114
AErlang: Empowering Erlang with attribute-based communication 113
Verification of Distributed Systems via Sequential Emulation 111
Multi-agent systems with virtual stigmergy 110
Verifying Concurrent Programs by Memory Unwinding 110
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 109
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 109
CSeq: A concurrency pre-processor for sequential C verification tools 106
Probabilistic Analysis of Binary Sessions 106
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 105
Automated model-based performance analysis of software product lines under uncertainty 100
Parallel and distributed bounded model checking of multi-threaded programs 99
Lazy sequentialization for TSO and PSO via shared memory abstractions 98
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 97
CSeq: A Sequentialization Tool for C 95
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 90
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 90
On the path-width of integer linear programming 84
MU-CSeq 0.4: Individual memory location unwindings 84
Multi-agent systems with virtual stigmergy 80
On the path-width of integer linear programming 78
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 78
Accurate Static Data Race Detection for C 77
Modelling flocks of birds and colonies of ants from the bottom up 76
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 76
Toward formal models and languages for verifiable multi-robot systems 75
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 70
Process Algebras and Flocks of Birds 70
Automated replication of tuple spaces via static analysis 70
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 69
Modelling Flocks of Birds from the Bottom Up 65
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 64
Verifying properties of systems relying on attribute-based communication 64
Tight Error Analysis in Fixed-point Arithmetic 63
Tight Error Analysis in Fixed-Point Arithmetic 59
null 27
Totale 4.423
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.978
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 27.978
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.130 297 188 96 376 338 835 0 0 0 0 0 0
Totale 4.423