IRIS
DE ANGELIS, EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.846
AS - Asia 1.067
EU - Europa 954
SA - Sud America 150
Continente sconosciuto - Info sul continente non disponibili 135
AF - Africa 15
OC - Oceania 1
Totale 4.168
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.818
SG - Singapore 466
CN - Cina 297
IT - Italia 212
UA - Ucraina 160
IE - Irlanda 150
BR - Brasile 124
RU - Federazione Russa 117
TR - Turchia 114
SE - Svezia 91
VN - Vietnam 90
DE - Germania 80
GB - Regno Unito 52
FI - Finlandia 38
FR - Francia 19
BD - Bangladesh 18
HK - Hong Kong 18
IN - India 16
CA - Canada 12
PL - Polonia 12
AR - Argentina 11
MX - Messico 10
BE - Belgio 9
IQ - Iraq 7
IR - Iran 7
ZA - Sudafrica 7
JP - Giappone 6
KR - Corea 6
AE - Emirati Arabi Uniti 4
NL - Olanda 4
PK - Pakistan 4
CO - Colombia 3
EG - Egitto 3
MA - Marocco 3
UZ - Uzbekistan 3
CR - Costa Rica 2
EC - Ecuador 2
ES - Italia 2
EU - Europa 2
KZ - Kazakistan 2
LT - Lituania 2
PE - Perù 2
PY - Paraguay 2
SA - Arabia Saudita 2
UY - Uruguay 2
VE - Venezuela 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AU - Australia 1
AZ - Azerbaigian 1
BB - Barbados 1
BY - Bielorussia 1
CH - Svizzera 1
CL - Cile 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GE - Georgia 1
GT - Guatemala 1
GY - Guiana 1
JO - Giordania 1
KE - Kenya 1
LA - Repubblica Popolare Democratica del Laos 1
LY - Libia 1
MD - Moldavia 1
MN - Mongolia 1
PA - Panama 1
PS - Palestinian Territory 1
PT - Portogallo 1
SV - El Salvador 1
Totale 4.036
Salva come PNG Salva come JPEG
Città #
Singapore 319
San Jose 278
Jacksonville 194
Chandler 164
Dublin 144
Ashburn 126
Princeton 83
Council Bluffs 79
Beijing 74
Dallas 72
Izmir 62
Ann Arbor 57
Nanjing 54
Santa Clara 44
The Dalles 40
Dearborn 37
Los Angeles 37
Ho Chi Minh City 31
Cambridge 29
Nanchang 28
Wilmington 27
Munich 26
Altamura 19
Hong Kong 16
Moscow 16
Civitanova Marche 15
New York 15
Buffalo 13
Hanoi 13
São Paulo 13
Centrale 12
Phoenix 11
Redondo Beach 11
St Louis 11
Hebei 10
Tongling 10
Boardman 9
Francavilla Al Mare 9
Jiaxing 9
Seattle 9
Brussels 8
London 8
San Mateo 8
Da Nang 7
Kunming 7
Leawood 7
Norwalk 7
Shenyang 7
Tianjin 7
Warsaw 7
Washington 7
Ardabil 6
Atlanta 6
Johannesburg 6
Pescara 6
Seoul 6
Shanghai 6
Southend 6
Turku 6
Brasília 5
Changchun 5
Chicago 5
Hangzhou 5
Hefei 5
Mexico City 5
Rome 5
San Francisco 5
Wroclaw 5
Belo Horizonte 4
Changsha 4
Charlotte 4
Dong Ket 4
Fara Gera D'adda 4
Helsinki 4
Lanzhou 4
Milan 4
Ninh Bình 4
Palombara Sabina 4
Poplar 4
Porto Alegre 4
Rio de Janeiro 4
Stockholm 4
Termoli 4
Tokyo 4
Woodbridge 4
Zhengzhou 4
Biên Hòa 3
Boston 3
Brooklyn 3
Chieti 3
Erbil 3
Frankfurt am Main 3
Guangzhou 3
Haiphong 3
Isernia 3
L'aquila 3
Montreal 3
Santo André 3
Shenzhen 3
Uberlândia 3
Totale 2.513
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 181
Predicate Pairing for program verification 154
Verification of time-aware business processes using constrained horn clauses 137
Specialization with constrained generalization for software model checking 136
Semantics and controllability of time-aware business processes 127
Proving correctness of imperative programs by linearizing constrained Horn clauses 120
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 119
Lemma generation for horn clause satisfiability: A preliminary study 118
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 108
Property-Based Test Case Generators for Free 105
Removing unnecessary variables from Horn clause verification conditions 103
Semantics-based generation of verification conditions via program specialization 102
A Rule-based Verification Strategy for Array Manipulating Programs 101
Bounded symbolic execution for runtime error detection of Erlang programs 101
Proving properties of sorting programs: A case study in horn clause verification 101
Contract Strengthening through Constrained Horn Clause Verification 96
Branching Preserving Specialization for Software Model Checking 96
Specialization with Constrained Generalization for Software Model Checking 94
Solving Horn Clauses on Inductive Data Types Without Induction 94
Synthesizing Concurrent Programs using Answer Set Programming 92
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 87
Software Model Checking by Program Specialization 84
Program verification via iterated specialization 84
Verification of Imperative Programs through Transformation of Constraint Logic Programs 83
Synthesizing Concurrent Programs Using Answer Set Programming 81
Verifying Programs via Iterated Specialization 80
Predicate Pairing with Abstraction for Relational Verification 79
Semantics-based generation of verification conditions via program specialization 77
Relational verification through horn clause transformation 77
Verification of Imperative Programs by Constraint Logic Program Transformation 73
Transformational verification of quicksort 73
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 72
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 70
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 57
Software Model Checking by Program Specialization 57
Synthesizing Concurrent Programs using Answer Set Programming 51
null 50
VeriMAP: A Tool for Verifying Programs through Transformations 46
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 46
Verification of Programs by Combining Iterated Specialization with Interpolation 41
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 40
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 39
null 39
null 39
Verifying Array Programs by Transforming Verification Conditions 38
null 37
Verification of Imperative Programs by Transforming Constraint Logic Programs 36
null 35
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization 35
null 34
null 33
null 30
null 29
null 28
null 23
Totale 4.168
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.899
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 20.899
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022192 0 13 7 5 10 9 4 14 18 23 30 59
2022/2023507 60 70 31 58 26 95 33 33 71 3 18 9
2023/2024217 19 16 21 6 21 55 48 6 0 6 1 18
2024/2025657 39 145 118 13 7 10 11 47 51 33 89 94
2025/20261.383 118 63 129 122 159 59 254 90 135 122 91 41
2026/202785 25 60 0 0 0 0 0 0 0 0 0 0
Totale 4.168