IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.038
EU - Europa 644
AS - Asia 543
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 6
SA - Sud America 5
OC - Oceania 3
Totale 2.250
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.024
CN - Cina 247
SG - Singapore 154
SE - Svezia 137
IT - Italia 136
DE - Germania 97
UA - Ucraina 83
HK - Hong Kong 79
FR - Francia 41
TR - Turchia 35
IE - Irlanda 34
FI - Finlandia 30
GB - Regno Unito 22
RU - Federazione Russa 13
CA - Canada 10
CZ - Repubblica Ceca 10
EU - Europa 9
IL - Israele 9
NL - Olanda 9
DK - Danimarca 5
SA - Arabia Saudita 5
BE - Belgio 4
IN - India 4
JP - Giappone 4
RW - Ruanda 4
AT - Austria 3
HR - Croazia 3
HU - Ungheria 3
PL - Polonia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AU - Australia 2
BG - Bulgaria 2
BR - Brasile 2
CL - Cile 2
LT - Lituania 2
MD - Moldavia 2
MX - Messico 2
RO - Romania 2
AZ - Azerbaigian 1
BD - Bangladesh 1
CO - Colombia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GR - Grecia 1
JO - Giordania 1
LU - Lussemburgo 1
NG - Nigeria 1
NP - Nepal 1
PA - Panama 1
TO - Tonga 1
UZ - Uzbekistan 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 2.250
Salva come PNG Salva come JPEG
Città #
Chandler 204
Boardman 170
Singapore 87
Hong Kong 72
The Dalles 66
San Mateo 56
Shanghai 48
Los Angeles 47
Milan 46
Ashburn 38
Dublin 34
Istanbul 34
Kitzingen 34
New York 33
Strasbourg 29
Helsinki 27
Ogden 26
Turin 26
Munich 25
Wilmington 14
Santa Clara 12
Ann Arbor 11
Guangzhou 11
Seattle 11
Brno 9
London 9
Beijing 8
Hanover 8
Las Vegas 8
Central 7
Council Bluffs 7
Brooklyn 6
Jiaxing 6
Montreal 6
Nizhniy Novgorod 6
Shenzhen 6
Copenhagen 5
Edinburgh 5
Frankfurt am Main 5
Berlin 4
Brussels 4
Kigali 4
Makkah 4
Phoenix 4
Rome 4
San Francisco 4
Shaoxing 4
West Jordan 4
Wuxi 4
Boston 3
Budapest 3
Castelfiorentino 3
Clifton 3
Gothenburg 3
Lucca 3
Turku 3
Xi'an 3
Amsterdam 2
Andover 2
Chennai 2
Chicago 2
Dallas 2
Eragny 2
Montréal 2
Nola 2
Nuremberg 2
Paris 2
Pietrastornina 2
Poplar 2
San Donato di Lecce 2
Sofia 2
Sydney 2
The Hague 2
Tokyo 2
Trollhättan 2
Warsaw 2
Zagreb 2
Amman 1
Ankara 1
Antony 1
Athens 1
Atlanta 1
Baku 1
Baranzate 1
Bengaluru 1
Bismarck 1
Bogotá 1
Botovo 1
Buffalo 1
Charlotte 1
Chengdu 1
Chisinau 1
Clearwater 1
Cleveland 1
Cologne 1
Columbus 1
Corte de' Frati 1
Dhaka 1
Dong Ket 1
Dongguan 1
Totale 1.389
Salva come PNG Salva come JPEG
Nome #
Verifying AbC Specifications via Emulation 101
Identification of Credulous Users on Twitter 88
Automated model-based performance analysis of software product lines under uncertainty 86
Automated Replication of Tuple Spaces via Static Analysis 83
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 82
Probabilistic Analysis of Binary Sessions 74
Verifying Concurrent Programs by Memory Unwinding 71
Multi-agent systems with virtual stigmergy 70
Abstractions for Collective Adaptive Systems 70
AErlang: Empowering Erlang with Attribute-Based Communication 69
AErlang at Work 68
Parallel and distributed bounded model checking of multi-threaded programs 67
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 66
A Prototype for Data Race Detection in CSeq 3 63
Lazy sequentialization for TSO and PSO via shared memory abstractions 62
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 62
Building international doctoral schools in computer science in italy, de nicola’s way 61
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 58
Verification of Distributed Systems via Sequential Emulation 58
CSeq: A concurrency pre-processor for sequential C verification tools 57
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 57
MU-CSeq 0.4: Individual memory location unwindings 56
AErlang: Empowering Erlang with attribute-based communication 54
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 54
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 54
CSeq: A Sequentialization Tool for C 54
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 50
Automated model-based performance analysis of software product lines under uncertainty 50
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 48
Multi-agent systems with virtual stigmergy 48
On the path-width of integer linear programming 47
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 45
On the path-width of integer linear programming 40
Toward formal models and languages for verifiable multi-robot systems 38
Verifying properties of systems relying on attribute-based communication 35
null 27
Modelling flocks of birds and colonies of ants from the bottom up 21
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 20
Modelling Flocks of Birds from the Bottom Up 18
Accurate Static Data Race Detection for C 18
Process Algebras and Flocks of Birds 16
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 16
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 15
Tight Error Analysis in Fixed-Point Arithmetic 13
Automated replication of tuple spaces via static analysis 13
Tight Error Analysis in Fixed-point Arithmetic 11
Totale 2.334
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.914
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 22.914
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021161 23 0 0 22 23 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/202641 41 0 0 0 0 0 0 0 0 0 0 0
Totale 2.334