M. Eugenia Occhiuto

20 papers A* 1Journal 12Unranked 5

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Programming Self-Assembly of DNA Tiles. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2014	J	`jnl`	DNA Tiles, Wang Tiles and Combinators. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2014	—	`conf`	Programming Self-Assembly of DNA Tiles. CS&P Marco Bellia, M. Eugenia Occhiuto
2013	—	`conf`	DNA Tiles, Wang Tiles and Combinators. CS&P Marco Bellia, M. Eugenia Occhiuto
2013	J	`jnl`	Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2012	—	`conf`	Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. CS&P Marco Bellia, M. Eugenia Occhiuto
2012	J	`jnl`	The Equivalence of Reduction and Translation Semantics of Java Simple Closures. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2011	J	`jnl`	Properties of Java Simple Closures. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2009	J	`jnl`	JavaOmega: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2008	J	`jnl`	Methods as Parameters: A Preprocessing Approach to Higher Order in Java. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2005	J	`jnl`	Higher order Programming in Java: Introspection, Subsumption and Extraction. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
2003	J	`jnl`	N-axioms Parallel Unification. Fundam. Informaticae Marco Bellia, M. Eugenia Occhiuto
1999	J	`jnl`	Lazy Linear Combinatorial Unification. J. Symb. Comput. Marco Bellia, M. Eugenia Occhiuto
1995	J	`jnl`	Suprema of Open and Closed Formulas and Their Application to Resolution Inf. Comput. Marco Bellia, M. Eugenia Occhiuto
1993	J	`jnl`	C-Expressions: A Variable-Free Calculus for Equational Logic Programming. Theor. Comput. Sci. Marco Bellia, M. Eugenia Occhiuto
1991	—	`ch.`	Object-Oriented Galileo. On Object-Oriented Database System Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
1990	—	`conf`	Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. CAAP Marco Bellia, Michele Bugliesi, M. Eugenia Occhiuto
1986	—	`conf`	A Strongly Typed, Interactive Object-Oriented Database Programming Language. OODBS Antonio Albano, Giorgio Ghelli, M. Eugenia Occhiuto, Renzo Orsini
1985	—	`ch.`	A Workbench for Conceptual Design in Galileo. Computer-Aided Database Design: the DATAID approach Maurizio Capaccioli, M. Eugenia Occhiuto
1983	A*	`conf`	A Modularization Mechanism for Conceptual Modeling. VLDB Antonio Albano, Maurizio Capaccioli, M. Eugenia Occhiuto, Renzo Orsini