Mario Ornaghi
According to our database1,
Mario Ornaghi
authored at least 69 papers
between 1974 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the 34th Italian Conference on Computational Logic, 2019
2017
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
Proceedings of the 11th Biannual Conference on Italian SIGCHI Chapter, 2015
2010
Proceedings of the Theory and Practice of Model Transformations, 2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009
2008
Proceedings of the Types for Proofs and Programs, International Conference, 2008
2007
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007
2005
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005
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
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
2003
Proceedings of the Logic Based Program Synthesis and Transformation, 2003
2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
2000
J. Symb. Comput., 2000
Proceedings of the Computational Logic, 2000
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
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
Proceedings of the Logic Programming Synthesis and Transformation, 1998
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
The Relationship Between Logic Programs and Specifications - The Subset Example Revisited.
J. Log. Program., 1997
Log. J. IGPL, 1997
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997
Proceedings of the Logic Programming Synthesis and Transformation, 1997
Proceedings of the Logic Programming Synthesis and Transformation, 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
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
Proceedings of the Logic Programming Synthesis and Transformation, 1996
Proceedings of the Practical Reasoning, 1996
1995
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995
Proceedings of the Logic Programming, 1995
Proceedings of the Logic Programming, 1995
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
J. Autom. Reason., 1994
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
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
1992
1991
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991
Proceedings of the Logic Program Synthesis and Transformation, 1991
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
1986
Proceedings of the Foundations of Logic and Functional Programming, 1986
1984
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
Proceedings of the CAAP '81, 1981
Proceedings of the Application and Theory of Petri Nets, 1981
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977
1975
Proceedings of the GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975, 1975
1974
Proceedings of the Programming Symposium, 1974