Mario Ornaghi

发表

Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, 1997, LOPSTR.
Giancarlo Mauri, Alberto Bertoni, Pierangelo Miglioli, 1984, Semantics of Data Types.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1997, APPIA-GULP-PRODE.
Kung-Kiu Lau, Mario Ornaghi, 2001, LOPSTR.
Shaoying Liu, Kung-Kiu Lau, Mario Ornaghi, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi, 1996, FAPR.
Alberto Pettorossi, Maurizio Proietti, Kung-Kiu Lau, 1995, ILPS.
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, 2009, LPNMR.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1998, LOPSTR.
Mauro Ferrari, Mario Ornaghi, Camillo Fiorentini, 2005 .
Pierangelo Miglioli, Mario Ornaghi, Daniele Marini, 1975, GI Jahrestagung.
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, 2000, J. Symb. Comput..
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1994, International Workshop/Symposium on Logic-based Program Synthesis and Transformation.
Chris Moss, Kung-Kiu Lau, Mario Ornaghi, 1996, FME 1996.
Mauro Ferrari, Mario Ornaghi, Camillo Fiorentini, 2007, LOPSTR.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 2004, Journal of Automated Reasoning.
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund, 1999, J. Log. Program..
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1991, RCLP.
Mario Ornaghi, Alberto Momigliano, A. Momigliano, 2010, 25 Years GULP.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1987 .
Pierangelo Miglioli, Mario Ornaghi, G. Degli Antoni, 1974, Symposium on Programming.
Davide Gadia, Mario Ornaghi, Dario Maggiorini, 2017, GHITALY@CHItaly.
Pierangelo Miglioli, Mario Ornaghi, Alessandro Avellone, 1997, TABLEAUX.
Kung-Kiu Lau, Mario Ornaghi, Alberto Momigliano, 2004, LOPSTR.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1981, CAAP.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1994, J. Symb. Comput..
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi, 1997 .
Gaetano Aurelio Lanzarone, Mario Ornaghi, 1975, Comput. J..
Juliana Küster Filipe Bowles, Kung-Kiu Lau, Mario Ornaghi, 1999, LOPSTR.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1999, International Conference on Logic Programming.
Kung-Kiu Lau, Mario Ornaghi, 2002, Computational Logic: Logic Programming and Beyond.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1993, ICLP.
Mario Ornaghi, Alberto Momigliano, A. Momigliano, 1997, LOPSTR.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1991, LOPSTR.
Mario Ornaghi, Alberto Momigliano, 1995, GULP-PRODE.
Mario Ornaghi, Dario Maggiorini, Laura Anna Ripamonti, 2015, CHItaly.
Pierangelo Miglioli, Mario Ornaghi, Silvia Quazza, 1989, Notre Dame J. Formal Log..
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1995, ILPS.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 2004, Program Development in Computational Logic.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 2000, Computational Logic.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1997, Log. J. IGPL.
Pierangelo Miglioli, Mario Ornaghi, 1981, Fundam. Informaticae.
Juliana Küster Filipe Bowles, Kung-Kiu Lau, Mario Ornaghi, 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1997, J. Log. Program..
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1986, Foundations of Logic and Functional Programming.
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, 2017, ICTCS/CILC.
Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi, 1999 .
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1995, TABLEAUX.
Mauro Ferrari, Mario Ornaghi, Camillo Fiorentini, 2001, LOPSTR.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1996, LOPSTR.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1981, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.
Kung-Kiu Lau, Mario Ornaghi, Sten-Åke Tärnlund, 1994, ICLP.
Pierangelo Miglioli, Mario Ornaghi, Gabriele Usberti, 1988, Notre Dame J. Formal Log..
Mauro Ferrari, Mario Ornaghi, Camillo Fiorentini, 2006, Electron. Notes Theor. Comput. Sci..
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, 1999 .
Kung-Kiu Lau, Mario Ornaghi, 1998, APPIA-GULP-PRODE.
Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.
Pierangelo Miglioli, Mario Ornaghi, Ugo Moscato, 1989, TAPSOFT, Vol.1.
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, 2010, ICMT@TOOLS.
Mario Ornaghi, 1992, LOPSTR.
Mauro Ferrari, Pierangelo Miglioli, Mario Ornaghi, 2003, Log. J. IGPL.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 2003, LOPSTR.
Mario Ornaghi, Alberto Momigliano, 2019, CILC.
Mario Ornaghi, Alberto Momigliano, 1993, ELP.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1995, LOPSTR.
Pierangelo Miglioli, Mario Ornaghi, 1977, MFCS.
Mario Ornaghi, Camillo Fiorentini, Alberto Momigliano, 2009, TYPES.
Mario Ornaghi, Alberto Momigliano, A. Momigliano, 1997, J. Log. Comput..
Kung-Kiu Lau, Mario Ornaghi, Zheng Wang, 2005, FMCO.
Kung-Kiu Lau, Mario Ornaghi, Alan Wills, 1997, First IEEE International Conference on Formal Engineering Methods.
Mario Ornaghi, Alberto Momigliano, 1993 .
Pierangelo Miglioli, Mario Ornaghi, P. Miglioli, 1981, Fundam. Informaticae.
Kung-Kiu Lau, Mario Ornaghi, Mario Ornaghi, 1996 .
Mario Ornaghi, Camillo Fiorentini, 2007 .