IRIS
DE ANGELIS, EMANUELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 876
EU - Europa 716
AS - Asia 305
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 1
Totale 1.901
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 873
IT - Italia 198
CN - Cina 172
UA - Ucraina 157
IE - Irlanda 150
TR - Turchia 111
SE - Svezia 88
DE - Germania 49
GB - Regno Unito 31
FI - Finlandia 28
FR - Francia 8
IN - India 8
IR - Iran 7
BE - Belgio 6
VN - Vietnam 4
CA - Canada 2
EU - Europa 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
KZ - Kazakistan 1
MN - Mongolia 1
NL - Olanda 1
PA - Panama 1
PE - Perù 1
Totale 1.901
Salva come PNG Salva come JPEG
Città #
Jacksonville 194
Chandler 164
Dublin 144
Princeton 83
Izmir 62
Ann Arbor 57
Nanjing 54
Dearborn 37
Ashburn 36
Cambridge 29
Nanchang 28
Wilmington 27
Altamura 19
Beijing 16
Civitanova Marche 15
Centrale 12
Hebei 10
Boardman 9
Francavilla Al Mare 9
Jiaxing 9
San Mateo 8
Kunming 7
Leawood 7
Norwalk 7
Shenyang 7
Tianjin 7
Washington 7
Ardabil 6
Brussels 6
Seattle 6
Southend 6
Changchun 5
Changsha 4
Dong Ket 4
Fara Gera D'adda 4
Hangzhou 4
Lanzhou 4
Palombara Sabina 4
Pescara 4
Termoli 4
Woodbridge 4
Zhengzhou 4
Chieti 3
L'aquila 3
Ancona 2
Bangalore 2
Canino 2
Ealing 2
Fermo 2
Guangzhou 2
Helsinki 2
London 2
Maiolati Spontini 2
Morro D'oro 2
Mumbai 2
Orsogna 2
Rome 2
Sambuceto 2
Shanghai 2
Shenzhen 2
Alcamo 1
Almaty 1
Augusta 1
Bologna 1
Callao 1
Dubai 1
Edinburgh 1
Fairfield 1
Fuzhou 1
Isernia 1
Istanbul 1
Jinan 1
Los Angeles 1
Milan 1
Monmouth Junction 1
Mountain View 1
Panama City 1
Paris 1
Phoenix 1
Pistoia 1
Pune 1
Quzhou 1
Red Deer 1
Redwood City 1
Roseto Degli Abruzzi 1
San Jose 1
Sassari 1
Simi Valley 1
Stockholm 1
Taizhou 1
Terracina 1
Toronto 1
Ulan Bator 1
Xian 1
Totale 1.205
Salva come PNG Salva come JPEG
Nome #
Verifying Controllability of Time-Aware Business Processes 106
Verification of time-aware business processes using constrained horn clauses 95
Predicate Pairing for program verification 85
Specialization with constrained generalization for software model checking 78
Semantics and controllability of time-aware business processes 75
Synthesizing Concurrent Programs using Answer Set Programming 65
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 65
Proving correctness of imperative programs by linearizing constrained Horn clauses 62
Removing unnecessary variables from Horn clause verification conditions 55
Bounded symbolic execution for runtime error detection of Erlang programs 54
Lemma generation for horn clause satisfiability: A preliminary study 54
A Rule-based Verification Strategy for Array Manipulating Programs 51
null 50
Semantics-based generation of verification conditions via program specialization 50
Verification of Imperative Programs through Transformation of Constraint Logic Programs 46
Solving Horn Clauses on Inductive Data Types Without Induction 46
Property-Based Test Case Generators for Free 46
Verifying Programs via Iterated Specialization 45
Branching Preserving Specialization for Software Model Checking 44
Program verification via iterated specialization 44
Proving properties of sorting programs: A case study in horn clause verification 44
Specialization with Constrained Generalization for Software Model Checking 42
Software Model Checking by Program Specialization 41
Semantics-based generation of verification conditions via program specialization 40
null 39
null 39
Verification of Imperative Programs by Constraint Logic Program Transformation 38
Verifying Relational Program Properties by Transforming Constrained Horn Clauses 38
Synthesizing Concurrent Programs Using Answer Set Programming 37
null 37
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 37
null 35
null 34
null 30
null 29
null 28
Transformational verification of quicksort 26
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 24
null 23
Predicate Pairing with Abstraction for Relational Verification 20
Synthesizing Concurrent Programs using Answer Set Programming 19
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 17
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 14
Contract Strengthening through Constrained Horn Clause Verification 13
VeriMAP: A Tool for Verifying Programs through Transformations 12
Relational verification through horn clause transformation 12
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 10
Software Model Checking by Program Specialization 8
Verifying Array Programs by Transforming Verification Conditions 5
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 4
Verification of Imperative Programs by Transforming Constraint Logic Programs 4
Verification of Programs by Combining Iterated Specialization with Interpolation 4
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 2
Totale 2.021
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.666
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 8.666
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019142 0 0 0 0 0 0 0 0 0 18 51 73
2019/2020400 133 27 11 5 45 28 54 32 9 5 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/2024195 19 16 21 6 21 55 48 6 0 3 0 0
Totale 2.021