Concepedia

Maurizio Proietti

MP

18

Publications

664

Citations

14

H-Index

1989

Active since

Affiliations

University of Rome Tor Vergata(Current)

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

University of Chieti-Pescara

National Research Council

National Academies of Sciences, Engineering, and Medicine

Maurizio Proietti is an author at University of Rome Tor Vergata specializing in automated reasoning, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisLogic ProgrammingVerificationSoftware AnalysisSemantics

Publications per year

1989–2018

18

Publications

18

Transformation of logic programs: Foundations and techniques

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

Applied Logic, Engineering, Automated Reasoning +6

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

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

Computational Logic, Unnecessary Variables, Applied Logic +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 · 44 citations

Engineering, Verification, Computer-aided Verification +16

Semantics preserving transformation rules for Prolog

Maurizio Proietti, Alberto Pettorossi · 1991 · 41 citations

Transformation Rules, Engineering, Well-founded Semantics +17

Program verification via iterated specialization

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi et al. · Science of Computer Programming · 2014 · 37 citations

Program Checking, Engineering, Program Analysis +9

Rows per page

1–5 of 18