We stand with Ukraine  

M. Eugenia Occhiuto

Affiliations:
  • University of Pisa, Italy


According to our database1, M. Eugenia Occhiuto authored at least 18 papers between 1983 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Programming Self-Assembly of DNA Tiles.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2016

2014
DNA Tiles, Wang Tiles and Combinators.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2014

2013
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2013

2012
The Equivalence of Reduction and Translation Semantics of Java Simple Closures.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2012

Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Proceedings of the 21th International Workshop on Concurrency, 2012

2011
Properties of Java Simple Closures.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2011

2009
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2009

2008
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2008

2005
Higher order Programming in Java: Introspection, Subsumption and Extraction.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2005

2003
N-axioms Parallel Unification.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Fundam. Informaticae, 2003

1999
Lazy Linear Combinatorial Unification.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
J. Symb. Comput., 1999

1995
Suprema of Open and Closed Formulas and Their Application to Resolution
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Inf. Comput., February, 1995

1993
C-Expressions: A Variable-Free Calculus for Equational Logic Programming.
[BibTeX]
[DOI]
Marco Bellia
,
M. Eugenia Occhiuto
Theor. Comput. Sci., 1993

1991
Object-Oriented Galileo.
[BibTeX]
Antonio Albano
,
Giorgio Ghelli
,
M. Eugenia Occhiuto
,
Renzo Orsini
Proceedings of the On Object-Oriented Database Systems, 1991

1990
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.
[BibTeX]
[DOI]
Marco Bellia
,
Michele Bugliesi
,
M. Eugenia Occhiuto
Proceedings of the CAAP '90, 1990

1986
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
[BibTeX]
[DOI]
Antonio Albano
,
Giorgio Ghelli
,
M. Eugenia Occhiuto
,
Renzo Orsini
Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, 1986

1985
A Workbench for Conceptual Design in Galileo.
[BibTeX]
Maurizio Capaccioli
,
M. Eugenia Occhiuto
Proceedings of the Computer-Aided Database Design: the DATAID approach., 1985

1983
A Modularization Mechanism for Conceptual Modeling.
[BibTeX]
[DOI]
Antonio Albano
,
Maurizio Capaccioli
,
M. Eugenia Occhiuto
,
Renzo Orsini
Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983


  Loading...