PETTOROSSI, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 242
EU - Europa 126
AS - Asia 92
SA - Sud America 11
AF - Africa 1
OC - Oceania 1
Totale 473
Nazione #
US - Stati Uniti d'America 239
SG - Singapore 78
IE - Irlanda 34
IT - Italia 22
DE - Germania 20
SE - Svezia 16
UA - Ucraina 13
BR - Brasile 9
CN - Cina 7
RU - Federazione Russa 5
FI - Finlandia 4
GB - Regno Unito 4
IN - India 3
AR - Argentina 2
BE - Belgio 2
CA - Canada 2
ES - Italia 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BD - Bangladesh 1
CH - Svizzera 1
EE - Estonia 1
FR - Francia 1
HK - Hong Kong 1
PA - Panama 1
PL - Polonia 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 473
Città #
Singapore 60
Chandler 45
Dublin 29
Ashburn 24
Munich 14
Jacksonville 13
Princeton 12
Santa Clara 12
The Dalles 9
Ann Arbor 8
Los Angeles 8
Washington 5
Seattle 4
Wilmington 4
Milan 3
Moscow 3
New York 3
Brussels 2
Charlotte 2
Ealing 2
Helsinki 2
Isernia 2
Lappeenranta 2
Leawood 2
Madrid 2
Ottawa 2
Pescara 2
Altamura 1
Ancona 1
Augusta 1
Belo Horizonte 1
Boardman 1
Boston 1
Bragança Paulista 1
Brooklyn 1
Chittagong 1
Civitanova Marche 1
Córdoba 1
Dubai 1
Estância 1
Fairfield 1
Feira de Santana 1
Fermo 1
Guangzhou 1
Hebei 1
Hong Kong 1
Izmir 1
Jiaxing 1
Johannesburg 1
London 1
Mumbai 1
Nanchang 1
Panama City 1
Paris 1
Pune 1
Resistencia 1
Ribeirão Preto 1
Rio de Janeiro 1
Romola 1
San Francisco 1
San Mateo 1
Santana do Livramento 1
Santo Antônio da Patrulha 1
Shanghai 1
Sydney 1
Vila Velha 1
Warsaw 1
Zurich 1
Totale 317
Nome #
Lemma generation for horn clause satisfiability: A preliminary study 69
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 61
Property-Based Test Case Generators for Free 59
Proving properties of sorting programs: A case study in horn clause verification 56
Contract Strengthening through Constrained Horn Clause Verification 44
null 37
Predicate Pairing with Abstraction for Relational Verification 35
null 33
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 31
Multiple Query Satisfiability of Constrained Horn Clauses 30
null 23
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 18
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 7
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 3
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2
Totale 508
Categoria #
all - tutte 3.577
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 3.577


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20204 0 0 0 0 0 0 0 0 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/2025209 8 59 57 7 6 4 10 18 10 10 20 0
Totale 508