PETTOROSSI, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 245
EU - Europa 127
AS - Asia 94
SA - Sud America 22
AF - Africa 1
OC - Oceania 1
Totale 490
Nazione #
US - Stati Uniti d'America 242
SG - Singapore 80
IE - Irlanda 34
IT - Italia 22
DE - Germania 20
BR - Brasile 19
SE - Svezia 16
UA - Ucraina 13
CN - Cina 7
GB - Regno Unito 5
RU - Federazione Russa 5
FI - Finlandia 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
CO - Colombia 1
EE - Estonia 1
FR - Francia 1
HK - Hong Kong 1
PA - Panama 1
PL - Polonia 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 490
Città #
Singapore 62
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
Brooklyn 2
Brussels 2
Charlotte 2
Ealing 2
Helsinki 2
Isernia 2
Lappeenranta 2
Leawood 2
Madrid 2
Ottawa 2
Pescara 2
Almenara 1
Altamura 1
Ancona 1
Atlanta 1
Augusta 1
Belo Horizonte 1
Boardman 1
Boituva 1
Boston 1
Bragança Paulista 1
Chittagong 1
Civitanova Marche 1
Colinas do Tocantins 1
Cundinamarca 1
Córdoba 1
Douradina 1
Dubai 1
Dunfermline 1
Duque de Caxias 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
João Pessoa 1
Leme 1
London 1
Los Fresnos 1
Mumbai 1
Nanchang 1
Nazaré da Mata 1
Panama City 1
Paris 1
Pune 1
Resistencia 1
Ribeirão Preto 1
Rio Grande 1
Rio de Janeiro 1
Romola 1
San Francisco 1
San Mateo 1
Santana do Livramento 1
Santarém 1
Santo Antônio da Patrulha 1
Shanghai 1
Sydney 1
Vila Velha 1
Warsaw 1
Zurich 1
Totale 334
Nome #
Lemma generation for horn clause satisfiability: A preliminary study 71
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 62
Property-Based Test Case Generators for Free 61
Proving properties of sorting programs: A case study in horn clause verification 57
Contract Strengthening through Constrained Horn Clause Verification 44
null 37
Predicate Pairing with Abstraction for Relational Verification 36
null 33
Multiple Query Satisfiability of Constrained Horn Clauses 31
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 31
null 23
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 20
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 9
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 8
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2
Totale 525
Categoria #
all - tutte 3.649
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.649


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2025226 8 59 57 7 6 4 10 18 10 10 29 8
Totale 525