Fernando Náufel do Amaral

	2008
4		Fernando Náufel do Amaral, Carlos Bazilio Martins: Visualization of Description Logic Models. Description Logics 2008
	2007
3		Fernando Náufel do Amaral, Edward Hermann Haeusler: Using the Internal Logic of a Topos to Model Search Spaces for Problems. Logic Journal of the IGPL 15(5-6): 457-474 (2007)
	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
	2000
1		Fernando Náufel do Amaral, Edward Hermann Haeusler: A logic-based approach for real-time object-oriented software development. RITA 7(1): 69-88 (2000)

Coauthor Index

1	Carlos Bazílio	[2]
2	Edward Hermann Haeusler	[1] [2] [3]
3	Carlos Bazilio Martins	[4]
4	Alexandre Rademaker	[2]
5	Geiza Maria Hamazaki da Silva	[2]

Colors in the list of coauthors