Marco Bellia - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2016

Programming Self-Assembly of DNA TilesMarco Bellia, M. Eugenia Occhiuto. FUIN, 143(1-2):35-49, 2016. [doi]

2014

DNA Tiles, Wang Tiles and CombinatorsMarco Bellia, M. Eugenia Occhiuto. FUIN, 133(2-3):105-121, 2014. [doi]

Programming Self-Assembly of DNA TilesMarco Bellia, M. Eugenia Occhiuto. csp 2014: 34-45 [doi]

2013

DNA Tiles, Wang Tiles and CombinatorsMarco Bellia, M. Eugenia Occhiuto. csp 2013: 1-14 [doi]

Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal TypesMarco Bellia, M. Eugenia Occhiuto. FUIN, 128(1-2):17-33, 2013. [doi]

2012

Inference, Targeting and Compatibility in a Type System for Java with SAM Typed ClosuresMarco Bellia, M. Eugenia Occhiuto. csp 2012: 49-60 [doi]

The Equivalence of Reduction and Translation Semantics of Java Simple ClosuresMarco Bellia, M. Eugenia Occhiuto. FUIN, 119(3-4):249-264, 2012. [doi]

2011

Properties of Java Simple ClosuresMarco Bellia, M. Eugenia Occhiuto. FUIN, 109(3):237-253, 2011. [doi]

2009

JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parametersMarco Bellia, M. Eugenia Occhiuto. FUIN, 93(1-3):45-64, 2009. [doi]

2008

Methods as Parameters: A Preprocessing Approach to Higher Order in JavaMarco Bellia, M. Eugenia Occhiuto. FUIN, 85(1-4):35-50, 2008. [doi]

2005

Higher order Programming in Java: Introspection, Subsumption and ExtractionMarco Bellia, M. Eugenia Occhiuto. FUIN, 67(1-3):29-44, 2005. [doi]

2003

N-axioms Parallel UnificationMarco Bellia, M. Eugenia Occhiuto. FUIN, 55(2):115-128, 2003. [doi]

1999

Lazy Linear Combinatorial UnificationMarco Bellia, M. Eugenia Occhiuto. JSC, 27(2):185-206, 1999.

1995

Suprema of Open and Closed Formulas and Their Application to ResolutionMarco Bellia, M. Eugenia Occhiuto. iandc, 117(1):136-150, February 1995.

1993

C-Expressions: A Variable-Free Calculus for Equational Logic ProgrammingMarco Bellia, M. Eugenia Occhiuto. TCS, 107(2):209-252, 1993.

1990

Combinatory Forms for Equational Programming: Instances, Unification and NarrowingMarco Bellia, Michele Bugliesi, M. Eugenia Occhiuto. caap 1990: 42-56

1988

Logic and Functional Programming by RetractionsMarco Bellia. ita, 22(3):271-310, 1988.

Logic and Functional Programming by Retractions: Operational SemanticsMarco Bellia. ita, 22(4):395-436, 1988.

1987

Retractions: A Functional Paradigm for Logic ProgrammingMarco Bellia. tapsoft 1987: 260-275

A Two-Level Approach to Logic plus Functional Programming IntegrationMarco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi. parle 1987: 374-393

1986

LEAF: A Language which Integrates Logic, Equations and FunctionsRoberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli. In Logic Programming: Functions, Relations, and Equations. pages 201-238, 1986.

The Relation between Logic and Functional Languages: A SurveyMarco Bellia, Giorgio Levi. jlp, 3(3):217-236, 1986.

1984

On the Integration of Logic Programming and Functional ProgrammingRoberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli. SLP 1984: 160-166

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional LanguageMarco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli. In Implementations of Prolog. pages 309-326, 1984.

1983

On Compiling Prolog Programs on Demand Driven ArchitecturesMarco Bellia, Giorgio Levi, Maurizio Martelli. ICLP 1983: 518-535 [doi]

1982

Applicative communicating processes in first order logicMarco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli. programm 1982: 1-14

1977

Distributed Control, Modularity and Data Types in a Simple Parallel LanguageMarco Bellia, Giorgio Levi. icsym 1977: 441-450

Sign in or sign up to see more results.

runs on WebDSL