IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 554
EU - Europa 456
AS - Asia 32
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 5
SA - Sud America 3
OC - Oceania 1
Totale 1.062
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 550
SE - Svezia 137
UA - Ucraina 83
IT - Italia 71
IE - Irlanda 35
FR - Francia 34
DE - Germania 31
BE - Belgio 13
FI - Finlandia 10
EU - Europa 9
IL - Israele 9
GB - Regno Unito 8
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
HR - Croazia 3
HU - Ungheria 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BG - Bulgaria 2
CL - Cile 2
CZ - Repubblica Ceca 2
IN - India 2
JP - Giappone 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
SG - Singapore 1
VN - Vietnam 1
Totale 1.062
Salva come PNG Salva come JPEG
Città #
Chandler 204
San Mateo 56
Boardman 35
Dublin 35
Strasbourg 29
Turin 26
Hanover 16
Wilmington 14
Brussels 13
Ann Arbor 11
Helsinki 10
Ashburn 8
Las Vegas 8
Central 7
Copenhagen 5
Edinburgh 5
Kigali 4
Makkah 4
Shaoxing 4
Budapest 3
Castelfiorentino 3
Frankfurt am Main 3
Gothenburg 3
Amsterdam 2
Andover 2
Berlin 2
Montréal 2
New York 2
Nola 2
Pietrastornina 2
Sofia 2
The Hague 2
Trollhättan 2
Zagreb 2
Antony 1
Athens 1
Bengaluru 1
Bogotá 1
Brno 1
Chicago 1
Chisinau 1
Clearwater 1
Dallas 1
Dong Ket 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
Phoenix 1
Pimonte 1
Prague 1
Redwood City 1
Rijeka 1
Salzano 1
Stockholm 1
Sydney 1
Tallinn 1
Tokyo 1
Toronto 1
Vienna 1
Warsaw 1
Zgierz 1
Totale 567
Salva come PNG Salva come JPEG
Nome #
Verifying AbC Specifications via Emulation 65
Automated model-based performance analysis of software product lines under uncertainty 54
Identification of Credulous Users on Twitter 47
Probabilistic Analysis of Binary Sessions 44
AErlang: Empowering Erlang with Attribute-Based Communication 44
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 41
Automated Replication of Tuple Spaces via Static Analysis 41
Parallel and distributed bounded model checking of multi-threaded programs 39
AErlang at Work 38
Verifying Concurrent Programs by Memory Unwinding 37
A Prototype for Data Race Detection in CSeq 3 37
Lazy sequentialization for TSO and PSO via shared memory abstractions 34
CSeq: A concurrency pre-processor for sequential C verification tools 32
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 32
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 32
MU-CSeq 0.4: Individual memory location unwindings 31
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 30
Building international doctoral schools in computer science in italy, de nicola’s way 30
Abstractions for Collective Adaptive Systems 30
Multi-agent systems with virtual stigmergy 29
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 28
CSeq: A Sequentialization Tool for C 28
null 27
AErlang: Empowering Erlang with attribute-based communication 26
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 26
Multi-agent systems with virtual stigmergy 26
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 25
On the path-width of integer linear programming 25
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 23
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 22
Automated model-based performance analysis of software product lines under uncertainty 22
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 21
Verification of Distributed Systems via Sequential Emulation 20
On the path-width of integer linear programming 16
Toward formal models and languages for verifiable multi-robot systems 13
Verifying properties of systems relying on attribute-based communication 13
Totale 1.128
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.904
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 8.904
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/2023569 4 12 19 75 73 97 40 74 86 22 65 2
2023/2024124 9 14 64 13 17 7 0 0 0 0 0 0
Totale 1.128