The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mario Ornaghi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kung-Kiu Lau, Mario Ornaghi
    On the Relationship between Logic Programs and Specifications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:433-444 [Conf]
  2. Kung-Kiu Lau, Mario Ornaghi
    Isoinitial Models for Logic Programs: A Preliminary Study. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:443-456 [Conf]
  3. Alberto Momigliano, Mario Ornaghi
    An Introduction to Regular Search Spaces. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:183-194 [Conf]
  4. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Constructive Proofs as Programs Executable by PrT Nets. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:311-322 [Conf]
  5. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
    Formal specification of Catalysis frameworks. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:180-187 [Conf]
  6. Kung-Kiu Lau, Mario Ornaghi
    Logic for Component-Based Software Development. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:347-373 [Conf]
  7. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Trees in Kripke Models and in an Intuitionistic Refutation System. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:316-331 [Conf]
  8. Kung-Kiu Lau, Mario Ornaghi
    Isoinitial Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:223-238 [Conf]
  9. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    A constructive logic approach to database theory. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:58-60 [Conf]
  10. Alberto Momigliano, Mario Ornaghi
    Regular Search Spaces as a Foundation of Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:222-254 [Conf]
  11. Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi
    Formal Reasoning about Modules, Reuse and their Correctness. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:384-398 [Conf]
  12. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    PAP: A Logic Programming System Based on a Constructive Logic. [Citation Graph (0, 0)][DBLP]
    Foundations of Logic and Functional Programming, 1986, pp:143-156 [Conf]
  13. Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
    A Software Component Model and Its Preliminary Formalisation. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:1-21 [Conf]
  14. Daniele Marini, Pierangelo Miglioli, Mario Ornaghi
    First Order Logic as a Tool to Solve and Classify Problems. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1975, pp:669-679 [Conf]
  15. Kung-Kiu Lau, S. Liu, Mario Ornaghi, Alan Wills
    Interacting Frameworks in Catalysis. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1998, pp:110-0 [Conf]
  16. Kung-Kiu Lau, Mario Ornaghi, Alan Wills
    Frameworks in Catalysis: Pictorial Notation and Formal Semantics. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:213-0 [Conf]
  17. Kung-Kiu Lau, Mario Ornaghi
    An Incompleteness Result for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:456-477 [Conf]
  18. Kung-Kiu Lau, Mario Ornaghi
    Isoinitial Models for Logic Programs: Some Preliminary Results. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:611- [Conf]
  19. Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
    The Halting Problem for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:665-683 [Conf]
  20. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
    Correct-Schema-Guided Synthesis of Steadfast Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:153-0 [Conf]
  21. Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi
    Extracting Exact Time Bounds from Logical Proofs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:245-266 [Conf]
  22. Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
    On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:42-61 [Conf]
  23. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
    On Correct Program Schemas. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:128-147 [Conf]
  24. Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
    Constructive Specifications for Compositional Units. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:198-214 [Conf]
  25. Kung-Kiu Lau, Mario Ornaghi
    Correct Object-Oriented Systems in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:168-190 [Conf]
  26. Kung-Kiu Lau, Mario Ornaghi
    Towards Correct Object-Oriented Design Frameworks in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:260-261 [Conf]
  27. Kung-Kiu Lau, Mario Ornaghi
    Correct OO Systems in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:34-53 [Conf]
  28. Kung-Kiu Lau, Mario Ornaghi
    Specifying Compositional Units for Correct Program Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:1-29 [Conf]
  29. Kung-Kiu Lau, Mario Ornaghi
    A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:10-31 [Conf]
  30. Kung-Kiu Lau, Mario Ornaghi
    On Specification Frameworks and Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:104-121 [Conf]
  31. Kung-Kiu Lau, Mario Ornaghi
    Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:152-169 [Conf]
  32. Kung-Kiu Lau, Mario Ornaghi
    Forms of Logic Specifications: A Preliminary Study. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:295-312 [Conf]
  33. Kung-Kiu Lau, Mario Ornaghi
    OOD Frameworks in Component-Based Software - Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:101-123 [Conf]
  34. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Program Specification and Synthesis in Constructive Formal Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1991, pp:13-26 [Conf]
  35. Alberto Momigliano, Mario Ornaghi
    Towards a Logic for Reasoning About Logic Programs Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:226-244 [Conf]
  36. Mario Ornaghi
    Proof Nets. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:61-79 [Conf]
  37. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    A Constructive Logic Approach to Database Theory. [Citation Graph (0, 0)][DBLP]
    RCLP, 1991, pp:302-321 [Conf]
  38. Pierangelo Miglioli, Mario Ornaghi
    A Calculus to Build Up Correct Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:398-409 [Conf]
  39. G. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi
    Top-down approach to the synthesis of programs. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:88-108 [Conf]
  40. Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi
    Abstract Data Types and Their Extensions within a Constructive Logic. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:177-195 [Conf]
  41. Kung-Kiu Lau, Mario Ornaghi
    A Formal Approach to Deductive Synthesis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:543-557 [Conf]
  42. 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]
  43. Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Generalized Tableau Systems for Intemediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:43-61 [Conf]
  44. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Refutation Systems for Propositional Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:95-105 [Conf]
  45. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1989, pp:337-351 [Conf]
  46. Gaetano Aurelio Lanzarone, Mario Ornaghi
    Program Construction by Refinements Preserving Correctness. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1975, v:18, n:1, pp:55-62 [Journal]
  47. Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
    A Constructive Object Oriented Modeling Language for Information Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:55-75 [Journal]
  48. Pierangelo Miglioli, Mario Ornaghi
    A logically justified model of computation I. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1981, v:4, n:1, pp:151-172 [Journal]
  49. Pierangelo Miglioli, Mario Ornaghi
    A logically justified model of computation II. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1981, v:4, n:2, pp:277-342 [Journal]
  50. Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi
    On Uniformly Constructive and Semiconstructive Formal Systems. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:1, pp:1-49 [Journal]
  51. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:1, pp:- [Journal]
  52. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    An Improved Refutation System for Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:3, pp:361-373 [Journal]
  53. Kung-Kiu Lau, Mario Ornaghi
    The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:30, n:3, pp:239-257 [Journal]
  54. Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
    Steadfast Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:3, pp:259-294 [Journal]
  55. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
    An Abstract Formalization of Correct Schemas for Program Synthesis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2000, v:30, n:1, pp:93-127 [Journal]
  56. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:1, pp:41-81 [Journal]
  57. Alberto Momigliano, Mario Ornaghi
    Regular Search Spaces and Constructive Negation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:3, pp:367-403 [Journal]
  58. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
    Some Results on Intermediate Constructive Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:4, pp:543-562 [Journal]
  59. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
    A Constructivism Based on Classical Truth. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:67-90 [Journal]
  60. Mario Ornaghi
    Preface. In Memoriam Pierangelo Miglioli (1946-1999). [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:73, n:1, pp:5-19 [Journal]

  61. Proof-Theoretic and Higher-Order Extensions of Logic Programming. [Citation Graph (, )][DBLP]


  62. Control Encapsulation: A Calculus for Exogenous Composition of Software Components. [Citation Graph (, )][DBLP]


  63. Snapshot Generation in a Constructive Object-Oriented Modeling Language. [Citation Graph (, )][DBLP]


  64. Applying ASP to UML Model Validation. [Citation Graph (, )][DBLP]


  65. Towards a Type Discipline for Answer Set Programming. [Citation Graph (, )][DBLP]


  66. A Constructive Approach to Testing Model Transformations. [Citation Graph (, )][DBLP]


Search in 0.037secs, Finished in 0.040secs
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