| 2006 | ||
|---|---|---|
| 2 | Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler: An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops 2006: 1 | |
| 2005 | ||
| 1 | Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso: Exploring Computational Contents of Intuitionist Proofs. Logic Journal of the IGPL 13(1): 69-93 (2005) | |
| 1 | Fernando Náufel do Amaral | [2] |
| 2 | Carlos Bazílio | [2] |
| 3 | Edward Hermann Haeusler | [1] [2] |
| 4 | Alexandre Rademaker | [2] |
| 5 | Paulo A. S. Veloso | [1] |