DE ANGELIS, EMANUELE
 Distribuzione geografica
Continente #
EU - Europa 53
NA - Nord America 25
AS - Asia 7
AF - Africa 2
Totale 87
Nazione #
US - Stati Uniti d'America 25
FR - Francia 23
IT - Italia 18
SE - Svezia 6
IE - Irlanda 5
VN - Vietnam 5
IN - India 2
CZ - Repubblica Ceca 1
DZ - Algeria 1
ZA - Sudafrica 1
Totale 87
Città #
Chieti 17
Ashburn 15
Stockholm 6
Dong Ket 5
Dublin 5
San Jose 4
Paris 3
Pune 2
Algiers 1
Boardman 1
Council Bluffs 1
Johannesburg 1
Manhattan 1
Mountain View 1
Totale 63
Nome #
Bounded symbolic execution for runtime error detection of Erlang programs, file e4233f18-b4fe-2860-e053-6605fe0a460a 16
Program Verification using Constraint Handling Rules and Array Constraint Generalizations, file e4233f18-8d16-2860-e053-6605fe0a460a 15
Transformational verification of quicksort, file e4233f18-899e-2860-e053-6605fe0a460a 12
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach, file e4233f19-250e-2860-e053-6605fe0a460a 9
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses, file 8c874471-5f9d-4512-ac39-a6b763c5449a 8
Removing unnecessary variables from Horn clause verification conditions, file e4233f18-74bc-2860-e053-6605fe0a460a 8
Contract Strengthening through Constrained Horn Clause Verification, file edfa9d91-1ef9-4844-95d8-4bf4d465a0c2 4
Lemma generation for horn clause satisfiability: A preliminary study, file e2aedad3-d526-49ca-87d2-c2bc391e7628 3
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates, file e39a0aee-0d11-4e86-bc19-11cbb91d5d29 3
A Rule-based Verification Strategy for Array Manipulating Programs, file e4233f18-dd6e-2860-e053-6605fe0a460a 3
Proving correctness of imperative programs by linearizing constrained Horn clauses, file e4233f18-7fac-2860-e053-6605fe0a460a 2
Solving Horn Clauses on Inductive Data Types Without Induction, file e4233f18-ae76-2860-e053-6605fe0a460a 2
Predicate Pairing for program verification, file e4233f18-8fbf-2860-e053-6605fe0a460a 1
Semantics and controllability of time-aware business processes, file e4233f18-a5fb-2860-e053-6605fe0a460a 1
Totale 87
Categoria #
all - tutte 443
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 443


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 0 0 0 0 2 5
2021/202211 3 2 3 2 1 0 0 0 0 0 0 0
2022/202339 0 0 0 3 0 6 7 1 0 0 21 1
2023/202430 1 0 2 2 1 9 6 1 8 0 0 0
Totale 87