Fernando Náufel do Amaral

2008
4	EE	Fernando Náufel do Amaral, Carlos Bazilio Martins: Visualization of Description Logic Models. Description Logics 2008
2007
3	EE	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	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
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