Mario Ornaghi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 70 from 70

2019

The Blame Game for Property-based TestingAlberto Momigliano, Mario Ornaghi. cilc 2019: 4-13 [doi]

2017

Monsters of Darwin: A Strategic Game Based on Artificial Intelligence and Genetic AlgorithmsDaniele Norton, Laura Anna Ripamonti, Mario Ornaghi, Davide Gadia, Dario Maggiorini. chitaly 2017: [doi]

LOGI: A Didactic Tool for a Beginners' Course in Logic (System Description)Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano. ictcs 2017: 341-345 [doi]

2015

FUN PLEdGE: a FUNny Platformers LEvels GEneratorDario Maggiorini, Mattia Mannalà, Mario Ornaghi, Laura Anna Ripamonti. chitaly 2015: 138-145 [doi]

2010

A Constructive Approach to Testing Model TransformationsCamillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo. ICMT 2010: 77-92 [doi]

Proof-Theoretic and Higher-Order Extensions of Logic ProgrammingAlberto Momigliano, Mario Ornaghi. agp 2010: 254-270 [doi]

2009

Control Encapsulation: A Calculus for Exogenous Composition of Software ComponentsKung-Kiu Lau, Mario Ornaghi. cbse 2009: 121-139 [doi]

Applying ASP to UML Model ValidationMario Ornaghi, Camillo Fiorentini, Alberto Momigliano, Francesco Pagano. lpnmr 2009: 457-463 [doi]

2008

Towards a Type Discipline for Answer Set ProgrammingCamillo Fiorentini, Alberto Momigliano, Mario Ornaghi. TYPES 2009: 117-135 [doi]

2007

Snapshot Generation in a Constructive Object-Oriented Modeling LanguageMauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi. LOPSTR 2008: 169-184 [doi]

2006

A Constructive Object Oriented Modeling Language for Information SystemsMario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano. ENTCS, 153(1):55-75, 2006. [doi]

2005

A Software Component Model and Its Preliminary FormalisationKung-Kiu Lau, Mario Ornaghi, Zheng Wang. FMCO 2006: 1-21 [doi]

2004

Constructive Specifications for Compositional UnitsKung-Kiu Lau, Alberto Momigliano, Mario Ornaghi. LOPSTR 2005: 198-214 [doi]

Specifying Compositional Units for Correct Program Development in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2004: 1-29 [doi]

2003

On Uniformly Constructive and Semiconstructive Formal SystemsMauro Ferrari, Pierangelo Miglioli, Mario Ornaghi. igpl, 11(1):1-49, 2003. [doi]

Correct OO Systems in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2004: 34-53 [doi]

Preface. In Memoriam Pierangelo Miglioli (1946-1999)Mario Ornaghi. sLogica, 73(1):5-19, 2003.

2002

Towards Correct Object-Oriented Design Frameworks in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2003: 260-261 [doi]

Logic for Component-Based Software DevelopmentKung-Kiu Lau, Mario Ornaghi. BIRTHDAY 2002: 347-373 [doi]

2001

Extracting Exact Time Bounds from Logical ProofsMauro Ferrari, Camillo Fiorentini, Mario Ornaghi. LOPSTR 2001: 245-266 [doi]

Correct Object-Oriented Systems in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 2001: 168-190 [doi]

2000

1999

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational LogicJuliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu. LOPSTR 2000: 42-61

Isoinitial Models for Logic Programs: Some Preliminary ResultsKung-Kiu Lau, Mario Ornaghi. ICLP 1999: 611

Steadfast Logic ProgramsKung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund. jlp, 38(3):259-294, 1999.

1998

Isoinitial Models for Logic Programs: A Preliminary StudyKung-Kiu Lau, Mario Ornaghi. agp 1998: 443-456

Interacting Frameworks in CatalysisKung-Kiu Lau, S. Liu, Mario Ornaghi, Alan Wills. icfem 1998: 110 [doi]

OOD Frameworks in Component-Based Software - Development in Computational LogicKung-Kiu Lau, Mario Ornaghi. LOPSTR 1990: 101-123 [doi]

1997

Generalized Tableau Systems for Intemediate Propositional LogicsAlessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi. tableaux 1997: 43-61

