CNR Institutional Research Information System

PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.059
NA - Nord America 1.304
EU - Europa 345
SA - Sud America 341
AF - Africa 42
OC - Oceania 1
Totale 4.092
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.262
SG - Singapore 930
CN - Cina 468
BR - Brasile 278
HK - Hong Kong 204
VN - Vietnam 192
FR - Francia 131
IT - Italia 75
KR - Corea 70
JP - Giappone 57
IN - India 37
GB - Regno Unito 29
AR - Argentina 24
DE - Germania 23
CA - Canada 18
BD - Bangladesh 17
FI - Finlandia 17
TR - Turchia 14
IL - Israele 11
MX - Messico 11
NL - Olanda 10
ID - Indonesia 9
PL - Polonia 9
SA - Arabia Saudita 9
CO - Colombia 8
ES - Italia 8
IQ - Iraq 8
EC - Ecuador 7
ZA - Sudafrica 7
CL - Cile 6
MA - Marocco 6
RU - Federazione Russa 6
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
DZ - Algeria 5
PY - Paraguay 5
SE - Svezia 5
CH - Svizzera 4
CZ - Repubblica Ceca 4
JM - Giamaica 4
TN - Tunisia 4
UA - Ucraina 4
AZ - Azerbaigian 3
EG - Egitto 3
IE - Irlanda 3
KE - Kenya 3
KZ - Kazakistan 3
LT - Lituania 3
MY - Malesia 3
PE - Perù 3
PK - Pakistan 3
RS - Serbia 3
SN - Senegal 3
TH - Thailandia 3
UZ - Uzbekistan 3
AL - Albania 2
CI - Costa d'Avorio 2
CR - Costa Rica 2
ET - Etiopia 2
LA - Repubblica Popolare Democratica del Laos 2
OM - Oman 2
PH - Filippine 2
RE - Reunion 2
RO - Romania 2
UY - Uruguay 2
AU - Australia 1
BB - Barbados 1
BG - Bulgaria 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
KH - Cambogia 1
ML - Mali 1
MN - Mongolia 1
MR - Mauritania 1
MT - Malta 1
MW - Malawi 1
MZ - Mozambico 1
NI - Nicaragua 1
NO - Norvegia 1
NP - Nepal 1
PA - Panama 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
UG - Uganda 1
Totale 4.092
Salva come PNG Salva come JPEG
Città #
Santa Clara 688
Singapore 576
Hong Kong 200
Hefei 174
Beijing 116
Lauterbourg 109
San Jose 102
Los Angeles 76
Seoul 69
Ho Chi Minh City 61
Ashburn 51
Hanoi 49
Tokyo 44
Rome 41
Dallas 39
New York 23
Rio de Janeiro 19
São Paulo 19
Orem 13
Frankfurt am Main 12
Milan 12
Helsinki 10
Minamishinagawa 10
Buffalo 9
Biên Hòa 8
Haiphong 8
Brasília 7
Lappeenranta 6
San Francisco 6
The Dalles 6
Baghdad 5
Belo Horizonte 5
Bengaluru 5
Chennai 5
Curitiba 5
Des Moines 5
Guangzhou 5
Mexico City 5
Naples 5
Porto Alegre 5
Asunción 4
Atlanta 4
Da Nang 4
Guayaquil 4
Hải Dương 4
Itajaí 4
Johannesburg 4
Lang Son 4
Manchester 4
Medina 4
Montreal 4
Nha Trang 4
Prague 4
Quảng Ngãi 4
Warsaw 4
West Jordan 4
Zurich 4
Amsterdam 3
Baku 3
Bangkok 3
Belgrade 3
Brooklyn 3
Canoas 3
Contagem 3
Council Bluffs 3
Dakar 3
Denver 3
Dublin 3
Duque de Caxias 3
Guarulhos 3
Hortolândia 3
Jundiaí 3
London 3
Miami 3
Mohali 3
Ninh Bình 3
Nuremberg 3
Osaka 3
Philadelphia 3
Quận Bình Thạnh 3
Salvador 3
Santiago 3
Seattle 3
Shanghai 3
Sumaré 3
Tunis 3
Abidjan 2
Addis Ababa 2
Albany 2
Alexandria 2
Algiers 2
Almaty 2
Ankara 2
Barquisimeto 2
Bauru 2
Berazategui 2
Bialystok 2
Bogotá 2
Bragança Paulista 2
Bạc Liêu 2
Totale 2.796
Salva come PNG Salva come JPEG
Nome #
Techniques for Searching, Parsing, and Matching 87
Multiple Query Satisfiability of Constrained Horn Clauses 82
First Order Predicate Calculus and Logic Programming 79
Program verification via iterated specialization 78
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 73
Automatic Proofs of Protocols via Program Transformation 64
Automata Theory and Formal Languages 63
Improving Reachability Analysis of Infinite State Systems by Specialization 61
Analysis and Transformation of Constrained Horn Clauses for Program Verification 59
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach 58
Verifying Array Programs by Transforming Verification Conditions 57
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 56
Controlling polyvariance for specialization-based verification 55
A Theory of Totally Correct Logic Program Transformations 51
Predicate pairing with abstraction for relational verification 50
Catamorphic Abstractions for Constrained Horn Clause Satisfiability 50
Generalization strategies for the verification of infinite state systems 49
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 49
Automata Theory and Formal Theory Languages 48
A Rule-based Verification Strategy for Array Manipulating Programs 47
Predicate Pairing for program verification 47
Semantics and Controllability of Time-Aware Business Processes 47
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 47
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 46
Techniques for Searching, Parsing, and Matching 46
Horn Clause Transformation for Program Verification 45
Semantics and Controllability of Time-Aware Business Processes 45
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach 43
Contract Strengthening through Constrained Horn Clause Verification 43
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 41
Property-Based Test Case Generators for Free 41
Automated Verification of Relational Program Properties 40
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 40
Verifying relational program properties by transforming constrained Horn clauses 39
A historical account of my early research interests 39
Semantics-based generation of verification conditions via program specialization 39
Verifying Controllability of Time-Aware Business Processes 38
Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs 37
Solving Horn Clauses on Inductive Data Types Without Induction 37
Removing unnecessary variables from Horn clause verification conditions 36
Controlling Polyvariance for Specialization-based Verification 35
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 35
Verifying controllability of time-aware business processes 35
Verifying Programs via Iterated Specialization 34
VeriMAP: A tool for verifying programs through transformations 34
Verification of time-aware business processes using constrained Horn clauses 34
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism 34
Deciding Full Branching Time Logic by Program Transformation 33
Deciding Full Branching Time Logic by Program Transformation 33
Program derivation = rules + strategies 33
Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs 32
Transformational Verification of Parameterized Protocols Using Array Formulas 32
First Order Predicate Calculus and Logic Programming 32
Software Model Checking by Program Specialization 32
A Constraint-Based Transformation for Verifying Infinite State Systems 31
Verification of Time-Aware Business Processes using Constrained Horn Clauses 31
Transformations of Logic Programs with Goals as Arguments 31
Verification of Imperative Programs through Transformation of Constraint Logic Programs 31
Enhancing Predicate Pairing with Abstraction for Relational Verification 31
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 31
Information Science and Technology for the New Century 31
Controlling Polyvariance for Specialization-Based Verification 30
A Transformation Strategy for Verifying Logic Programs on Infinite Lists 30
Program Verification using Constraint Handling Rules and Array Constraint Generalizations 30
Verification of sets of infinite state processes using program transformation 30
Automated Strategies for Specializing Constraint Logic Programs 30
Specialization with Constrained Generalization for Software Model Checking 30
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation 29
Semantics-based generation of verification conditions by program specialization 29
Verifying Programs via Iterated Specialization 29
Program Derivation = Rules + Strategies 29
Verifying CTL properties of infinite state systems by specializing constraint logic programs 28
Proving Horn Clause Specifications of Imperative Programs 28
Program Verification via Iterated Specialization 27
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs 27
A Rule-based Verification Strategy for Array Manipulating Programs 27
Editorial for the Special Issue Dedicated to Bob Paige 27
Semantics of Programming Languages 27
The List Introduction Strategy for the Derivation of Logic Programs 27
A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching 26
Verification of Imperative Programs by Transforming Constraint Logic Programs 26
Special Issue on the Italian Conference on Computational Logic: CILC 2009 26
Using Answer Set Programming Solvers to Synthesize Concurrent Programs 25
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables 25
Elements of Computability, Decidability, and Complexity 25
Using Real Relaxations During Program Specialization 24
Improving Reachability Analysis of Infinite State Systems by Specialization 24
Transformational Verification of Linear Temporal Logic 24
Combining Logic Programs and Monadic Second Order Logics by Program Transformation 24
Combining logic programs and monadic second order logics by program transformation 24
Constraint-Based Correctness Proofs for Logic Program Transformations 24
Program Transformation for Development, Verification, and Synthesis of Programs 24
Regularity of non context-free languages over a singleton terminal alphabet 24
Branching Preserving Specialization for Software Model Checking 24
Totally Correct Logic Program Transformations Via Well-Founded Annotations 23
The Transformational Approach to Program Development 23
Transformations of logic programs on infinite lists 22
Folding Transformation Rules for Constraint Logic Programs 22
Verifying parameterized protocols by transforming stratified logic programs 22
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs 22
Totale 3.754
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.877
article - articoli 4.647
book - libri 1.225
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 232
Totale 18.981
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202416 0 0 0 0 0 0 0 0 0 4 11 1
2024/20251.829 5 6 113 66 587 122 30 95 45 30 393 337
2025/20262.303 88 246 213 327 416 101 426 129 149 162 46 0
Totale 4.148