PETTOROSSI, ALBERTO
 Distribuzione geografica
Continente #
AS - Asia 11
NA - Nord America 5
EU - Europa 1
Totale 17
Nazione #
CN - Cina 11
US - Stati Uniti d'America 5
FI - Finlandia 1
Totale 17
Città #
West Jordan 4
Boardman 1
Helsinki 1
Totale 6
Nome #
Techniques for Searching, Parsing, and Matching 3
Automata Theory and Formal Languages 2
Automatic Proofs of Protocols via Program Transformation 1
Generalization strategies for the verification of infinite state systems 1
Predicate pairing with abstraction for relational verification 1
Using Real Relaxations During Program Specialization 1
A Constraint-Based Transformation for Verifying Infinite State Systems 1
Combining logic programs and monadic second order logics by program transformation 1
Specialization with Constrained Generalization for Software Model Checking 1
Program Transformation for Development, Verification, and Synthesis of Programs 1
Enhancing Predicate Pairing with Abstraction for Relational Verification 1
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism 1
A historical account of my early research interests 1
Generalization Strategies for the Verification of Infinite State Systems 1
Totale 17
Categoria #
all - tutte 967
article - articoli 331
book - libri 93
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 19
Totale 1.410


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 1 0 0 0 0 0 0 0 0 0 0 0
Totale 17