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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021153 0 0 0 0 0 46 6 3 24 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/2026635 123 64 131 124 168 25 0 0 0 0 0 0
Totale 3.337