IRIS
DE ANGELIS, EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.785
AS - Asia 1.069
EU - Europa 956
SA - Sud America 151
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 3.981
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.761
SG - Singapore 468
CN - Cina 298
IT - Italia 211
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
BD - Bangladesh 17
IN - India 16
AR - Argentina 12
PL - Polonia 12
CA - Canada 11
MX - Messico 9
BE - Belgio 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
LT - Lituania 3
MA - Marocco 3
UZ - Uzbekistan 3
CH - Svizzera 2
EC - Ecuador 2
ES - Italia 2
EU - Europa 2
KZ - Kazakistan 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.981
Salva come PNG Salva come JPEG
Città #
Singapore 320
San Jose 285
Jacksonville 194
Chandler 164
Dublin 144
Ashburn 128
Princeton 83
Beijing 76
Dallas 72
Izmir 62
Ann Arbor 57
Nanjing 54
Santa Clara 42
The Dalles 40
Council Bluffs 37
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
New York 16
Civitanova Marche 15
Buffalo 14
São Paulo 14
Hanoi 13
Centrale 12
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
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
Mexico City 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
Montreal 3
Santo André 3
Shenzhen 3
Uberlândia 3
Totale 2.481
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 180
Predicate Pairing for program verification 151
Specialization with constrained generalization for software model checking 135
Verification of time-aware business processes using constrained horn clauses 134
Semantics and controllability of time-aware business processes 123
Proving correctness of imperative programs by linearizing constrained Horn clauses 118
Lemma generation for horn clause satisfiability: A preliminary study 116
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 115
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 107
Property-Based Test Case Generators for Free 104
Removing unnecessary variables from Horn clause verification conditions 102
Semantics-based generation of verification conditions via program specialization 101
A Rule-based Verification Strategy for Array Manipulating Programs 100
Bounded symbolic execution for runtime error detection of Erlang programs 100
Proving properties of sorting programs: A case study in horn clause verification 100
Contract Strengthening through Constrained Horn Clause Verification 94
Specialization with Constrained Generalization for Software Model Checking 93
Branching Preserving Specialization for Software Model Checking 92
Solving Horn Clauses on Inductive Data Types Without Induction 92
Synthesizing Concurrent Programs using Answer Set Programming 91
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 84
Software Model Checking by Program Specialization 83
Program verification via iterated specialization 83
Verification of Imperative Programs through Transformation of Constraint Logic Programs 81
Synthesizing Concurrent Programs Using Answer Set Programming 79
Verifying Programs via Iterated Specialization 79
Predicate Pairing with Abstraction for Relational Verification 77
Semantics-based generation of verification conditions via program specialization 75
Relational verification through horn clause transformation 75
Verification of Imperative Programs by Constraint Logic Program Transformation 71
Transformational verification of quicksort 70
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 69
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 68
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 56
Software Model Checking by Program Specialization 55
null 50
Synthesizing Concurrent Programs using Answer Set Programming 50
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 44
VeriMAP: A Tool for Verifying Programs through Transformations 42
null 39
Verification of Programs by Combining Iterated Specialization with Interpolation 39
null 39
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 38
null 37
null 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 32
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization 31
null 30
null 29
null 28
null 23
Totale 4.111
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.116
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.116
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20219 0 0 0 0 0 0 0 0 0 0 0 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.409 123 64 131 124 168 59 258 92 137 125 91 37
Totale 4.111