Papers

---

1. Bellia, M. and M.E. Occhiuto Lazy Linear Combinatorial Unification, Journal of Symbolic Computation,vol. 27,pp 185-207,tot.pag 22,1999

2. Bellia, M. and M.E. Occhiuto,New Bounds in Parallel Unification

, CS&P, pp 1-12, Berlino,vol. 2,2002

3. Bellia, M. and M.E. Occhiuto,N-axioms Parallel Unification, Fundamenta Informaticae,vol. 55,num. 2,pp 115-128,tot.pag 14,2003

4. Bellia, M. and M.E. Occhiuto,Another PRAM Algorithm for Finding Connected Components of Sparse Graphs, CS&P, pp 67-78, Czarna - Poland,vol. 1,2003

5. Marco Bellia, M. Eugenia Occhiuto,Higher Order programming through JAVA Reflection, Concurrency, Specification and Programming CS&P, pp 447-459, Caputh,vol. vol.3,2004

6. Marco Bellia, M. Eugenia Occhiuto,Higher Order Programming in JAVA: Introspection, Subsumption and Extraction., Fundamenta Informaticae,pp 1-16,tot.pag 16,2005

7. Bellia, M. and M.E. Occhiuto,Methods as Parameters: A Pre-processing Approach in Java, Concurrency Specification&Programming, pp 47-58, Lagow-Polonia,vol. 1, tot. autori 2,2007

8. Bellia, M. and M.E. Occhiuto,Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, vol. 85,pp 35,tot.pag 50,tot. autori 2,2008

9. Bellia, M. and M.E. Occhiuto,JavaOmega: A Preprocessor for Java with m-parameters, CS&P'2008, pp 60-71, Berlin,vol. 2, tot. autori 2,2008

10. Bellia, M. and M.E. Occhiuto,JavaOmega: A Translation Semantics for Closures in Java, Concurrency Specification&Programming09, pp 70-82, Kraków-Przegorza∏y,2009

11. Bellia, M. and M.E. Occhiuto,JavaOmega: The structure and the Implementation of a Preprocessor for Java with m- and mc-parameters., Fundamenta Informaticae,vol. 93/1,pp 45,tot.pag 20,tot. autori 2, 2009

---

by M.E.Occhiuto