On Correct Program SchemasPierre Flener, Kung-Kiu Lau, Mario Ornaghi. LOPSTR 1998: 128-147 [doi]

Correct-Schema-Guided Synthesis of Steadfast ProgramsPierre Flener, Kung-Kiu Lau, Mario Ornaghi. jckbse 1997: 153 [doi]

Frameworks in Catalysis: Pictorial Notation and Formal SemanticsKung-Kiu Lau, Mario Ornaghi, Alan Wills. icfem 1997: 213

On the Relationship between Logic Programs and SpecificationsKung-Kiu Lau, Mario Ornaghi. agp 1997: 433-444

The Relationship Between Logic Programs and Specifications - The Subset Example RevisitedKung-Kiu Lau, Mario Ornaghi. jlp, 30(3):239-257, 1997.

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logicPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. igpl, 5(1):145-167, 1997. [doi]

Regular Search Spaces and Constructive NegationAlberto Momigliano, Mario Ornaghi. logcom, 7(3):367-403, 1997.

Towards a Logic for Reasoning About Logic Programs TransformationAlberto Momigliano, Mario Ornaghi. LOPSTR 1998: 226-244 [doi]

1996

Formal Reasoning about Modules, Reuse and their CorrectnessChristoph Kreitz, Kung-Kiu Lau, Mario Ornaghi. fapr 1996: 384-398

Forms of Logic Specifications: A Preliminary StudyKung-Kiu Lau, Mario Ornaghi. LOPSTR 1997: 295-312

1995

1994

On Specification Frameworks and Deductive Synthesis of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. LOPSTR 1994: 104-121

The Halting Problem for Deductive Synthesis of Logic ProgramsKung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund. ICLP 1994: 665-683

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical MethodsPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. JSC, 18(1):41-81, 1994.

An Improved Refutation System for Intuitionistic Predicate LogicPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. JAR, 13(3):361-373, 1994.

1993

An Incompleteness Result for Deductive Synthesis of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. ICLP 1993: 456-477

A Formal View of Specification, Deductive Synthesis and Transformation of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. LOPSTR 1993: 10-31

Regular Search Spaces as a Foundation of Logic ProgrammingAlberto Momigliano, Mario Ornaghi. elp 1994: 222-254

1992

A constructive logic approach to database theoryPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. cnkbs 1992: 58-60

Proof NetsMario Ornaghi. LOPSTR 1992: 61-79

1991

Program Specification and Synthesis in Constructive Formal SystemsPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. LOPSTR 1991: 13-26

A Constructive Logic Approach to Database TheoryPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. lpar 1992: 302-321

1989

Semi-Constructive Formal Systems and Axiomatization of Abstract Data TypesPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. tapsoft 1989: 337-351

Some Results on Intermediate Constructive LogicsPierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Silvia Quazza, Gabriele Usberti. ndjfl, 30(4):543-562, 1989.

A Constructivism Based on Classical TruthPierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti. ndjfl, 30(1):67-90, 1989.

1986

PAP: A Logic Programming System Based on a Constructive LogicPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. flfp 1988: 143-156

1984

Abstract Data Types and Their Extensions within a Constructive LogicAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi. sdt 1984: 177-195

1981

Constructive Proofs as Programs Executable by PrT NetsPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. apn 1982: 311-322

Trees in Kripke Models and in an Intuitionistic Refutation SystemPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. caap 1981: 316-331

A logically justified model of computation IIPierangelo Miglioli, Mario Ornaghi. FUIN, 4(2):277-342, 1981.

A logically justified model of computation IPierangelo Miglioli, Mario Ornaghi. FUIN, 4(1):151-172, 1981.

1977

A Calculus to Build Up Correct ProgramsPierangelo Miglioli, Mario Ornaghi. mfcs 1977: 398-409

1975

Program Construction by Refinements Preserving CorrectnessGaetano Aurelio Lanzarone, Mario Ornaghi. cj, 18(1):55-62, 1975.

First Order Logic as a Tool to Solve and Classify ProblemsDaniele Marini, Pierangelo Miglioli, Mario Ornaghi. gi 1975: 669-679

1974

Top-down approach to the synthesis of programsG. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi. programm 1974: 88-108

Sign in or sign up to see more results.

runs on WebDSL