Mario Ornaghi

72 papers A* 1B 8C 19Journal 14Unranked 27
YearRankTypeTitle / Venue / Authors
2019 — conf
The Blame Game for Property-based Testing.
CILC
Alberto Momigliano, Mario Ornaghi
2017 — conf
LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description).
ICTCS/CILC
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano
2017 — conf
Monsters of Darwin: A Strategic Game Based on Artificial Intelligence and Genetic Algorithms.
GHITALY@CHItaly
Daniele Norton, Laura Anna Ripamonti, Mario Ornaghi, Davide Gadia, Dario Maggiorini
2015 — conf
FUN PLEdGE: a FUNny Platformers LEvels GEnerator.
CHItaly
Dario Maggiorini, Mattia Mannalà, Mario Ornaghi, Laura Anna Ripamonti
2010 — conf
A Constructive Approach to Testing Model Transformations.
ICMT@TOOLS
Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo
2010 — ch.
Proof-Theoretic and Higher-Order Extensions of Logic Programming.
25 Years GULP
Alberto Momigliano, Mario Ornaghi
2009 B conf
Applying ASP to UML Model Validation.
LPNMR
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano
2009 — conf
Control Encapsulation: A Calculus for Exogenous Composition of Software Components.
CBSE
Kung-Kiu Lau, Mario Ornaghi
2008 — conf
Towards a Type Discipline for Answer Set Programming.
TYPES
Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
2007 C conf
Snapshot Generation in a Constructive Object-Oriented Modeling Language.
LOPSTR
Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi
2005 — conf
A Constructive Object Oriented Modeling Language for Information Systems.
CLASE
Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano
2005 — conf
A Software Component Model and Its Preliminary Formalisation.
FMCO
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang
2004 C conf
Constructive Specifications for Compositional Units.
LOPSTR
Kung-Kiu Lau, Alberto Momigliano, Mario Ornaghi
2004 — ch.
Specifying Compositional Units for Correct Program Development in Computational Logic.
Program Development in Computational Logic
Kung-Kiu Lau, Mario Ornaghi
2003 C conf
Correct OO Systems in Computational Logic.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
2003 J jnl
On Uniformly Constructive and Semiconstructive Formal Systems.
Log. J. IGPL
Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi
2003 J jnl
Preface. In Memoriam Pierangelo Miglioli (1946-1999).
Stud Logica
Mario Ornaghi
2002 — conf
Logic for Component-Based Software Development.
Computational Logic: Logic Programming and Beyond
Kung-Kiu Lau, Mario Ornaghi
2002 C conf
Towards Correct Object-Oriented Design Frameworks in Computational Logic.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
2001 C conf
Correct Object-Oriented Systems in Computational Logic.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
2001 C conf
Extracting Exact Time Bounds from Logical Proofs.
LOPSTR
Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi
2000 J jnl
An Abstract Formalization of Correct Schemas for Program Synthesis.
J. Symb. Comput.
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson
2000 C conf
Formal specification of Catalysis frameworks.
APSEC
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
2000 — conf
Isoinitial Semantics for Logic Programs.
Computational Logic
Kung-Kiu Lau, Mario Ornaghi
1999 B conf
Isoinitial Models for Logic Programs: Some Preliminary Results.
ICLP
Kung-Kiu Lau, Mario Ornaghi
1999 C conf
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
LOPSTR
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
1999 J jnl
Steadfast Logic Programs.
J. Log. Program.
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
1998 C conf
Interacting Frameworks in Catalysis.
ICFEM
Kung-Kiu Lau, Shaoying Liu, Mario Ornaghi, Alan Wills
1998 — conf
Isoinitial Models for Logic Programs: A Preliminary Study.
APPIA-GULP-PRODE
Kung-Kiu Lau, Mario Ornaghi
1998 C conf
OOD Frameworks in Component-Based Software - Development in Computational Logic.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
1997 J jnl
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.
Log. J. IGPL
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1997 A* conf
Correct-Schema-Guided Synthesis of Steadfast Programs.
ASE
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
1997 C conf
Frameworks in Catalysis: Pictorial Notation and Formal Semantics.
ICFEM
Kung-Kiu Lau, Mario Ornaghi, Alan Wills
1997 B conf
Generalized Tableau Systems for Intemediate Propositional Logics.
TABLEAUX
Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1997 C conf
On Correct Program Schemas.
LOPSTR
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
1997 — conf
On the Relationship between Logic Programs and Specifications.
APPIA-GULP-PRODE
Kung-Kiu Lau, Mario Ornaghi
1997 J jnl
Regular Search Spaces and Constructive Negation.
J. Log. Comput.
Alberto Momigliano, Mario Ornaghi
1997 J jnl
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited.
J. Log. Program.
Kung-Kiu Lau, Mario Ornaghi
1997 C conf
Towards a Logic for Reasoning About Logic Programs Transformation.
LOPSTR
Alberto Momigliano, Mario Ornaghi
1996 — conf
Formal Reasoning about Modules, Reuse and their Correctness.
FAPR
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi
1996 C conf
Forms of Logic Specifications: A Preliminary Study.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
1996 B ed.
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings
TABLEAUX
Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
1995 — conf
A Formal Approach to Deductive Synthesis of Constraint Logic Programs.
ILPS
Kung-Kiu Lau, Mario Ornaghi
1995 — conf
An Introduction to Regular Search Spaces.
GULP-PRODE
Alberto Momigliano, Mario Ornaghi
1995 — conf
Correctness of Logic Program Transformations Based on Existential Termination.
ILPS
Kung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti
1995 B conf
Refutation Systems for Propositional Modal Logics.
TABLEAUX
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1995 C conf
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
1994 J jnl
Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods.
J. Symb. Comput.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1994 J jnl
An Improved Refutation System for Intuitionistic Predicate Logic.
J. Autom. Reason.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1994 — ed.
ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi
1994 C conf
On Specification Frameworks and Deductive Synthesis of Logic Programs.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
1994 B conf
The Halting Problem for Deductive Synthesis of Logic Programs.
ICLP
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund
1993 C conf
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
LOPSTR
Kung-Kiu Lau, Mario Ornaghi
1993 B conf
An Incompleteness Result for Deductive Synthesis of Logic Programs.
ICLP
Kung-Kiu Lau, Mario Ornaghi
1993 — conf
Regular Search Spaces as a Foundation of Logic Programming.
ELP
Alberto Momigliano, Mario Ornaghi
1992 — conf
A constructive logic approach to database theory.
CNKBS
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1992 C conf
Proof Nets.
LOPSTR
Mario Ornaghi
1991 — conf
A Constructive Logic Approach to Database Theory.
RCLP
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1991 C conf
Program Specification and Synthesis in Constructive Formal Systems.
LOPSTR
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1989 J jnl
A Constructivism Based on Classical Truth.
Notre Dame J. Formal Log.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti
1989 — conf
Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.
TAPSOFT, Vol.1
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1989 J jnl
Some Results on Intermediate Constructive Logics.
Notre Dame J. Formal Log.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti
1986 — conf
PAP: A Logic Programming System Based on a Constructive Logic.
Foundations of Logic and Functional Programming
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1984 — conf
Abstract Data Types and Their Extensions within a Constructive Logic.
Semantics of Data Types
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi
1981 J jnl
A logically justified model of computation I.
Fundam. Informaticae
Pierangelo Miglioli, Mario Ornaghi
1981 J jnl
A logically justified model of computation II.
Fundam. Informaticae
Pierangelo Miglioli, Mario Ornaghi
1981 — conf
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
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1981 — conf
Trees in Kripke Models and in an Intuitionistic Refutation System.
CAAP
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1977 B conf
A Calculus to Build Up Correct Programs.
MFCS
Pierangelo Miglioli, Mario Ornaghi
1975 — conf
First Order Logic as a Tool to Solve and Classify Problems.
GI Jahrestagung
Daniele Marini, Pierangelo Miglioli, Mario Ornaghi
1975 J jnl
Program Construction by Refinements Preserving Correctness.
Comput. J.
Gaetano Aurelio Lanzarone, Mario Ornaghi
1974 — conf
Top-down approach to the synthesis of programs.
Symposium on Programming
G. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi