M. Eugenia Occhiuto

20 papers A* 1Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2016 J jnl
Programming Self-Assembly of DNA Tiles.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2014 J jnl
DNA Tiles, Wang Tiles and Combinators.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2014 — conf
Programming Self-Assembly of DNA Tiles.
CS&P
Marco Bellia, M. Eugenia Occhiuto
2013 — conf
DNA Tiles, Wang Tiles and Combinators.
CS&P
Marco Bellia, M. Eugenia Occhiuto
2013 J jnl
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2012 — conf
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.
CS&P
Marco Bellia, M. Eugenia Occhiuto
2012 J jnl
The Equivalence of Reduction and Translation Semantics of Java Simple Closures.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2011 J jnl
Properties of Java Simple Closures.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2009 J jnl
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2008 J jnl
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2005 J jnl
Higher order Programming in Java: Introspection, Subsumption and Extraction.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
2003 J jnl
N-axioms Parallel Unification.
Fundam. Informaticae
Marco Bellia, M. Eugenia Occhiuto
1999 J jnl
Lazy Linear Combinatorial Unification.
J. Symb. Comput.
Marco Bellia, M. Eugenia Occhiuto
1995 J jnl
Suprema of Open and Closed Formulas and Their Application to Resolution
Inf. Comput.
Marco Bellia, M. Eugenia Occhiuto
1993 J jnl
C-Expressions: A Variable-Free Calculus for Equational Logic Programming.
Theor. Comput. Sci.
Marco Bellia, M. Eugenia Occhiuto
1991 — ch.
Object-Oriented Galileo.
On Object-Oriented Database System
Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
1990 — conf
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.
CAAP
Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto
1986 — conf
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
OODBS
Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
1985 — ch.
A Workbench for Conceptual Design in Galileo.
Computer-Aided Database Design: the DATAID approach
Maurizio Capaccioli, M. Eugenia Occhiuto
1983 A* conf
A Modularization Mechanism for Conceptual Modeling.
VLDB
Antonio Albano, Maurizio Capaccioli, M. Eugenia Occhiuto, Renzo Orsini