CNR Institutional Research Information System

PETTOROSSI, ALBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.063
NA - Nord America 1.335
EU - Europa 346
SA - Sud America 342
AF - Africa 44
OC - Oceania 1
Totale 4.131
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.290
SG - Singapore 931
CN - Cina 469
BR - Brasile 278
HK - Hong Kong 204
VN - Vietnam 192
FR - Francia 131
IT - Italia 76
KR - Corea 70
JP - Giappone 57
IN - India 37
GB - Regno Unito 29
AR - Argentina 24
DE - Germania 23
BD - Bangladesh 19
CA - Canada 19
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
EC - Ecuador 8
ES - Italia 8
IQ - Iraq 8
MA - Marocco 8
ZA - Sudafrica 7
CL - Cile 6
RU - Federazione Russa 6
VE - Venezuela 6
AE - Emirati Arabi Uniti 5
DZ - Algeria 5
JM - Giamaica 5
PY - Paraguay 5
SE - Svezia 5
CH - Svizzera 4
CZ - Repubblica Ceca 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
AI - Anguilla 1
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.131
Salva come PNG Salva come JPEG
Città #
Santa Clara 689
Singapore 576
Hong Kong 200
Hefei 174
Beijing 116
Lauterbourg 109
San Jose 102
Los Angeles 78
Seoul 69
Ashburn 62
Ho Chi Minh City 61
Hanoi 49
Tokyo 44
Rome 41
Dallas 39
New York 24
Rio de Janeiro 19
São Paulo 19
Orem 13
Frankfurt am Main 12
Milan 12
Buffalo 11
Helsinki 10
Minamishinagawa 10
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
Guayaquil 5
Mexico City 5
Montreal 5
Naples 5
Porto Alegre 5
Asunción 4
Atlanta 4
Da Nang 4
Hải Dương 4
Itajaí 4
Johannesburg 4
Lang Son 4
Manchester 4
Medina 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
Boardman 3
Brooklyn 3
Canoas 3
Charlotte 3
Contagem 3
Council Bluffs 3
Dakar 3
Denver 3
Detroit 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
Totale 2.818
Salva come PNG Salva come JPEG
Nome #
Techniques for Searching, Parsing, and Matching 89
Multiple Query Satisfiability of Constrained Horn Clauses 82
First Order Predicate Calculus and Logic Programming 80
Program verification via iterated specialization 79
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions 73
Automatic Proofs of Protocols via Program Transformation 64
Automata Theory and Formal Languages 63
Analysis and Transformation of Constrained Horn Clauses for Program Verification 62
Improving Reachability Analysis of Infinite State Systems by Specialization 61
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
Automata Theory and Formal Theory Languages 49
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) 49
Predicate Pairing for program verification 48
Semantics and Controllability of Time-Aware Business Processes 48
Techniques for Searching, Parsing, and Matching 48
A Rule-based Verification Strategy for Array Manipulating Programs 47
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates 47
Horn Clause Transformation for Program Verification 47
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification 47
Semantics and Controllability of Time-Aware Business Processes 45
Contract Strengthening through Constrained Horn Clause Verification 44
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach 43
Automated Verification of Relational Program Properties 43
Property-Based Test Case Generators for Free 43
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs 41
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study 40
Semantics-based generation of verification conditions via program specialization 40
Verifying Controllability of Time-Aware Business Processes 39
Verifying relational program properties by transforming constrained Horn clauses 39
A historical account of my early research interests 39
Verifying {CTL} Properties of Infinite State Systems by Specializing Constraint Logic Programs 37
Solving Horn Clauses on Inductive Data Types Without Induction 37
Verifying Programs via Iterated Specialization 36
Removing unnecessary variables from Horn clause verification conditions 36
Controlling Polyvariance for Specialization-based Verification 35
VeriMAP: A tool for verifying programs through transformations 35
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses 35
Verifying controllability of time-aware business processes 35
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
Verification of Time-Aware Business Processes using Constrained Horn Clauses 33
Program derivation = rules + strategies 33
Software Model Checking by Program Specialization 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
Enhancing Predicate Pairing with Abstraction for Relational Verification 32
A Constraint-Based Transformation for Verifying Infinite State Systems 31
Transformations of Logic Programs with Goals as Arguments 31
Verification of Imperative Programs through Transformation of Constraint Logic Programs 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
Verifying Programs via Iterated Specialization 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
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
Verification of Imperative Programs by Transforming Constraint Logic Programs 27
Semantics of Programming Languages 27
The List Introduction Strategy for the Derivation of Logic Programs 27
Using Answer Set Programming Solvers to Synthesize Concurrent Programs 26
A Specialization Technique For Deriving Deterministic Constraint Logic Programs and Its Application to Pattern Matching 26
Special Issue on the Italian Conference on Computational Logic: CILC 2009 26
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables 25
Improving Reachability Analysis of Infinite State Systems by Specialization 25
Elements of Computability, Decidability, and Complexity 25
Regularity of non context-free languages over a singleton terminal alphabet 25
Using Real Relaxations During Program 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
The Transformational Approach to Program Development 24
Constraint-Based Correctness Proofs for Logic Program Transformations 24
Program Transformation for Development, Verification, and Synthesis of Programs 24
Branching Preserving Specialization for Software Model Checking 24
Totally Correct Logic Program Transformations Via Well-Founded Annotations 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.790
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.829
article - articoli 4.974
book - libri 1.315
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 247
Totale 20.365
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.342 88 246 213 327 416 101 426 129 149 162 54 31
Totale 4.187