The publications listed in this page are classified into two categories:
I also provide a bibtex file with all my publications. Alternatively, you can visit my DBLP page or my CiteULike page.
Conference papers
- Recounting the Rationals: Twice! (MPC '08)
- JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing (CCGRID '06)
- ParC#: Parallel Computing with C# in .NET (PaCT '05)
- Camila Revival: VDM meets Haskell (First Overture Workshop at FM'05, Newcastle, 2005)
Technical notes (JFFs)
The following documents are essentially notes to myself and a few colleagues. They are not intended for publication, but they might be used in later work. Although some of them are written in Portuguese, the abstracts are written in English.
- JFF7 — An exercise from "The Art of Computer Programming" (2008)
- JFF6 — Resolução eficaz de problemas: quatro exemplos (2008)
- JFF1 — Exchanging the values of two variables (2007)
- JFF0 — Distributivity and the greatest common divisor (2006)
- A contribution towards a Distributed Java Virtual Machine (2005)
