A logic-based approach for real-time object-oriented software development. - Fernando Náufel do Amaral; Edward Hermann Haeusler (RITA, 2000)

Teoria de Modelos para HeuríSticas Baseada EM Topoi. - Fernando Náufel do Amaral (2004)

An Ontology-based Approach to the Formalization of Information Security Policies. - Fernando Náufel do Amaral; Carlos Bazílio; Geiza Maria Hamazaki da Silva; Alexandre Rademaker; Edward Hermann Haeusler (EDOC Workshops, 2006)

Using the Internal Logic of a Topos to Model Search Spaces for Problems. - Fernando Náufel do Amaral; Edward Hermann Haeusler (Log. J. IGPL, 2007)

Visualization of Description Logic Models. - Fernando Náufel do Amaral; Carlos Bazilio Martins (Description Logics, 2008)

Visualizing the semantics (not the syntax) of concept descriptions. - Fernando Náufel do Amaral (WebMedia (Companion), 2008)

Usability of a Visual Language for DL Concept Descriptions. - Fernando Náufel do Amaral (RR, 2010)

Model outlines: A visual language for DL concept descriptions. - Fernando Náufel do Amaral (Semantic Web, 2013)