The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Maurizio Proietti" ( http://dblp.L3S.de/Authors/Maurizio_Proietti )

URL (Homepage):  https://orcid.org/0000-0003-3835-4931  Author page on DBLP  Author page in RDF  Community of Maurizio Proietti in ASPL-2

Publication years (Num. hits)
1987-1994 (15) 1995-1999 (19) 2000-2004 (16) 2005-2010 (23) 2011-2012 (15) 2013-2014 (20) 2015-2017 (20) 2018-2019 (10)
Publication types (Num. hits)
article(52) incollection(2) inproceedings(81) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 6 keywords

Results
Found 139 publication records. Showing 138 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
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
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
1Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti (eds.) Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. Search on Bibsonomy VPT@ETAPS 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
1Maurizio Proietti, Hirohisa Seki, Jim Woodcock Editorial. Search on Bibsonomy Formal Asp. Comput. 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
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
1Fabio Fioravanti, Maurizio Proietti, Valerio Senni Efficient generation of test data structures using constraint logic programming and program transformation. Search on Bibsonomy J. Log. Comput. 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 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
1Maurizio Proietti, Hirohisa Seki (eds.) Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti Verification of Programs by Combining Iterated Specialization with Interpolation. Search on Bibsonomy HCVS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabrizio Smith, Maurizio Proietti Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  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
1Fabrizio Smith, Maurizio Proietti Reasoning on Data-Aware Business Processes with Constraint Logic. Search on Bibsonomy SIMPDA 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
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
1Claudia Diamantini, Domenico Potena, Maurizio Proietti, Fabrizio Smith, Emanuele Storti, Francesco Taglino A Semantic Framework for Knowledge Management in Virtual Innovation Factories. Search on Bibsonomy IJISMD 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
1Fabrizio Smith, Dario De Sanctis, Maurizio Proietti A Platform for Managing Business Process Knowledge Bases via Logic Programming. Search on Bibsonomy CILC The full citation details ... 2013 DBLP  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
1Fabrizio Smith, Maurizio Proietti Behavioral Reasoning on Semantic Business Processes in a Rule-Based Framework. Search on Bibsonomy ICAART (Revised Selected Papers) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabrizio Smith, Maurizio Proietti Rule-based Behavioral Reasoning on Semantic Business Processes. Search on Bibsonomy ICAART (2) 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
1Francesco Taglino, Fabrizio Smith, Maurizio Proietti Knowledge-Based Support to Business Innovation. Search on Bibsonomy NGEBIS The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Taglino, Fabrizio Smith, Maurizio Proietti A Software Platform for Semantics-based Enterprise Knowledge Management. Search on Bibsonomy INVIT 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
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
1Michele Missikoff, Maurizio Proietti, Fabrizio Smith Querying Semantically Enriched Business Processes. Search on Bibsonomy DEXA (2) The full citation details ... 2011 DBLP  DOI  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
1Michele Missikoff, Maurizio Proietti, Fabrizio Smith Querying Business Processes and Ontologies in a Logic Programming Environment (Extended Abstract). Search on Bibsonomy SEBD 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
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
1Antonio De Nicola 0001, Michele Missikoff, Maurizio Proietti, Fabrizio Smith An Open Platform for Business Process Modeling and Verification. Search on Bibsonomy DEXA (1) 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
1Antonio De Nicola 0001, Michele Missikoff, Maurizio Proietti, Fabrizio Smith A Logic-Based Method for Business Process Knowledge Base Management. Search on Bibsonomy SEBD The full citation details ... 2010 DBLP  BibTeX  RDF
1Michele Missikoff, Maurizio Proietti, Fabrizio Smith Reasoning on Business Processes and Ontologies in a Logic Programming Environment. Search on Bibsonomy INVIT The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabrizio Smith, Michele Missikoff, Maurizio Proietti Ontology-Based Querying of Composite Services. Search on Bibsonomy BSME The full citation details ... 2010 DBLP  DOI  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
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
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
Displaying result #1 - #100 of 138 (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