IRIS
DE ANGELIS, EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.638
AS - Asia 1.056
EU - Europa 954
SA - Sud America 151
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 3.819
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.617
SG - Singapore 467
CN - Cina 294
IT - Italia 210
UA - Ucraina 160
IE - Irlanda 150
BR - Brasile 124
RU - Federazione Russa 117
TR - Turchia 114
SE - Svezia 92
VN - Vietnam 91
DE - Germania 81
GB - Regno Unito 52
FI - Finlandia 38
HK - Hong Kong 20
FR - Francia 19
IN - India 16
AR - Argentina 12
PL - Polonia 12
BD - Bangladesh 9
CA - Canada 9
BE - Belgio 8
MX - Messico 8
IQ - Iraq 7
IR - Iran 7
ZA - Sudafrica 7
KR - Corea 6
AE - Emirati Arabi Uniti 4
JP - Giappone 4
NL - Olanda 4
PK - Pakistan 4
CO - Colombia 3
EG - Egitto 3
MA - Marocco 3
UZ - Uzbekistan 3
CH - Svizzera 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
CL - Cile 1
CR - Costa Rica 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
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.819
Salva come PNG Salva come JPEG
Città #
Singapore 320
San Jose 199
Jacksonville 194
Chandler 164
Dublin 144
Ashburn 126
Princeton 83
Beijing 74
Dallas 72
Izmir 62
Ann Arbor 57
Nanjing 54
The Dalles 40
Santa Clara 38
Dearborn 37
Los Angeles 37
Ho Chi Minh City 32
Cambridge 29
Nanchang 28
Munich 27
Wilmington 27
Altamura 19
Hong Kong 18
Moscow 16
Civitanova Marche 15
New York 15
Buffalo 14
São Paulo 14
Hanoi 13
Centrale 12
Council Bluffs 11
Redondo Beach 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
Seoul 6
Shanghai 6
Southend 6
Turku 6
Brasília 5
Changchun 5
Chicago 5
Hangzhou 5
Hefei 5
Pescara 5
Rome 5
San Francisco 5
Stockholm 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
Phoenix 4
Poplar 4
Porto Alegre 4
Rio de Janeiro 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
Mexico City 3
Montreal 3
Santo André 3
Shenzhen 3
Uberlândia 3
Amsterdam 2
Totale 2.349
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 167
Predicate Pairing for program verification 135
Specialization with constrained generalization for software model checking 134
Verification of time-aware business processes using constrained horn clauses 130
Semantics and controllability of time-aware business processes 123
Lemma generation for horn clause satisfiability: A preliminary study 116
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 113
Proving correctness of imperative programs by linearizing constrained Horn clauses 106
Property-Based Test Case Generators for Free 103
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 103
Semantics-based generation of verification conditions via program specialization 100
Removing unnecessary variables from Horn clause verification conditions 100
A Rule-based Verification Strategy for Array Manipulating Programs 99
Bounded symbolic execution for runtime error detection of Erlang programs 98
Proving properties of sorting programs: A case study in horn clause verification 98
Specialization with Constrained Generalization for Software Model Checking 93
Synthesizing Concurrent Programs using Answer Set Programming 91
Branching Preserving Specialization for Software Model Checking 88
Contract Strengthening through Constrained Horn Clause Verification 85
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 82
Solving Horn Clauses on Inductive Data Types Without Induction 82
Synthesizing Concurrent Programs Using Answer Set Programming 78
Program verification via iterated specialization 78
Verification of Imperative Programs through Transformation of Constraint Logic Programs 77
Predicate Pairing with Abstraction for Relational Verification 77
Verifying Programs via Iterated Specialization 76
Semantics-based generation of verification conditions via program specialization 75
Relational verification through horn clause transformation 73
Software Model Checking by Program Specialization 72
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 66
Verification of Imperative Programs by Constraint Logic Program Transformation 66
Transformational verification of quicksort 66
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 65
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 53
null 50
Synthesizing Concurrent Programs using Answer Set Programming 50
VeriMAP: A Tool for Verifying Programs through Transformations 42
Software Model Checking by Program Specialization 42
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 42
null 39
Verification of Programs by Combining Iterated Specialization with Interpolation 39
null 39
null 37
null 37
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 37
null 35
Verification of Imperative Programs by Transforming Constraint Logic Programs 35
null 34
Verifying Array Programs by Transforming Verification Conditions 33
null 33
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 31
null 30
null 29
null 28
null 23
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization 16
Totale 3.949
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.754
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 18.754
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202174 0 0 0 0 0 0 0 0 0 19 46 9
2021/2022200 8 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/2025659 39 145 118 13 7 10 11 48 51 33 90 94
2025/20261.247 123 64 131 124 168 59 258 92 137 91 0 0
Totale 3.949