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