FIORAVANTI, Fabio
 Distribuzione geografica
Continente #
EU - Europa 69
NA - Nord America 45
AS - Asia 7
AF - Africa 2
Totale 123
Nazione #
US - Stati Uniti d'America 45
IT - Italia 25
FR - Francia 23
IE - Irlanda 6
SE - Svezia 6
VN - Vietnam 5
ES - Italia 4
CZ - Repubblica Ceca 2
IN - India 2
NL - Olanda 2
DZ - Algeria 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 123
Città #
Chieti 21
Columbus 16
Ashburn 15
Dublin 6
Stockholm 6
Dong Ket 5
San Jose 4
Boadilla del Monte 3
Council Bluffs 3
Paris 3
Amsterdam 2
Pune 2
Algiers 1
Boardman 1
Johannesburg 1
Madrid 1
Manhattan 1
Mountain View 1
Pasadena 1
Pescara 1
Totale 94
Nome #
Bounded symbolic execution for runtime error detection of Erlang programs, file e4233f18-b4fe-2860-e053-6605fe0a460a 18
Program Verification using Constraint Handling Rules and Array Constraint Generalizations, file e4233f18-8d16-2860-e053-6605fe0a460a 17
Transformational verification of quicksort, file e4233f18-899e-2860-e053-6605fe0a460a 14
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach, file e4233f19-250e-2860-e053-6605fe0a460a 12
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses, file 8c874471-5f9d-4512-ac39-a6b763c5449a 11
Analysis and Transformation of Constrained Horn Clauses for Program Verification, file eb3adbc7-97e6-4021-9b05-989daf74fabe 11
Removing unnecessary variables from Horn clause verification conditions, file e4233f18-74bc-2860-e053-6605fe0a460a 9
null, file e4233f18-e1d0-2860-e053-6605fe0a460a 6
Lemma generation for horn clause satisfiability: A preliminary study, file e2aedad3-d526-49ca-87d2-c2bc391e7628 5
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates, file e39a0aee-0d11-4e86-bc19-11cbb91d5d29 4
Contract Strengthening through Constrained Horn Clause Verification, file edfa9d91-1ef9-4844-95d8-4bf4d465a0c2 4
A Rule-based Verification Strategy for Array Manipulating Programs, file e4233f18-dd6e-2860-e053-6605fe0a460a 3
Multiple Query Satisfiability of Constrained Horn Clauses, file 4c5d90d7-79d0-4ffd-b275-f6d661328e88 2
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
Automatic Proofs of Protocols via Program Transformation., file e4233f14-e850-2860-e053-6605fe0a460a 1
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 123
Categoria #
all - tutte 642
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 642


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/202215 3 3 3 2 4 0 0 0 0 0 0 0
2022/202346 0 0 0 3 1 6 8 3 0 0 24 1
2023/202455 1 0 2 2 2 10 7 3 9 1 18 0
Totale 123