Publicações

Amaral, Fernando Náufel do. 1996. "Uma Nova Proposta para o Cálculo do Fecho Transitivo de Relações Binárias". E-26/151.163/95-BOLSA. Rio de Janeiro: FAPERJ.

Amaral, Fernando Náufel do, e P. G. Rabelo. 1997. "Tradução de Estruturas de Controle para Sistemas de Tempo Real em Linguagens Orientadas a Objetos". Niterói, Rio de Janeiro: DCC, UFF.

Amaral, Fernando Náufel do, P. G. Rabelo, e S. E. R. Carvalho. 1999. "C++ Idioms for Concurrent Operations". Comunicação apresentada em 28 JAIIO – Jornadas Argentinas de Informática e Investigación Operativa. Buenos Aires, Argentina. https://fnaufel.github.io/publications/fnaufel-jaiio-99.pdf.

Amaral, Fernando Náufel do. 2000. "RETOOL: uma Lógica de Ações para Sistemas de Transição Temporizados". Rio de Janeiro: Depto. de Informática, PUC-Rio. https://fnaufel.github.io/publications/fnaufel-dissert-00.pdf.

Amaral, Fernando Náufel do, e E. H. Haeusler. 2000a. "A Logic-Based Approach for Real-Time Object-Oriented Software Development". Editado por UFRGS. Revista de Informática Teórica e Aplicada VII, no.1: 69–88. https://fnaufel.github.io/publications/fnaufel-rita-00.pdf.

———. 2000b. "A Logic-Based Approach for Real-Time Object-Oriented Software Development". Comunicação apresentada em Simpósio Brasileiro de Engenharia de Software – Workshop de Métodos Formais, 45–55. João Pessoa, Paraíba: SBC. https://fnaufel.github.io/publications/fnaufel-wmf-00.pdf.

———. 2000c. "Completeness of an Action Logic Featuring a Delta-Operator for Timed Transition Systems". Comunicação apresentada em Workshop on Logic, Language, Information and Computation – WoLLIC, 123–32. Natal, Rio Grande do Norte. https://fnaufel.github.io/publications/fnaufel-wollic-00.pdf.

———. 2000d. "Completeness of an Action Logic for Timed Transition Systems". Bulletin of the Section of Logic (Lodz, Poland) 29, no.4: 151–60. https://fnaufel.github.io/publications/fnaufel-bsl-00.pdf.

———. 2000e. "RETOOL: an Action Logic for Timed Transition Systems". Comunicação apresentada em European Summer Meeting of the Association for Symbolic Logic – Logic Colloquium. https://fnaufel.github.io/publications/fnaufel-lc-00.pdf.

Amaral, Fernando Náufel do, E. H. Haeusler, e M. Endler. 2002a. "A Real-Time Specification Language". Comunicação apresentada em Advances in Logic, Artificial Intelligence and Robotics – LAPTEC 2002, editado por J. M. Abe e J. I. da Silva Filho, 85:194–201. Frontiers in Artificial Intelligence and Applications. São Paulo, São Paulo: IOS Press. https://fnaufel.github.io/publications/fnaufel-laptec-02.pdf.

———. 2002b. "A Real-Time Specification Language". 22/02. Rio de Janeiro, Rio de Janeiro: Depto. de Informática, PUC-Rio. https://fnaufel.github.io/publications/fnaufel-puc-02.pdf.

Amaral, Fernando Náufel do. 2004. "Teoria de Modelos para Heurísticas Baseada em Topoi". Depto. de Informática, PUC-Rio. http://www2.dbd.puc-rio.br/pergamum/biblioteca/php/mostrateses.php?open=1&arqtese=0016027_04_Indice.html.

Amaral, Fernando Náufel do, e E. H. Haeusler. 2005. "A Logic-Based Formal Model for (Meta)Heuristics". 06/05. Rio de Janeiro, Rio de Janeiro: Depto. de Informática, PUC-Rio. https://fnaufel.github.io/publications/fnaufel-puc-05.pdf.

Amaral, Fernando Naufel do, C. Bazilio, G. M. H. da Silva, A. Rademaker, e E. H. Haeusler. 2006. "An Ontology-based Approach to the Formalization of Information Security Policies". Comunicação apresentada em 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW’06). https://doi.org/10.1109/EDOCW.2006.21.

