IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 705
EU - Europa 437
AS - Asia 32
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 5
SA - Sud America 3
OC - Oceania 1
Totale 1.194
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 701
SE - Svezia 137
UA - Ucraina 83
IT - Italia 71
FR - Francia 38
IE - Irlanda 30
DE - Germania 23
FI - Finlandia 11
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
BE - Belgio 3
HR - Croazia 3
HU - Ungheria 3
A2 - ???statistics.table.value.countryCode.A2??? 2
BG - Bulgaria 2
CL - Cile 2
IN - India 2
JP - Giappone 2
MD - Moldavia 2
PL - Polonia 2
AT - Austria 1
AU - Australia 1
CO - Colombia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GR - Grecia 1
NG - Nigeria 1
NP - Nepal 1
RO - Romania 1
SG - Singapore 1
VN - Vietnam 1
Totale 1.194
Salva come PNG Salva come JPEG
Città #
Chandler 204
Boardman 72
San Mateo 56
Dublin 30
New York 30
Ashburn 29
Strasbourg 29
Los Angeles 26
Ogden 26
Turin 26
Wilmington 14
Ann Arbor 11
Helsinki 11
Hanover 8
Las Vegas 8
Central 7
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
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
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 688
Salva come PNG Salva come JPEG
Nome #
Verifying AbC Specifications via Emulation 71
Automated model-based performance analysis of software product lines under uncertainty 60
Identification of Credulous Users on Twitter 51
Automated Replication of Tuple Spaces via Static Analysis 49
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 47
Probabilistic Analysis of Binary Sessions 47
AErlang at Work 45
AErlang: Empowering Erlang with Attribute-Based Communication 45
Parallel and distributed bounded model checking of multi-threaded programs 44
Verifying Concurrent Programs by Memory Unwinding 42
A Prototype for Data Race Detection in CSeq 3 42
Lazy sequentialization for TSO and PSO via shared memory abstractions 39
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 39
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 36
MU-CSeq 0.4: Individual memory location unwindings 36
Abstractions for Collective Adaptive Systems 34
CSeq: A concurrency pre-processor for sequential C verification tools 33
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 32
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 32
Multi-agent systems with virtual stigmergy 31
Building international doctoral schools in computer science in italy, de nicola’s way 31
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 30
AErlang: Empowering Erlang with attribute-based communication 29
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 29
CSeq: A Sequentialization Tool for C 29
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 28
On the path-width of integer linear programming 28
null 27
Multi-agent systems with virtual stigmergy 26
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 24
Automated model-based performance analysis of software product lines under uncertainty 24
Verification of Distributed Systems via Sequential Emulation 23
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 23
On the path-width of integer linear programming 21
Verifying properties of systems relying on attribute-based communication 17
Toward formal models and languages for verifiable multi-robot systems 16
Totale 1.260
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.935
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 10.935
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/2024270 8 12 64 11 11 37 25 43 0 59 0 0
Totale 1.260