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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021161 230022 230 00 1323948
2021/2022274 2525163 60 30 727927
2022/2023480 4121975 7397 4074 86000
Totale 915