Amaral, Fernando Náufel do, C. Bazílio, G. M. H. da Silva, A. Rademaker, e E. H. Haeusler. 2006. "An Ontology-based Approach to the Formalization of Information Security Policies". Comunicação apresentada em Workshop on Vocabularies, Ontologies, and Rules for the Enterprise (VORTE). Hong Kong, China. https://fnaufel.github.io/publications/fnaufel-vorte-06.pdf.

Amaral, Fernando Náufel do, e E. H. Haeusler. 2006a. "Topos-Based Logical Frameworks and an Application to (Meta)Heuristic Search". Comunicação apresentada em LSFA – Brazilian Workshop on Logical and Semantic Frameworks, with Applications. Natal, Rio Grande do Norte. https://fnaufel.github.io/publications/fnaufel-lsfa-06.pdf.

———. 2006b. "Using the Internal Logic of a Topos Related to the Topos of Forests to Model Search Spaces for Problems". Comunicação apresentada em XIV EBL – Encontro Brasileiro de Lógica. Itatiaia, Rio de Janeiro. https://fnaufel.github.io/publications/fnaufel-ebl-06.pdf.

———. 2007. "Using the Internal Logic of a Topos to Model Search Spaces for Problems". Logic Journal of the IGPL 15, no.5–6: 457–74. https://fnaufel.github.io/publications/fnaufel-igpl-07.pdf.

Rademaker, A., Fernando Náufel do Amaral, e E. H. Haeusler. 2007. "A Sequent Calculus for ALC". 25/07. Rio de Janeiro, Rio de Janeiro: Depto. de Informática, PUC-Rio. ftp://ftp.inf.puc-rio.br/pub/docs/techreports/07_25_rademaker.pdf.

Silva, G. M. H. da, A. Rademaker, D. R. Vasconcelos, Fernando Náufel do Amaral, C. Bazílio, V. Gonçalves, e E. H. Haeusler. 2007. "Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study". Comunicação apresentada em AOW – The Third Australasian Ontology Workshop. Gold Coast, Queensland, Australia.

Amaral, Fernando Náufel do. 2008a. "Visualização de Descrições de Conceitos em OWL". Comunicação apresentada em I Seminário de Pesquisa em Ontologia no Brasil. UFF, Niterói, Rio de Janeiro. https://fnaufel.github.io/publications/fnaufel-sem-onto-2008.pdf.

———. 2008b. "Visualizing the Semantics (Not the Syntax) of Concept Descriptions". Comunicação apresentada em VI Workshop em Tecnologia da Informação e da Linguagem Humana (TIL). Vila Velha, Espírito Santo. https://fnaufel.github.io/publications/fnaufel-til-2008.pdf.

Amaral, Fernando Náufel do, e C. Bazílio. 2008. "Visualization of Description Logic Models". Comunicação apresentada em The 21st International Workshop on Description Logics. Dresden, Germany. https://fnaufel.github.io/publications/fnaufel-dl-2008.pdf.

Machado, A. F. V., Fernando Náufel do Amaral, e E. W. Clua. 2009. "A Trivial Study Case of the Application of Ontologies in Electronic Games". Comunicação apresentada em Conferência de Ciências e Artes dos Videojogos 2009. Rio de Janeiro, Rio de Janeiro. https://fnaufel.github.io/publications/fnaufel-sb-games-2009.pdf.

Amaral, Fernando Náufel do. 2010a. "Usabilidade de uma Notação Diagramática para Descrições de Conceitos". Comunicação apresentada em III Seminário de Pesquisa em Ontologia no Brasil. UFSC, Florianópolis, Santa Catarina. https://fnaufel.github.io/publications/fnaufel-sem-onto-2010.pdf.

———. 2010b. "Usability of a Visual Language for DL Concept Descriptions". Comunicação apresentada em Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems, 6333:27–41. LNCS. Bressanone/Brixen, Italy: Springer. https://fnaufel.github.io/publications/fnaufel-wrr-2010.pdf.

———. 2013. "Model Outlines: a Visual Language for DL Concept Descriptions". Editado por IOS Press. Semantic Web 4: 429–55. https://fnaufel.github.io/publications/fnaufel-swj-2013.pdf.