IRIS
INVERSO, OMAR
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 876
EU - Europa 584
AS - Asia 242
Continente sconosciuto - Info sul continente non disponibili 11
AF - Africa 5
SA - Sud America 4
OC - Oceania 2
Totale 1.724
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 870
CN - Cina 151
SE - Svezia 137
IT - Italia 117
UA - Ucraina 83
DE - Germania 78
FR - Francia 40
IE - Irlanda 34
SG - Singapore 34
FI - Finlandia 26
TR - Turchia 26
GB - Regno Unito 16
CZ - Repubblica Ceca 10
EU - Europa 9
IL - Israele 9
HK - Hong Kong 7
NL - Olanda 7
DK - Danimarca 5
RU - Federazione Russa 5
SA - Arabia Saudita 5
BE - Belgio 4
CA - Canada 4
RW - Ruanda 4
AT - Austria 3
HR - Croazia 3
HU - Ungheria 3
JP - Giappone 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AU - Australia 2
BG - Bulgaria 2
CL - Cile 2
IN - India 2
LT - Lituania 2
MD - Moldavia 2
PL - Polonia 2
RO - Romania 2
AZ - Azerbaigian 1
BR - Brasile 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
UZ - Uzbekistan 1
VN - Vietnam 1
Totale 1.724
Salva come PNG Salva come JPEG
Città #
Chandler 204
Boardman 170
San Mateo 56
Shanghai 44
Los Angeles 40
Milan 36
Dublin 34
Kitzingen 34
Ashburn 30
New York 30
Singapore 30
Strasbourg 29
Helsinki 26
Istanbul 26
Ogden 26
Turin 26
Munich 16
Wilmington 14
Ann Arbor 11
Guangzhou 11
Santa Clara 10
Seattle 10
Brno 9
Beijing 8
Hanover 8
Las Vegas 8
Central 7
Jiaxing 6
London 6
Shenzhen 6
Copenhagen 5
Edinburgh 5
Frankfurt am Main 5
Brussels 4
Kigali 4
Makkah 4
Rome 4
Shaoxing 4
West Jordan 4
Wuxi 4
Budapest 3
Castelfiorentino 3
Clifton 3
Gothenburg 3
Xi'an 3
Amsterdam 2
Andover 2
Berlin 2
Eragny 2
Montréal 2
Nola 2
Pietrastornina 2
San Donato di Lecce 2
Sofia 2
Sydney 2
The Hague 2
Trollhättan 2
Zagreb 2
Amman 1
Antony 1
Athens 1
Baku 1
Bengaluru 1
Bogotá 1
Chengdu 1
Chicago 1
Chisinau 1
Clearwater 1
Cologne 1
Dallas 1
Dong Ket 1
Dongguan 1
Dongyang 1
Exeter 1
Falkenstein 1
Foshan 1
Haining 1
Jeddah 1
Kathmandu 1
Lagos 1
Laurel 1
Lucca 1
Luxembourg 1
Manchester 1
Milazzo 1
Montreal 1
Naaldwijk 1
Nanjing 1
Nellore 1
Nîmes 1
Paris 1
Parma 1
Phoenix 1
Pimonte 1
Prague 1
Quanzhou 1
Redwood City 1
Rijeka 1
Salzano 1
Stockholm 1
Totale 1.097
Salva come PNG Salva come JPEG
Nome #
Verifying AbC Specifications via Emulation 88
Identification of Credulous Users on Twitter 75
Automated model-based performance analysis of software product lines under uncertainty 74
Automated Replication of Tuple Spaces via Static Analysis 67
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs 64
AErlang at Work 60
AErlang: Empowering Erlang with Attribute-Based Communication 60
Parallel and distributed bounded model checking of multi-threaded programs 59
Probabilistic Analysis of Binary Sessions 59
Verifying Concurrent Programs by Memory Unwinding 58
A Prototype for Data Race Detection in CSeq 3 56
SAT-Based Synthesis of Spoofing Attacks in Cyber-Physical Control Systems 54
Abstractions for Collective Adaptive Systems 54
Lazy sequentialization for TSO and PSO via shared memory abstractions 52
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization 52
Multi-agent systems with virtual stigmergy 50
Building international doctoral schools in computer science in italy, de nicola’s way 48
MU-CSeq 0.4: Individual memory location unwindings 48
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems 46
Lazy-CSeq 2.0: Combining lazy sequentialization with abstract interpretation 46
Lazy-CSeq: A lazy sequentialization tool for C (Competition contribution) 46
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization 46
AErlang: Empowering Erlang with attribute-based communication 44
CSeq: A concurrency pre-processor for sequential C verification tools 44
Verification of Distributed Systems via Sequential Emulation 44
CSeq: A Sequentialization Tool for C 43
MU-CSeq: Sequentialization of C programs by shared memory unwindings (Competition contribution) 40
Multi-agent systems with virtual stigmergy 39
MU-CSeq 0.3 Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) 38
On the path-width of integer linear programming 38
Automated model-based performance analysis of software product lines under uncertainty 38
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 36
On the path-width of integer linear programming 32
Toward formal models and languages for verifiable multi-robot systems 29
Verifying properties of systems relying on attribute-based communication 28
null 27
Modelling flocks of birds and colonies of ants from the bottom up 3
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification 3
Modelling Flocks of Birds from the Bottom Up 3
Process Algebras and Flocks of Birds 3
Accurate Static Data Race Detection for C 3
Tight Error Analysis in Fixed-Point Arithmetic 1
Tight Error Analysis in Fixed-point Arithmetic 1
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants 1
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 1
Automated replication of tuple spaces via static analysis 1
Totale 1.802
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.577
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 15.577
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/2025460 16 99 157 46 83 59 0 0 0 0 0 0
Totale 1.802