Mario Ornaghi

According to our database1, Mario Ornaghi authored at least 69 papers between 1974 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
The Blame Game for Property-based Testing.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

2017
LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description).
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

Monsters of Darwin: A Strategic Game Based on Artificial Intelligence and Genetic Algorithms.
Proceedings of the 1st Workshop on Games-Human Interaction (GHITALY 2017) co-located with CHItaly 2017, 2017

2015
FUN PLEdGE: a FUNny Platformers LEvels GEnerator.
Proceedings of the 11th Biannual Conference on Italian SIGCHI Chapter, 2015

2010
A Constructive Approach to Testing Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2010

Proof-Theoretic and Higher-Order Extensions of Logic Programming.
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009
Applying ASP to UML Model Validation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Control Encapsulation: A Calculus for Exogenous Composition of Software Components.
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009

2008
Towards a Type Discipline for Answer Set Programming.
Proceedings of the Types for Proofs and Programs, International Conference, 2008

2007
Snapshot Generation in a Constructive Object-Oriented Modeling Language.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

2006
A Constructive Object Oriented Modeling Language for Information Systems.
Electron. Notes Theor. Comput. Sci., 2006

2005
A Software Component Model and Its Preliminary Formalisation.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
Specifying Compositional Units for Correct Program Development in Computational Logic.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Constructive Specifications for Compositional Units.
Proceedings of the Logic Based Program Synthesis and Transformation, 2004

2003
Preface. In Memoriam Pierangelo Miglioli (1946-1999).
Stud Logica, 2003

On Uniformly Constructive and Semiconstructive Formal Systems.
Log. J. IGPL, 2003

Correct OO Systems in Computational Logic.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002
Towards Correct Object-Oriented Design Frameworks in Computational Logic.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Logic for Component-Based Software Development.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Correct Object-Oriented Systems in Computational Logic.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Extracting Exact Time Bounds from Logical Proofs.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001

2000
An Abstract Formalization of Correct Schemas for Program Synthesis.
J. Symb. Comput., 2000

Isoinitial Semantics for Logic Programs.
Proceedings of the Computational Logic, 2000

Formal specification of Catalysis frameworks.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
Steadfast Logic Programs.
J. Log. Program., 1999

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1999

Isoinitial Models for Logic Programs: Some Preliminary Results.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998
OOD Frameworks in Component-Based Software - Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1998

Interacting Frameworks in Catalysis.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

Isoinitial Models for Logic Programs: A Preliminary Study.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Regular Search Spaces and Constructive Negation.
J. Log. Comput., 1997

The Relationship Between Logic Programs and Specifications - The Subset Example Revisited.
J. Log. Program., 1997

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.
Log. J. IGPL, 1997

Generalized Tableau Systems for Intemediate Propositional Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Towards a Logic for Reasoning About Logic Programs Transformation.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

On Correct Program Schemas.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

Correct-Schema-Guided Synthesis of Steadfast Programs.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

Frameworks in Catalysis: Pictorial Notation and Formal Semantics.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

On the Relationship between Logic Programs and Specifications.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Forms of Logic Specifications: A Preliminary Study.
Proceedings of the Logic Programming Synthesis and Transformation, 1996

Formal Reasoning about Modules, Reuse and their Correctness.
Proceedings of the Practical Reasoning, 1996

1995
Refutation Systems for Propositional Modal Logics.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Correctness of Logic Program Transformations Based on Existential Termination.
Proceedings of the Logic Programming, 1995

A Formal Approach to Deductive Synthesis of Constraint Logic Programs.
Proceedings of the Logic Programming, 1995

Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1995

An Introduction to Regular Search Spaces.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods.
J. Symb. Comput., 1994

An Improved Refutation System for Intuitionistic Predicate Logic.
J. Autom. Reason., 1994

On Specification Frameworks and Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

The Halting Problem for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming, 1994

1993
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
Proceedings of the Logic Program Synthesis and Transformation, 1993

An Incompleteness Result for Deductive Synthesis of Logic Programs.
Proceedings of the Logic Programming, 1993

Regular Search Spaces as a Foundation of Logic Programming.
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993

1992
Proof Nets.
Proceedings of the Logic Program Synthesis and Transformation, 1992

1991
A Constructive Logic Approach to Database Theory.
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Program Specification and Synthesis in Constructive Formal Systems.
Proceedings of the Logic Program Synthesis and Transformation, 1991

1989
A Constructivism Based on Classical Truth.
Notre Dame J. Formal Log., 1989

Some Results on Intermediate Constructive Logics.
Notre Dame J. Formal Log., 1989

Semi-Constructive Formal Systems and Axiomatization of Abstract Data Types.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1986
PAP: A Logic Programming System Based on a Constructive Logic.
Proceedings of the Foundations of Logic and Functional Programming, 1986

1984
Abstract Data Types and Their Extensions within a Constructive Logic.
Proceedings of the Semantics of Data Types, International Symposium, 1984

1981
A logically justified model of computation II.
Fundam. Informaticae, 1981

A logically justified model of computation I.
Fundam. Informaticae, 1981

Trees in Kripke Models and in an Intuitionistic Refutation System.
Proceedings of the CAAP '81, 1981

Constructive Proofs as Programs Executable by PrT Nets.
Proceedings of the Application and Theory of Petri Nets, 1981

1977
A Calculus to Build Up Correct Programs.
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1975
Program Construction by Refinements Preserving Correctness.
Comput. J., 1975

First Order Logic as a Tool to Solve and Classify Problems.
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975

1974
Top-down approach to the synthesis of programs.
Proceedings of the Programming Symposium, 1974


  Loading...