Mario Ornaghi Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Control Encapsulation: A Calculus for Exogenous Composition of Software Components. CBSE 2009: 121-139
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano: Applying ASP to UML Model Validation. LPNMR 2009: 457-463
2008
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCamillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Towards a Type Discipline for Answer Set Programming. TYPES 2008: 117-135
2007
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi: Snapshot Generation in a Constructive Object-Oriented Modeling Language. LOPSTR 2007: 169-184
2006
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi, Zheng Wang: A Software Component Model and Its Preliminary Formalisation. FMCO 2005: 1-21
2004
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Alberto Momigliano, Mario Ornaghi: Constructive Specifications for Compositional Units. LOPSTR 2004: 198-214
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Specifying Compositional Units for Correct Program Development in Computational Logic. Program Development in Computational Logic 2004: 1-29
2003
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Correct OO Systems in Computational Logic. LOPSTR 2003: 34-53
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Pierangelo Miglioli, Mario Ornaghi: On Uniformly Constructive and Semiconstructive Formal Systems. Logic Journal of the IGPL 11(1): 1-49 (2003)
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Ornaghi: Preface. In Memoriam Pierangelo Miglioli (1946-1999). Studia Logica 73(1): 5-19 (2003)
2002
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Logic for Component-Based Software Development. Computational Logic: Logic Programming and Beyond 2002: 347-373
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Towards Correct Object-Oriented Design Frameworks in Computational Logic. LOPSTR 2002: 260-261
2001
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Correct Object-Oriented Systems in Computational Logic. LOPSTR 2001: 168-190
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Ferrari, Camillo Fiorentini, Mario Ornaghi: Extracting Exact Time Bounds from Logical Proofs. LOPSTR 2001: 245-266
2000
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills: Formal specification of Catalysis frameworks. APSEC 2000: 180-187
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Isoinitial Semantics for Logic Programs. Computational Logic 2000: 223-238
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Isoinitial Models for Logic Programs: Some Preliminary Results. ICLP 1999: 611
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuliana 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
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: Steadfast Logic Programs. J. Log. Program. 38(3): 259-294 (1999)
1998
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Isoinitial Models for Logic Programs: A Preliminary Study. APPIA-GULP-PRODE 1998: 443-456
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, S. Liu, Mario Ornaghi, Alan Wills: Interacting Frameworks in Catalysis. ICFEM 1998: 110-
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: OOD Frameworks in Component-Based Software - Development in Computational Logic. LOPSTR 1998: 101-123
1997
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: On the Relationship between Logic Programs and Specifications. APPIA-GULP-PRODE 1997: 433-444
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Flener, Kung-Kiu Lau, Mario Ornaghi: Correct-Schema-Guided Synthesis of Steadfast Programs. ASE 1997: 153-
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi, Alan Wills: Frameworks in Catalysis: Pictorial Notation and Formal Semantics. ICFEM 1997: 213-
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Flener, Kung-Kiu Lau, Mario Ornaghi: On Correct Program Schemas. LOPSTR 1997: 128-147
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Momigliano, Mario Ornaghi: Towards a Logic for Reasoning About Logic Programs Transformation. LOPSTR 1997: 226-244
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Generalized Tableau Systems for Intemediate Propositional Logics. TABLEAUX 1997: 43-61
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Momigliano, Mario Ornaghi: Regular Search Spaces and Constructive Negation. J. Log. Comput. 7(3): 367-403 (1997)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. J. Log. Program. 30(3): 239-257 (1997)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Kreitz, Kung-Kiu Lau, Mario Ornaghi: Formal Reasoning about Modules, Reuse and their Correctness. FAPR 1996: 384-398
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Forms of Logic Specifications: A Preliminary Study. LOPSTR 1996: 295-312
1995
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Momigliano, Mario Ornaghi: An Introduction to Regular Search Spaces. GULP-PRODE 1995: 183-194
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti: Correctness of Logic Program Transformations Based on Existential Termination. ILPS 1995: 480-494
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: A Formal Approach to Deductive Synthesis of Constraint Logic Programs. ILPS 1995: 543-557
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs. LOPSTR 1995: 152-169
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Refutation Systems for Propositional Modal Logics. TABLEAUX 1995: 95-105
1994
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund: The Halting Problem for Deductive Synthesis of Logic Programs. ICLP 1994: 665-683
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: On Specification Frameworks and Deductive Synthesis of Logic Programs. LOPSTR 1994: 104-121
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: An Improved Refutation System for Intuitionistic Predicate Logic. J. Autom. Reasoning 13(3): 361-373 (1994)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Momigliano, Mario Ornaghi: Regular Search Spaces as a Foundation of Logic Programming. ELP 1993: 222-254
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: An Incompleteness Result for Deductive Synthesis of Logic Programs. ICLP 1993: 456-477
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKung-Kiu Lau, Mario Ornaghi: A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs. LOPSTR 1993: 10-31
1992
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: A constructive logic approach to database theory. CNKBS 1992: 58-60
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Ornaghi: Proof Nets. LOPSTR 1992: 61-79
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Program Specification and Synthesis in Constructive Formal Systems. LOPSTR 1991: 13-26
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: A Constructive Logic Approach to Database Theory. RCLP 1991: 302-321
1989
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types. TAPSOFT, Vol.1 1989: 337-351
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti: A Constructivism Based on Classical Truth. Notre Dame Journal of Formal Logic 30(1): 67-90 (1989)
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Ugo Moscato, Mario Ornaghi: Trees in Kripke Models and in an Intuitionistic Refutation System. CAAP 1981: 316-331
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Mario Ornaghi: A logically justified model of computation I. Fundam. Inform. 4(1): 151-172 (1981)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Mario Ornaghi: A logically justified model of computation II. Fundam. Inform. 4(2): 277-342 (1981)
1977
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Miglioli, Mario Ornaghi: A Calculus to Build Up Correct Programs. MFCS 1977: 398-409
1975
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniele Marini, Pierangelo Miglioli, Mario Ornaghi: First Order Logic as a Tool to Solve and Classify Problems. GI Jahrestagung 1975: 669-679
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGaetano Aurelio Lanzarone, Mario Ornaghi: Program Construction by Refinements Preserving Correctness. Comput. J. 18(1): 55-62 (1975)
1974
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi: Top-down approach to the synthesis of programs. Symposium on Programming 1974: 88-108

Coauthor Index

1G. Degli Antoni [1]
2Alessandro Avellone [36]
3Marco Benini [61]
4Alberto Bertoni [9]
5Juliana Küster Filipe Bowles (Juliana Küster Filipe) [46] [50]
6Mauro Ferrari [51] [56] [61] [62]
7Camillo Fiorentini [51] [61] [62] [63] [64]
8Pierre Flener [38] [40] [48]
9Christoph Kreitz [31]
10Gaetano Aurelio Lanzarone [2]
11Kung-Kiu Lau [18] [19] [23] [24] [26] [27] [28] [30] [31] [34] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [52] [53] [54] [57] [58] [59] [60] [65]
12S. Liu [43]
13Daniele Marini [3]
14Giancarlo Mauri [9]
15Pierangelo Miglioli [1] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [21] [22] [25] [32] [33] [36] [56]
16Alberto Momigliano [20] [29] [35] [37] [59] [61] [62] [63] [64]
17Ugo Moscato [7] [8] [10] [11] [12] [13] [14] [15] [17] [21] [22] [25] [32] [33] [36]
18Daniele Mundici [32]
19Francesco Pagano [64]
20Alberto Pettorossi [28]
21Maurizio Proietti [28]
22Silvia Quazza [11]
23Julian Richardson [48]
24Kenji Taguchi [50]
25Sten-Åke Tärnlund (Sten-Åke Tarnlund, Sten-Ake Tärnlund) [24] [45]
26Gabriele Usberti [11] [12]
27Zheng Wang [60]
28Alan Wills [39] [43] [50]
29Hirokazu Yatsu [46] [50]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)