PETTOROSSI, Alberto
 Distribuzione geografica
Continente #
NA - Nord America 609
AS - Asia 267
EU - Europa 211
SA - Sud America 59
Continente sconosciuto - Info sul continente non disponibili 39
AF - Africa 7
OC - Oceania 1
Totale 1.193
Nazione #
US - Stati Uniti d'America 584
SG - Singapore 151
IT - Italia 45
CN - Cina 44
BR - Brasile 41
IE - Irlanda 34
VN - Vietnam 33
DE - Germania 27
RU - Federazione Russa 25
SE - Svezia 16
UA - Ucraina 15
BD - Bangladesh 14
GB - Regno Unito 13
PL - Polonia 10
CA - Canada 9
FI - Finlandia 8
AR - Argentina 7
FR - Francia 7
HK - Hong Kong 7
MX - Messico 6
ZA - Sudafrica 5
CO - Colombia 4
ES - Italia 4
IN - India 4
AE - Emirati Arabi Uniti 3
JP - Giappone 3
SV - El Salvador 3
BE - Belgio 2
CL - Cile 2
CR - Costa Rica 2
EE - Estonia 2
EG - Egitto 2
IQ - Iraq 2
LT - Lituania 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
VE - Venezuela 2
AU - Australia 1
CH - Svizzera 1
CY - Cipro 1
EC - Ecuador 1
HN - Honduras 1
KR - Corea 1
LA - Repubblica Popolare Democratica del Laos 1
MQ - Martinica 1
PA - Panama 1
PK - Pakistan 1
TR - Turchia 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.155
Città #
Singapore 120
San Jose 86
Ashburn 58
Chandler 45
Dublin 29
Council Bluffs 25
Los Angeles 22
Munich 20
Santa Clara 15
Dallas 14
Beijing 13
Jacksonville 13
Buffalo 12
Ho Chi Minh City 12
Princeton 12
New York 11
Staranzano 11
St Louis 10
The Dalles 9
Ann Arbor 8
Hong Kong 7
North Bergen 7
Phoenix 7
São Paulo 6
Warsaw 6
Brooklyn 5
Charlotte 5
Moscow 5
Seattle 5
Washington 5
Chicago 4
Da Nang 4
Denver 4
Hanoi 4
Milan 4
Turku 4
Wilmington 4
Wroclaw 4
Atlanta 3
Boston 3
Houston 3
Johannesburg 3
Mexico City 3
Montreal 3
Ninh Bình 3
Pescara 3
Queens 3
Redondo Beach 3
San Salvador 3
Tokyo 3
Belo Horizonte 2
Bogotá 2
Brussels 2
Chaguanas 2
Columbus 2
Ealing 2
Hefei 2
Helena 2
Helsinki 2
Isernia 2
Kimball 2
Lappeenranta 2
League City 2
Leawood 2
Madrid 2
Montevideo 2
Norfolk 2
Orem 2
Ottawa 2
Resistencia 2
Rome 2
San Francisco 2
San José 2
Tongling 2
Tulsa 2
Uberlândia 2
Uzhhorod 2
'Ewa Beach 1
Allentown 1
Almenara 1
Altamura 1
Altus 1
Ancona 1
Arlington 1
Augusta 1
Austell 1
Barra Mansa 1
Beaverton 1
Bexley 1
Birmingham 1
Biên Hòa 1
Boardman 1
Boisbriand 1
Boituva 1
Bologna 1
Bowling Green 1
Bragança Paulista 1
Brasília 1
Brasópolis 1
Buenos Aires 1
Totale 748
Nome #
Lemma generation for horn clause satisfiability: A preliminary study 139
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 120
Property-Based Test Case Generators for Free 118
Contract Strengthening through Constrained Horn Clause Verification 114
Proving properties of sorting programs: A case study in horn clause verification 111
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 97
Multiple Query Satisfiability of Constrained Horn Clauses 92
Predicate Pairing with Abstraction for Relational Verification 86
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 84
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 76
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 51
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 48
null 33
null 23
Constrained Assumption-Based Argumentation Frameworks 1
Totale 1.193
Categoria #
all - tutte 5.936
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 5.936


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202238 0 0 0 0 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/2025255 8 59 57 7 6 4 10 17 10 10 28 39
2025/2026473 38 21 21 46 78 30 98 12 38 50 39 2
2026/2027166 5 20 58 48 35 0 0 0 0 0 0 0
Totale 1.193