Author

Marco Bellia

Observed names: BELLIA, MARCO, Bellia, Marco, Bellia, Marco, M. Bellia, Prof Marco Bellia

Observed institution: University of Pisa

OpenAlex ID: A5111437684

The relation between logic and functional languages: a survey

1986 · Marco Bellia, Giorgio Levi · The Journal of Logic Programming · 99

LEAF: A Language which Integrates Logic, Equations and Functions.

1986 · Roberto Barbuti, Marco Bellia, et al. · CINECA IRIS Institutial research information system (University of Pisa) · 43

On the Integration of Logic Programming and Functional Programming

1984 · Roberto Barbuti, Marco Bellia, et al. · CINECA IRIS Institutial research information system (University of Pisa) · 23

The call-by-name semantics of a clause language with functions

1982 · Marco Bellia, Pierpaolo Degano, et al. · CINECA IRIS Institutial research information system (University of Pisa) · 15

Applicative communicating processes in first order logic

1982 · Marco Bellia, Pierpaolo Degano, et al. · Lecture notes in computer science · 13

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.

1984 · Marco Bellia, E Dameri, et al. · 10

C-expressions: a variable-free calculus for equational logic programming

1993 · Marco Bellia, M.Eugenia Occhiuto · Theoretical Computer Science · 9

Proving Type Safety for Java Simple Closures

2010 · Marco Bellia, M. Eugenia Occhiuto · CINECA IRIS Institutial research information system (University of Pisa) · 8

Properties of Java Simple Closures

2011 · Marco Bellia, M. Eugenia Occhiuto · Fundamenta Informaticae · 6

Higher order Programming in Java: Introspection, Subsumption and Extraction

2005 · Marco Bellia, M. Eugenia Occhiuto · CINECA IRIS Institutial research information system (University of Pisa) · 5

A Functional Plus Predicate Logic Programming

1980 · Marco Bellia, Pierpaolo Degano, et al. · CINECA IRIS Institutial research information system (University of Pisa) · 5

Methods as Parameters: A Preprocessing Approach to Higher Order in Java

2008 · Marco Bellia, M. Eugenia Occhiuto · Fundamenta Informaticae · 4

N-axioms parallel unification

2002 · Marco Bellia, M. Eugenia Occhiuto · CINECA IRIS Institutial research information system (University of Pisa) · 3

Logic and functional programming by retractions : operational semantics

1988 · M. Bellia · RAIRO - Theoretical Informatics and Applications · 3

PDF

On Compiling Prolog Programs on Demand Driven Architectures.

1983 · Marco Bellia, Giorgio Levi, et al. · CINECA IRIS Institutial research information system (University of Pisa) · 3

DNA Tiles, Wang Tiles and Combinators

2014 · Marco Bellia, M. Eugenia Occhiuto · Fundamenta Informaticae · 2

The Equivalence of Reduction and Translation Semantics of Java Simple Closures

2012 · Marco Bellia, M. Eugenia Occhiuto · Fundamenta Informaticae · 2

JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters

2009 · Marco Bellia, M. Eugenia Occhiuto · Fundamenta Informaticae · 2

Methods as Parameters: A Pre-processing Approach in Java

2007 · Marco Bellia, M. Eugenia Occhiuto · CINECA IRIS Institutial research information system (University of Pisa) · 2

From Object Calculus to Java with Passing and Extraction of Methods

2006 · Marco Bellia, Maria Eugena Occhiuto · UnipiEprints Open Archive (Università di Pisa) · 2

Programming environment generation based on denotational semantics

1983 · Roberto Barbuti, Marco Bellia, et al. · CINECA IRIS Institutial research information system (University of Pisa) · 2

Programming Self-Assembly of DNA Tiles

2016 · Marco Bellia, M. Eugenia Occhiuto · Fundamenta Informaticae · 1

Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types (Extended Version)

2013 · Marco Bellia, Maria Eugena Occhiuto · UnipiEprints Open Archive (Università di Pisa) · 1

Proving Translation and Reduction Semantics Equivalent for Java Simple Closures: Extended Version

2011 · Marco Bellia, M. Eugenia Occhiuto · UnipiEprints Open Archive (Università di Pisa) · 1

New Bounds in Parallel Unification

2001 · Marco Bellia, Maria Eugena Occhiuto · UnipiEprints Open Archive (Università di Pisa) · 1

Works count: 64

Citation count: 269

H-index: 8

I10-index: 6