SCEAS

The SCEAS System

Title:
Author:

M. Eugenia Occhiuto: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
A Strongly Typed, Interactive Object-Oriented Database Programming Language. [Citation Graph (3, 0)][DBLP]
OODBS, 1986, pp:94-103 [Conf]
Antonio Albano, Maurizio Capaccioli, M. Eugenia Occhiuto, Renzo Orsini
A Modularization Mechanism for Conceptual Modeling. [Citation Graph (3, 10)][DBLP]
VLDB, 1983, pp:232-240 [Conf]
Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. [Citation Graph (0, 0)][DBLP]
CAAP, 1990, pp:42-56 [Conf]
Marco Bellia, M. Eugenia Occhiuto
Higher order Programming in Java: Introspection, Subsumption and Extraction. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2005, v:67, n:1-3, pp:29-44 [Journal]
Marco Bellia, M. Eugenia Occhiuto
N-axioms Parallel Unification. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 2003, v:55, n:2, pp:115-128 [Journal]
Marco Bellia, M. Eugenia Occhiuto
Suprema of Open and Closed Formulas and Their Application to Resolution [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1995, v:117, n:1, pp:136-150 [Journal]
Marco Bellia, M. Eugenia Occhiuto
Lazy Linear Combinatorial Unification. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1999, v:27, n:2, pp:185-206 [Journal]
Marco Bellia, M. Eugenia Occhiuto
C-Expressions: A Variable-Free Calculus for Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1993, v:107, n:2, pp:209-252 [Journal]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP