IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 739
EU - Europa 482
AS - Asia 35
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 5
SA - Sud America 3
OC - Oceania 1
Totale 1.276
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 735
SE - Svezia 137
UA - Ucraina 83
IT - Italia 72
DE - Germania 60
FR - Francia 38
IE - Irlanda 30
FI - Finlandia 11
EU - Europa 9
GB - Regno Unito 9
IL - Israele 9
CZ - Repubblica Ceca 7
HK - Hong Kong 7
NL - Olanda 6
DK - Danimarca 5
RU - Federazione Russa 5
SA - Arabia Saudita 5
CA - Canada 4
CN - Cina 4
RW - Ruanda 4
BE - Belgio 3
HR - Croazia 3
HU - Ungheria 3
JP - Giappone 3
SG - Singapore 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BG - Bulgaria 2
CL - Cile 2
IN - India 2
MD - Moldavia 2
PL - Polonia 2
AT - Austria 1
AU - Australia 1
CO - Colombia 1
EE - Estonia 1
GR - Grecia 1
NG - Nigeria 1
NP - Nepal 1
RO - Romania 1
VN - Vietnam 1
Totale 1.276
Salva come PNG Salva come JPEG
Città #
Chandler 204
Boardman 99
San Mateo 56
Kitzingen 34
Ashburn 30
Dublin 30
New York 30
Strasbourg 29
Los Angeles 26
Ogden 26
Turin 26
Wilmington 14
Ann Arbor 11
Helsinki 11
Hanover 8
Las Vegas 8
Central 7
Brno 6
Copenhagen 5
Edinburgh 5
Kigali 4
Makkah 4
Shaoxing 4
West Jordan 4
Brussels 3
Budapest 3
Castelfiorentino 3
Frankfurt am Main 3
Gothenburg 3
Amsterdam 2
Andover 2
Berlin 2
Eragny 2
Montréal 2
Munich 2
Nola 2
Pietrastornina 2
Sofia 2
The Hague 2
Trollhättan 2
Zagreb 2
Antony 1
Athens 1
Bengaluru 1
Bogotá 1
Chicago 1
Chisinau 1
Clearwater 1
Cologne 1
Dallas 1
Dong Ket 1
Exeter 1
Falkenstein 1
Jeddah 1
Kathmandu 1
Lagos 1
Laurel 1
London 1
Lucca 1
Manchester 1
Milan 1
Milazzo 1
Montreal 1
Naaldwijk 1
Nellore 1
Nîmes 1
Paris 1
Parma 1
Phoenix 1
Pimonte 1
Prague 1
Redwood City 1
Rijeka 1
Salzano 1
Singapore 1
Stockholm 1
Sydney 1
Tallinn 1
Tokyo 1
Toronto 1
Vienna 1
Warsaw 1
Zgierz 1
Totale 762
Salva come PNG Salva come JPEG
Nome #
Verifying AbC Specifications via Emulation 73
Automated model-based performance analysis of software product lines under uncertainty 62
Identification of Credulous Users on Twitter 57
Automated Replication of Tuple Spaces via Static Analysis 52
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 50
AErlang at Work 49
Probabilistic Analysis of Binary Sessions 49
AErlang: Empowering Erlang with Attribute-Based Communication 47
Parallel and distributed bounded model checking of multi-threaded programs 46
A Prototype for Data Race Detection in CSeq 3 45
Verifying Concurrent Programs by Memory Unwinding 44
Lazy sequentialization for TSO and PSO via shared memory abstractions 42
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 42
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 38
MU-CSeq 0.4: Individual memory location unwindings 37
Abstractions for Collective Adaptive Systems 37
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 35
CSeq: A concurrency pre-processor for sequential C verification tools 35
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 34
Multi-agent systems with virtual stigmergy 33
Building international doctoral schools in computer science in italy, de nicola’s way 33
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 33
AErlang: Empowering Erlang with attribute-based communication 32
CSeq: A Sequentialization Tool for C 32
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 31
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 30
On the path-width of integer linear programming 29
Multi-agent systems with virtual stigmergy 27
null 27
Automated model-based performance analysis of software product lines under uncertainty 27
Verification of Distributed Systems via Sequential Emulation 26
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 26
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 25
On the path-width of integer linear programming 22
Verifying properties of systems relying on attribute-based communication 18
Toward formal models and languages for verifiable multi-robot systems 17
Totale 1.342
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.114
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 12.114
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
Totale 1.342