PETTOROSSI, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 221
EU - Europa 116
AS - Asia 71
OC - Oceania 1
Totale 409
Nazione #
US - Stati Uniti d'America 220
SG - Singapore 62
IE - Irlanda 34
DE - Germania 20
IT - Italia 18
SE - Svezia 16
UA - Ucraina 13
RU - Federazione Russa 5
CN - Cina 4
FI - Finlandia 3
GB - Regno Unito 3
IN - India 3
ES - Italia 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BE - Belgio 1
FR - Francia 1
PA - Panama 1
TR - Turchia 1
Totale 409
Città #
Singapore 56
Chandler 45
Dublin 29
Ashburn 24
Munich 14
Jacksonville 13
Princeton 12
Santa Clara 11
Ann Arbor 8
Los Angeles 8
Washington 5
Wilmington 4
Moscow 3
Seattle 3
Ealing 2
Helsinki 2
Isernia 2
Leawood 2
Madrid 2
Altamura 1
Ancona 1
Augusta 1
Boardman 1
Brussels 1
Civitanova Marche 1
Dubai 1
Fairfield 1
Fermo 1
Guangzhou 1
Hebei 1
Izmir 1
Jiaxing 1
Lappeenranta 1
London 1
Milan 1
Mumbai 1
Nanchang 1
Panama City 1
Paris 1
Pune 1
Romola 1
San Mateo 1
Sydney 1
Totale 269
Nome #
Lemma generation for horn clause satisfiability: A preliminary study 61
Property-Based Test Case Generators for Free 54
Proving properties of sorting programs: A case study in horn clause verification 51
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 51
Contract Strengthening through Constrained Horn Clause Verification 38
Predicate Pairing with Abstraction for Relational Verification 32
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 31
Multiple Query Satisfiability of Constrained Horn Clauses 27
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 26
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 26
null 23
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 12
Totale 432
Categoria #
all - tutte 2.767
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 2.767


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202013 0 0 0 0 4 0 4 1 0 0 4 0
2020/202128 0 0 5 0 4 7 2 0 2 1 7 0
2021/202240 1 0 0 1 4 1 1 3 1 12 4 12
2022/2023118 13 14 5 14 9 21 7 3 23 0 6 3
2023/202488 4 4 11 3 12 25 11 5 0 5 3 5
2024/2025133 8 59 57 7 2 0 0 0 0 0 0 0
Totale 432