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.
Fundam. Informaticae, 2016

2014
DNA Tiles, Wang Tiles and Combinators.
Fundam. Informaticae, 2014

2013
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types.
Fundam. Informaticae, 2013

2012
The Equivalence of Reduction and Translation Semantics of Java Simple Closures.
Fundam. Informaticae, 2012

Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures.
Proceedings of the 21th International Workshop on Concurrency, 2012

2011
Properties of Java Simple Closures.
Fundam. Informaticae, 2011

2009
JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters.
Fundam. Informaticae, 2009

2008
Methods as Parameters: A Preprocessing Approach to Higher Order in Java.
Fundam. Informaticae, 2008

2005
Higher order Programming in Java: Introspection, Subsumption and Extraction.
Fundam. Informaticae, 2005

2003
N-axioms Parallel Unification.
Fundam. Informaticae, 2003

1999
Lazy Linear Combinatorial Unification.
J. Symb. Comput., 1999

1995
Suprema of Open and Closed Formulas and Their Application to Resolution
Inf. Comput., February, 1995

1993
C-Expressions: A Variable-Free Calculus for Equational Logic Programming.
Theor. Comput. Sci., 1993

1991
Object-Oriented Galileo.
Proceedings of the On Object-Oriented Database Systems, 1991

1990
Combinatory Forms for Equational Programming: Instances, Unification and Narrowing.
Proceedings of the CAAP '90, 1990

1986
A Strongly Typed, Interactive Object-Oriented Database Programming Language.
Proceedings of the 1986 International Workshop on Object-Oriented Database Systems, 1986

1985
A Workbench for Conceptual Design in Galileo.
Proceedings of the Computer-Aided Database Design: the DATAID approach., 1985

1983
A Modularization Mechanism for Conceptual Modeling.
Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983


  Loading...