Concepedia

Alberto Pettorossi

AP

Statistics

Publications

20

Citations

726

H-Index

14

Active since

1980

Affiliations

University of Rome Tor Vergata(Current)

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

University of Chieti-Pescara

University of Edinburgh

Alberto Pettorossi is an author at University of Rome Tor Vergata specializing in computer science, computing, and programming languages.

Publications per year

1980–2018

20

Publications

20

Transformation of logic programs: Foundations and techniques

Alberto Pettorossi, Maurizio Proietti · The Journal of Logic Programming · 1994 · 208 citations

Computing, Computer Science, Formal Methods +11

Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs

Maurizio Proietti, Alberto Pettorossi · Theoretical Computer Science · 1995 · 74 citations

Computing, Computer Science, Algorithms +4

A powerful strategy for deriving efficient programs by transformation

Alberto Pettorossi · 1984 · 59 citations · Full text

Computing, Computer Science, Algorithms +9

Generalization strategies for the verification of infinite state systems

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti et al. · Theory and Practice of Logic Programming · 2012 · 45 citations

Computing, Computer Science, Formal Methods +16

Semantics preserving transformation rules for Prolog

Maurizio Proietti, Alberto Pettorossi · 1991 · 41 citations

Language Studies, Computer Science, Natural Language Processing +7

1–5 of 20