Distributed Control, Modularity and Data Types in a Simple Parallel Language. - Marco Bellia; Giorgio Levi (International Computing Symposium, 1977)

Applicative communicating processes in first order logic. - Marco Bellia; Enrico Dameri; Pierpaolo Degano; Giorgio Levi; Maurizio Martelli (Symposium on Programming, 1982)

On Compiling Prolog Programs on Demand Driven Architectures. - Marco Bellia; Giorgio Levi; Maurizio Martelli (Logic Programming Workshop, 1983)

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. - Marco Bellia; Enrico Dameri; Pierpaolo Degano; Giorgio Levi; Maurizio Martelli (Implementations of Prolog, 1984)

On the Integration of Logic Programming and Functional Programming. - Roberto Barbuti; Marco Bellia; Giorgio Levi; Maurizio Martelli (SLP, 1984)

LEAF: A Language which Integrates Logic, Equations and Functions. - Roberto Barbuti; Marco Bellia; Giorgio Levi; Maurizio Martelli (Logic Programming: Functions, Relations, and Equations, 1986)

The Relation between Logic and Functional Languages: A Survey. - Marco Bellia; Giorgio Levi (J. Log. Program., 1986)

A Two-Level Approach to Logic plus Functional Programming Integration. - Marco Bellia; Pier Giorgio Bosco; Elio Giovannetti; Giorgio Levi; Corrado Moiso; Catuscia Palamidessi (PARLE (1), 1987)

Retractions: A Functional Paradigm for Logic Programming. - Marco Bellia (TAPSOFT, Vol.2, 1987)

Logic and Functional Programming by Retractions. - Marco Bellia (RAIRO Theor. Informatics Appl., 1988)

Logic and Functional Programming by Retractions: Operational Semantics. - Marco Bellia (RAIRO Theor. Informatics Appl., 1988)

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

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)