M. Eugenia Occhiuto Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, M. Eugenia Occhiuto: JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters. Fundam. Inform. 93(1-3): 45-64 (2009)
2008
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, M. Eugenia Occhiuto: Methods as Parameters: A Preprocessing Approach to Higher Order in Java. Fundam. Inform. 85(1-4): 35-50 (2008)
2005
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, M. Eugenia Occhiuto: Higher order Programming in Java: Introspection, Subsumption and Extraction. Fundam. Inform. 67(1-3): 29-44 (2005)
2003
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, M. Eugenia Occhiuto: N-axioms Parallel Unification. Fundam. Inform. 55(2): 115-128 (2003)
1999
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, M. Eugenia Occhiuto: Lazy Linear Combinatorial Unification. J. Symb. Comput. 27(2): 185-206 (1999)
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, M. Eugenia Occhiuto: Suprema of Open and Closed Formulas and Their Application to Resolution Inf. Comput. 117(1): 136-150 (1995)
1993
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, M. Eugenia Occhiuto: C-Expressions: A Variable-Free Calculus for Equational Logic Programming. Theor. Comput. Sci. 107(2): 209-252 (1993)
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini: Object-Oriented Galileo. On Object-Oriented Database System 1991: 87-104
1990
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, Michele Bugliesi, M. Eugenia Occhiuto: Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. CAAP 1990: 42-56
1986
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini: A Strongly Typed, Interactive Object-Oriented Database Programming Language. OODBS 1986: 94-103
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Capaccioli, M. Eugenia Occhiuto: A Workbench for Conceptual Design in Galileo. Computer-Aided Database Design: the DATAID approach 1985: 77-95
1983
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Albano, Maurizio Capaccioli, M. Eugenia Occhiuto, Renzo Orsini: A Modularization Mechanism for Conceptual Modeling. VLDB 1983: 232-240

Coauthor Index

1Antonio Albano [1] [3] [5]
2Marco Bellia [4] [6] [7] [8] [9] [10] [11] [12]
3Michele Bugliesi [4]
4Maurizio Capaccioli [1] [2]
5Giorgio Ghelli [3] [5]
6Renzo Orsini [1] [3] [5]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)