The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maurizio Proietti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fabio Fioravanti, Maurizio Proietti
    Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:455-470 [Conf]
  2. Maurizio Proietti, Alberto Pettorossi
    Completeness of some Transformation Strategies for Avoiding Unncecessary Logical Variables. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:601-616 [Conf]
  3. Maurizio Proietti, Alberto Pettorossi
    Total correctness of a goal replacement rule based on the unfold/fold proof method. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:203-217 [Conf]
  4. Alberto Pettorossi, Maurizio Proietti
    Program derivation via list introduction. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:296-323 [Conf]
  5. Alberto Pettorossi, Maurizio Proietti
    Program Derivation = Rules + Strategies. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:273-309 [Conf]
  6. Alberto Pettorossi, Maurizio Proietti
    Perfect Model Checking via Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:613-628 [Conf]
  7. Maurizio Proietti
    Connections Between Partial Maps Categories and Triops Theory. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:254-269 [Conf]
  8. Alberto Pettorossi, Maurizio Proietti
    A Comparative Revisitation of Some Program Transformation Techniques. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:355-385 [Conf]
  9. Alberto Pettorossi, Maurizio Proietti
    A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:386-408 [Conf]
  10. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Transformation Techniques in Software Engineering, 2005, pp:- [Conf]
  11. Maurizio Proietti, Alberto Pettorossi
    Synthesis of Eureka Predicates for Developing Logic Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1990, pp:306-325 [Conf]
  12. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:539- [Conf]
  13. Alberto Pettorossi, Maurizio Proietti
    Decidability Results and Characterization of Strategies for the Development of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:539-553 [Conf]
  14. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Proving Properties of Constraint Logic Programs by Eliminating Existential Variables. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:179-195 [Conf]
  15. Maurizio Proietti, Alberto Pettorossi
    Completeness of Some Transformation Strategies for Avoiding Unnecessary Logical Variables. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:714-729 [Conf]
  16. Maurizio Proietti, Alberto Pettorossi
    Transforming Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:486-499 [Conf]
  17. Alberto Pettorossi, Maurizio Proietti
    Rules and Strategies for Program Transformation. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:263-304 [Conf]
  18. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Automated strategies for specializing constraint logic programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  19. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Automated Strategies for Specializing Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:125-146 [Conf]
  20. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Verification of Sets of Infinite State Processes Using Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:111-128 [Conf]
  21. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Combining Logic Programs and Monadic Second Order Logics by Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:160-181 [Conf]
  22. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Transformation Rules for Locally Stratified Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:291-339 [Conf]
  23. Alberto Pettorossi, Maurizio Proietti
    Transformation Rules for Logic Programs with Goals as Arguments. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:176-195 [Conf]
  24. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Enhancing Partial Deduction via Unfold/Fold Rules. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:146-168 [Conf]
  25. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Transformational Verification of Parameterized Protocols Using Array Formulas. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:23-43 [Conf]
  26. Maurizio Proietti, Alberto Pettorossi
    An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1991, pp:126-128 [Conf]
  27. Maurizio Proietti, Alberto Pettorossi
    Best-first Strategies for Incremental Transformations of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:82-98 [Conf]
  28. Maurizio Proietti, Alberto Pettorossi
    Synthesis of Programs from Unfold/Fold Proofs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:141-158 [Conf]
  29. Alberto Pettorossi, Maurizio Proietti
    A theory of totally correct logic program transformations. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:159-168 [Conf]
  30. Maurizio Proietti, Alberto Pettorossi
    Semantics Preserving Transformation Rules for Prolog. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:274-284 [Conf]
  31. Maurizio Proietti, Alberto Pettorossi
    Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:347-358 [Conf]
  32. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Reducing Nondeterminism while Specializing Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:414-427 [Conf]
  33. Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti
    Correctness of Logic Program Transformations Based on Existential Termination. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:480-494 [Conf]
  34. Alberto Pettorossi, Maurizio Proietti
    Transformations of Logic Programs with Goals as Arguments [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  35. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Combining Logic Programs and Monadic Second Order Logics by Program Transformation [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  36. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  37. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Transformation Rules for Locally Stratified Constraint Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  38. Alberto Pettorossi, Maurizio Proietti
    Rules and Strategies for Transforming Functional and Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:360-414 [Journal]
  39. Alberto Pettorossi, Maurizio Proietti
    Future Directions in Program Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:171- [Journal]
  40. Alberto Pettorossi, Maurizio Proietti
    Program Specialization via Algorithmic Unfold/Fold Transformations. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1998, v:30, n:3es, pp:6- [Journal]
  41. Alberto Pettorossi, Maurizio Proietti
    The List Introduction Strategy for the Derivation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:233-251 [Journal]
  42. Alberto Pettorossi, Maurizio Proietti
    Program Transformation: Theoretical Foundations and Basic Techniques. Part 1. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:66, n:4, pp:- [Journal]
  43. Alberto Pettorossi, Maurizio Proietti
    Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:69, n:1-2, pp:- [Journal]
  44. Maurizio Proietti, Alberto Pettorossi
    An Abstract Strategy for Transforming Logic Programs. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1993, v:18, n:, pp:267-286 [Journal]
  45. Alberto Pettorossi, Maurizio Proietti
    Transformation of Logic Programs: Foundations and Techniques. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:261-320 [Journal]
  46. Alberto Pettorossi, Maurizio Proietti
    Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:197-230 [Journal]
  47. Maurizio Proietti, Alberto Pettorossi
    The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:123-161 [Journal]
  48. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
    Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:121-210 [Journal]
  49. Alberto Pettorossi, Maurizio Proietti
    Future Directions in Program Transformation. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1997, v:32, n:1, pp:99-102 [Journal]
  50. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Rules and Strategies for Contextual Specialization of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  51. Maurizio Proietti, Alberto Pettorossi
    Unfolding - Definition - Folding, in this Order, for Avaoiding Unnecessary Variables in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:142, n:1, pp:89-124 [Journal]
  52. Alberto Pettorossi, Maurizio Proietti
    Transformations of logic programs with goals as arguments. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:4, pp:495-537 [Journal]
  53. Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Automatic Correctness Proofs for Logic Program Transformations. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:364-379 [Conf]

  54. The Transformational Approach to Program Development. [Citation Graph (, )][DBLP]


  55. An Open Platform for Business Process Modeling and Verification. [Citation Graph (, )][DBLP]


  56. A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs. [Citation Graph (, )][DBLP]


  57. Deciding Full Branching Time Logic by Program Transformation. [Citation Graph (, )][DBLP]


  58. Transformations of Logic Programs on Infinite Lists [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002