Geiza Maria Hamazaki da Silva

2006
2	EE	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	EE	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)

Coauthor Index

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]