| * | 2009 |
|---|
| 12 | EE | Marco 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 |
|---|
| 11 | EE | Marco Bellia,
M. Eugenia Occhiuto:
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
Fundam. Inform. 85(1-4): 35-50 (2008) |
| 2005 |
|---|
| 10 | EE | Marco Bellia,
M. Eugenia Occhiuto:
Higher order Programming in Java: Introspection, Subsumption and Extraction.
Fundam. Inform. 67(1-3): 29-44 (2005) |
| 2003 |
|---|
| 9 | EE | Marco Bellia,
M. Eugenia Occhiuto:
N-axioms Parallel Unification.
Fundam. Inform. 55(2): 115-128 (2003) |
| 1999 |
|---|
| 8 | | Marco Bellia,
M. Eugenia Occhiuto:
Lazy Linear Combinatorial Unification.
J. Symb. Comput. 27(2): 185-206 (1999) |
| 1995 |
|---|
| 7 | | Marco Bellia,
M. Eugenia Occhiuto:
Suprema of Open and Closed Formulas and Their Application to Resolution
Inf. Comput. 117(1): 136-150 (1995) |
| 1993 |
|---|
| 6 | | Marco Bellia,
M. Eugenia Occhiuto:
C-Expressions: A Variable-Free Calculus for Equational Logic Programming.
Theor. Comput. Sci. 107(2): 209-252 (1993) |
| 1991 |
|---|
| 5 | | Antonio Albano,
Giorgio Ghelli,
M. Eugenia Occhiuto,
Renzo Orsini:
Object-Oriented Galileo.
On Object-Oriented Database System 1991: 87-104 |
| 1990 |
|---|
| 4 | EE | Marco Bellia,
Michele Bugliesi,
M. Eugenia Occhiuto:
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.
CAAP 1990: 42-56 |
| 1986 |
|---|
| 3 | EE | Antonio Albano,
Giorgio Ghelli,
M. Eugenia Occhiuto,
Renzo Orsini:
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
OODBS 1986: 94-103 |
| 1985 |
|---|
| 2 | | Maurizio Capaccioli,
M. Eugenia Occhiuto:
A Workbench for Conceptual Design in Galileo.
Computer-Aided Database Design: the DATAID approach 1985: 77-95 |
| 1983 |
|---|
| 1 | EE | Antonio Albano,
Maurizio Capaccioli,
M. Eugenia Occhiuto,
Renzo Orsini:
A Modularization Mechanism for Conceptual Modeling.
VLDB 1983: 232-240 |
