IRIS
DE ANGELIS, EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.046
EU - Europa 780
AS - Asia 553
SA - Sud America 31
Continente sconosciuto - Info sul continente non disponibili 3
AF - Africa 2
OC - Oceania 1
Totale 2.416
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.040
SG - Singapore 229
IT - Italia 204
CN - Cina 185
UA - Ucraina 158
IE - Irlanda 150
TR - Turchia 111
SE - Svezia 88
DE - Germania 68
FI - Finlandia 32
GB - Regno Unito 32
BR - Brasile 26
RU - Federazione Russa 23
FR - Francia 13
IN - India 8
BE - Belgio 7
IR - Iran 7
VN - Vietnam 4
AR - Argentina 3
CA - Canada 3
EU - Europa 2
MA - Marocco 2
NL - Olanda 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AU - Australia 1
AZ - Azerbaigian 1
BD - Bangladesh 1
BY - Bielorussia 1
CH - Svizzera 1
CR - Costa Rica 1
EE - Estonia 1
GE - Georgia 1
GY - Guiana 1
IQ - Iraq 1
KZ - Kazakistan 1
MN - Mongolia 1
MX - Messico 1
PA - Panama 1
PE - Perù 1
PK - Pakistan 1
UZ - Uzbekistan 1
Totale 2.416
Salva come PNG Salva come JPEG
Città #
Jacksonville 194
Chandler 164
Singapore 153
Dublin 144
Princeton 83
Izmir 62
Ann Arbor 57
Nanjing 54
The Dalles 40
Dearborn 37
Ashburn 36
Santa Clara 32
Cambridge 29
Nanchang 28
Wilmington 27
Altamura 19
Munich 18
Beijing 16
Civitanova Marche 15
Centrale 12
Los Angeles 12
Hebei 10
Boardman 9
Francavilla Al Mare 9
Jiaxing 9
San Mateo 8
Brussels 7
Council Bluffs 7
Kunming 7
Leawood 7
Norwalk 7
Shenyang 7
Tianjin 7
Washington 7
Ardabil 6
Seattle 6
Southend 6
Changchun 5
Hangzhou 5
Pescara 5
Shanghai 5
Changsha 4
Dong Ket 4
Fara Gera D'adda 4
Helsinki 4
Lanzhou 4
Moscow 4
Palombara Sabina 4
Termoli 4
Woodbridge 4
Zhengzhou 4
Chieti 3
Guangzhou 3
Isernia 3
L'aquila 3
Milan 3
Santo André 3
Ancona 2
Bangalore 2
Canino 2
Ealing 2
Fermo 2
Lappeenranta 2
London 2
Maiolati Spontini 2
Morro D'oro 2
Mumbai 2
Orsogna 2
Rome 2
Sambuceto 2
Shenzhen 2
Alcamo 1
Almaty 1
Augusta 1
Baku 1
Batumi 1
Belo Horizonte 1
Blumenau 1
Bologna 1
Bragado 1
Bragança Paulista 1
Brasília 1
Callao 1
Campinas 1
Casablanca 1
Chengdu 1
Chittagong 1
Córdoba 1
Dois Vizinhos 1
Dubai 1
Edinburgh 1
Estância 1
Fairfield 1
Feira de Santana 1
Fortaleza 1
Fuzhou 1
Georgetown 1
Guarujá 1
Homyel 1
Islamabad 1
Totale 1.486
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 128
Verification of time-aware business processes using constrained horn clauses 105
Predicate Pairing for program verification 97
Semantics and controllability of time-aware business processes 96
Specialization with constrained generalization for software model checking 95
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 75
Synthesizing Concurrent Programs using Answer Set Programming 73
Proving correctness of imperative programs by linearizing constrained Horn clauses 71
Bounded symbolic execution for runtime error detection of Erlang programs 68
Lemma generation for horn clause satisfiability: A preliminary study 68
Removing unnecessary variables from Horn clause verification conditions 65
Semantics-based generation of verification conditions via program specialization 61
A Rule-based Verification Strategy for Array Manipulating Programs 60
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 60
Specialization with Constrained Generalization for Software Model Checking 58
Property-Based Test Case Generators for Free 58
Verifying Programs via Iterated Specialization 56
Solving Horn Clauses on Inductive Data Types Without Induction 56
Verification of Imperative Programs through Transformation of Constraint Logic Programs 55
Proving properties of sorting programs: A case study in horn clause verification 55
Branching Preserving Specialization for Software Model Checking 54
Program verification via iterated specialization 53
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 53
null 50
Software Model Checking by Program Specialization 48
Semantics-based generation of verification conditions via program specialization 46
Contract Strengthening through Constrained Horn Clause Verification 43
Synthesizing Concurrent Programs Using Answer Set Programming 43
Verification of Imperative Programs by Constraint Logic Program Transformation 43
Transformational verification of quicksort 42
null 39
null 39
null 37
null 37
null 35
Predicate Pairing with Abstraction for Relational Verification 34
null 34
null 33
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 30
null 30
Synthesizing Concurrent Programs using Answer Set Programming 30
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 29
null 29
null 28
null 23
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 21
Relational verification through horn clause transformation 20
VeriMAP: A Tool for Verifying Programs through Transformations 18
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 17
Verification of Programs by Combining Iterated Specialization with Interpolation 13
Software Model Checking by Program Specialization 11
Verifying Array Programs by Transforming Verification Conditions 11
Verification of Imperative Programs by Transforming Constraint Logic Programs 9
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 2
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 1
Totale 2.545
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.364
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 14.364
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202051 0 0 0 0 0 0 0 0 0 0 45 6
2020/2021250 30 0 40 2 25 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/2025502 39 145 118 13 7 10 11 48 51 33 27 0
Totale 2.545