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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022172 0 0 0 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/2027306 25 67 130 84 0 0 0 0 0 0 0 0
Totale 4.389