IRIS
DE ANGELIS, EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.320
AS - Asia 885
EU - Europa 841
SA - Sud America 123
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 1
Totale 3.184
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.301
SG - Singapore 396
CN - Cina 273
IT - Italia 204
UA - Ucraina 159
IE - Irlanda 150
TR - Turchia 114
BR - Brasile 105
SE - Svezia 92
DE - Germania 79
GB - Regno Unito 50
FI - Finlandia 38
VN - Vietnam 32
RU - Federazione Russa 23
HK - Hong Kong 18
FR - Francia 17
IN - India 15
PL - Polonia 11
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
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
PY - Paraguay 1
SA - Arabia Saudita 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.184
Salva come PNG Salva come JPEG
Città #
Singapore 278
Jacksonville 194
Chandler 164
Dublin 144
Princeton 83
Beijing 73
Dallas 71
Ashburn 70
Izmir 62
Ann Arbor 57
Nanjing 54
The Dalles 40
Dearborn 37
Santa Clara 37
Los Angeles 35
Cambridge 29
Nanchang 28
Munich 27
Wilmington 27
Altamura 19
Hong Kong 17
Civitanova Marche 15
Buffalo 14
New York 13
Centrale 12
Redondo Beach 11
Hebei 10
Ho Chi Minh City 10
São Paulo 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
Washington 7
Ardabil 6
Seoul 6
Southend 6
Turku 6
Warsaw 6
Changchun 5
Hangzhou 5
Hanoi 5
Hefei 5
Johannesburg 5
Pescara 5
San Francisco 5
Shanghai 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
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
Phoenix 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
Fermo 2
Totale 1.966
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 144
Specialization with constrained generalization for software model checking 117
Verification of time-aware business processes using constrained horn clauses 117
Predicate Pairing for program verification 113
Semantics and controllability of time-aware business processes 109
Lemma generation for horn clause satisfiability: A preliminary study 93
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 92
Proving correctness of imperative programs by linearizing constrained Horn clauses 90
Synthesizing Concurrent Programs using Answer Set Programming 84
Bounded symbolic execution for runtime error detection of Erlang programs 84
Removing unnecessary variables from Horn clause verification conditions 84
A Rule-based Verification Strategy for Array Manipulating Programs 83
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 83
Semantics-based generation of verification conditions via program specialization 82
Property-Based Test Case Generators for Free 81
Proving properties of sorting programs: A case study in horn clause verification 80
Branching Preserving Specialization for Software Model Checking 74
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 72
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 68
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
Transformational verification of quicksort 55
Predicate Pairing with Abstraction for Relational Verification 55
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 53
Relational verification through horn clause transformation 52
null 50
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 41
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 39
null 39
Synthesizing Concurrent Programs using Answer Set Programming 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 23
null 23
Verification of Imperative Programs by Transforming Constraint Logic Programs 22
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 21
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization 1
Totale 3.314
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.425
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.425
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/2026612 123 64 131 124 168 2 0 0 0 0 0 0
Totale 3.314