The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alberto Pettorossi" ( http://dblp.L3S.de/Authors/Alberto_Pettorossi )

URL (Homepage):  https://orcid.org/0000-0001-7858-4032  Author page on DBLP  Author page in RDF  Community of Alberto Pettorossi in ASPL-2

Publication years (Num. hits)
1975-1984 (16) 1985-1990 (16) 1991-1995 (15) 1996-1999 (15) 2000-2004 (18) 2005-2010 (21) 2011-2013 (21) 2014-2016 (15) 2017-2019 (20)
Publication types (Num. hits)
article(64) incollection(2) inproceedings(87) phdthesis(1) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 6 keywords

Results
Found 158 publication records. Showing 157 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Semantics and Controllability of Time-Aware Business Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. Search on Bibsonomy HCVS/PERR@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Lemma Generation for Horn Clause Satisfiability: A Preliminary Study. Search on Bibsonomy VPT@Programming The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction - ERRATUM. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti Property-Based Test Case Generators for Free. Search on Bibsonomy TAP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs. Search on Bibsonomy HCVS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing for program verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Giordano 0001, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Search on Bibsonomy Fundam. Inform. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Regularity of non context-free languages over a singleton terminal alphabet. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Enhancing Predicate Pairing with Abstraction for Relational Verification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing for Program Verification. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Semantics-based generation of verification conditions via program specialization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Verifying Controllability of Time-Aware Business Processes. Search on Bibsonomy RuleML+RR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing with Abstraction for Relational Verification. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Removing Unnecessary Variables from Horn Clause Verification Conditions. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Verification of Time-Aware Business Processes using Constrained Horn Clauses. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verifying Relational Program Properties by Transforming Constrained Horn clauses. Search on Bibsonomy CILC The full citation details ... 2016 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Relational Verification Through Horn Clause Transformation. Search on Bibsonomy SAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti Verification of Time-Aware Business Processes Using Constrained Horn Clauses. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti A Rule-based Verification Strategy for Array Manipulating Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi (eds.) Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. Search on Bibsonomy VPT@ETAPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Proving correctness of imperative programs by linearizing constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Semantics-based generation of verification conditions by program specialization. Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program verification via iterated specialization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Search on Bibsonomy VPT@CAV The full citation details ... 2014 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Program Verification using Constraint Handling Rules and Array Constraint Generalizations. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti VeriMAP: A Tool for Verifying Programs through Transformations. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verifying Array Programs by Transforming Verification Conditions. Search on Bibsonomy VMCAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Controlling Polyvariance for Specialization-based Verification. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Proving Theorems by Program Transformation. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Gianfranco Rossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Imperative Programs by Constraint Logic Program Transformation. Search on Bibsonomy Festschrift for Dave Schmidt The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization strategies for the verification of infinite state systems. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program Transformation for Program Verification. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Imperative Programs through Transformation of Constraint Logic Programs. Search on Bibsonomy VPT@CAV The full citation details ... 2013 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verifying programs via iterated specialization. Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Imperative Programs by Transforming Constraint Logic Programs. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  BibTeX  RDF
1Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti Synthesizing Concurrent Programs Using Answer Set Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Improving Reachability Analysis of Infinite State Systems by Specialization. Search on Bibsonomy Fundam. Inform. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Constraint-based correctness proofs for logic program transformations. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Maurizio Proietti, Alberto Pettorossi Software Model Checking by Program Specialization. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Specialization with Constrained Generalization for Software Model Checking. Search on Bibsonomy LOPSTR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Toni Mancini, Alberto Pettorossi RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program transformation for development, verification, and synthesis of programs. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization Strategies for the Verification of Infinite State Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Controlling Polyvariance for Specialization-based Verification. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti Synthesizing Concurrent Programs using Answer Set Programming. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Improving Reachability Analysis of Infinite State Systems by Specialization. Search on Bibsonomy RP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Using Real Relaxations during Program Specialization. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Transformations of Logic Programs on Infinite Lists Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Alberto Pettorossi, Valerio Senni, Maurizio Proietti Transformations of logic programs on infinite lists. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni The Transformational Approach to Program Development. Search on Bibsonomy 25 Years GULP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni A Transformation Strategy for Verifying Logic Programs on Infinite Lists. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Generalization Strategies for the Verification of Infinite State Systems. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Valerio Senni, Alberto Pettorossi, Maurizio Proietti A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Deciding Full Branching Time Logic by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Totally correct logic program transformations via well-founded annotations. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Totally correct logic program transformations via well-founded annotations. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Program Transformation for Development, Verification, and Synthesis of Software. Search on Bibsonomy Il Milione The full citation details ... 2008 DBLP  BibTeX  RDF
1Valerio Senni, Alberto Pettorossi, Maurizio Proietti A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Automatic Correctness Proofs for Logic Program Transformations. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. Search on Bibsonomy Fundam. Inform. The full citation details ... 2005 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization
1Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi Editorial. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. Search on Bibsonomy Transformation Techniques in Software Engineering The full citation details ... 2005 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Valerio Senni Transformational Verification of Parameterized Protocols Using Array Formulas. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Transformations of logic programs with goals as arguments. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti A theory of totally correct logic program transformations. Search on Bibsonomy PEPM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF partial and total correctness, program transformation rules, well-founded orderings, logic programming
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automatic Proofs of Protocols via Program Transformation. Search on Bibsonomy MSRAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Transformation Rules for Locally Stratified Constraint Logic Programs. Search on Bibsonomy Program Development in Computational Logic The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Transformations of Logic Programs with Goals as Arguments Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti, Sophie Renault Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi Editorial: Special Issue Dedicated to Bob Paige. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti The List Introduction Strategy for the Derivation of Logic Programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Transformation rules and strategies, Logic programming, Program transformation, Automatic programming, Program derivation
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2002 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program Derivation = Rules + Strategies. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Combining Logic Programs and Monadic Second Order Logics by Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Verification of Sets of Infinite State Processes Using Program Transformation. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi (eds.) Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Perfect Model Checking via Unfold/Fold Transformations. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automated strategies for specializing constraint logic programs. Search on Bibsonomy LOPSTR The full citation details ... 2000 DBLP  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Automated Strategies for Specializing Constraint Logic Programs. Search on Bibsonomy LOPSTR (LNCS 2042: Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Maurizio Proietti, Alberto Pettorossi Transforming Inductive Definitions. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Transformation Rules for Logic Programs with Goals as Arguments. Search on Bibsonomy LOPSTR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Alberto Pettorossi, Maurizio Proietti Program Specialization via Algorithmic Unfold/Fold Transformations. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 157 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license