A Modularization Mechanism for Conceptual Modeling. - Antonio Albano; Maurizio Capaccioli; M. Eugenia Occhiuto; Renzo Orsini (VLDB, 1983)

A Workbench for Conceptual Design in Galileo. - Maurizio Capaccioli; M. Eugenia Occhiuto (Computer-Aided Database Design: the DATAID approach, 1985)

A Strongly Typed, Interactive Object-Oriented Database Programming Language. - Antonio Albano; Giorgio Ghelli; M. Eugenia Occhiuto; Renzo Orsini (OODBS, 1986)

Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. - Marco Bellia; Michele Bugliesi; M. Eugenia Occhiuto (CAAP, 1990)

Object-Oriented Galileo. - Antonio Albano; Giorgio Ghelli; M. Eugenia Occhiuto; Renzo Orsini (On Object-Oriented Database System, 1991)

C-Expressions: A Variable-Free Calculus for Equational Logic Programming. - Marco Bellia; M. Eugenia Occhiuto (Theor. Comput. Sci., 1993)

Suprema of Open and Closed Formulas and Their Application to Resolution - Marco Bellia; M. Eugenia Occhiuto (Inf. Comput., 1995)

Lazy Linear Combinatorial Unification. - Marco Bellia; M. Eugenia Occhiuto (J. Symb. Comput., 1999)

N-axioms Parallel Unification. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2003)

Higher order Programming in Java: Introspection, Subsumption and Extraction. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2005)

Methods as Parameters: A Preprocessing Approach to Higher Order in Java. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2008)

JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2009)

Properties of Java Simple Closures. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2011)

Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. - Marco Bellia; M. Eugenia Occhiuto (CS&P, 2012)

The Equivalence of Reduction and Translation Semantics of Java Simple Closures. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2012)

Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2013)

DNA Tiles, Wang Tiles and Combinators. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2014)

Programming Self-Assembly of DNA Tiles. - Marco Bellia; M. Eugenia Occhiuto (Fundam. Informaticae, 2016)