Publications

  1. Rademaker, Alexandre. 2018. “Challenges for Information Extraction in the Oil and Gas Domain.” In Proceedings of the XI Seminar on Ontology Research in Brazil (ONTOBRAS), edited by Joel Luís Carbonera, Giancarlo Guizzardi, Sandro Rama Fiorini, and Mara Abel. São Paulo, Brazil. http://ceur-ws.org/Vol-2228/invited1.pdf.Details
  2. Freitas, Cláudia, Luiza F. Trugo, Fabricio Chalub, Guilherme Paulino-Passos, and Alexandre Rademaker. 2018. “Tagsets and Datasets: Some Experiments Based on Portuguese Language.” In International Conference on Computational Processing of the Portuguese Language, 459–69. Canela, RS, Brazil: Springer. https://rd.springer.com/book/10.1007/978-3-319-99722-3.Details
  3. Cuconato, Bruno, and Alexandre Rademaker. 2018. “A Computational Grammar for Portuguese.” In International Conference on Computational Processing of the Portuguese Language. Canela, RS, Brazil. http://www.inf.ufrgs.br/propor-2018/.Details
  4. Rademaker, Alexandre, Fabricio Chalub, Bruno Cuconato, Henrique Muniz, and Guilherme Passos. 2018. “CL-CONLLU Universal Dependencies in Common Lisp.” In International Conference on Computational Processing of the Portuguese Language. Canela, RS, Brazil. http://www.inf.ufrgs.br/propor-2018/.Details
  5. Paiva, Valeria de, Alexandre Rademaker, Livy Real, Fabricio Chalub, and Gerard de Melo. 2018. “OpenWordNet-PT: Taking Stock.” Proceedings of Fifth Workshop on Natural Language and Computer Science (Affiliated with Federated Logic Conference 2018). Oxford, UK. doi:10.29007/tvgw.Details
  6. Rademaker, Alexandre, Edward Hermann Haeusler, and Fabricio Chalub. 2018. “Investigations on the Axiomatic Presentation of ALC Description Logic and Its Formalization in Lean.” In Handbook of the 6th World Congress and School on Universal Logic, edited by Jean-Yves Beziau, Arthur Buchsbaum, and Christophe Rey. Vichy, France: Vichy University Campus France. http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf.Details
  7. Higuchi, Suemi, Cláudia Freitas, Bruno Cuconato, and Alexandre Rademaker. 2018. “Text Mining for History: First Steps on Building a Large Dataset.” In Proceedings of 11th Edition of the Language Resources and Evaluation Conference. Miyazaki, Japan. http://www.lrec-conf.org/proceedings/lrec2018/summaries/1084.html.Details
  8. Real, Livy, Alexandre Rademaker, Fabricio Chalub, and Valeria de Paiva. 2018. “Towards Temporal Reasoning in Portuguese.” In Proceedings of 6th Workshop on Linked Data in Linguistics. Miyazaki, Japan. http://lrec-conf.org/workshops/lrec2018/W23/summaries/8_W23.html.Details
  9. Muniz, Henrique, Fabricio Chalub, Alexandre Rademaker, and Valeria de Paiva. 2018. “Extending Wordnet to Geological Times.” In Global Wordnet Conference 2018. Singapore.Details
  10. Delfino, Pedro, Bruno Cuconato, Guilherme Paulino Passos, Gerson Zaverucha, and Alexandre Rademaker. 2018. “Using OpenWordnet-PT for Question Answering on Legal Domain.” In Global Wordnet Conference 2018. Singapore.Details
  11. Delfino, Pedro, Bruno Cuconato, Edward Hermann Haeusler, and Alexandre Rademaker. 2017. “Passing the Brazilian OAB Exam: Data Preparation and Some Experiments.” In Legal Knowledge and Information Systems, edited by Adam Wyner and Giovanni Casini. Vol. 302. Frontiers in Artificial Intelligence and Applications.Details
  12. Rademaker, Alexandre, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, and Valeria de Paiva Universal Dependencies for Portuguese. 2017. “Universal Dependencies for Portuguese.” In Proceedings of the Fourth International Conference on Dependency Linguistics (Depling), 197–206. Pisa, Italy.Details
  13. Rademaker, Alexandre, Fabricio Chalub, and Cláudia Freitas. 2017. “Two Corpus Based Experiments with the Portuguese and English Wordnets.” In Proceedings of the LDK 2017 Workshops: 1st Workshop On the OntoLex Model (OntoLex-2017), Shared Task On Translation Inference Across Dictionaries Challenges for Wordnets, Co-Located with 1st Conference on Language, Data and Knowledge (LDK 2017), 134–45. Galway, Ireland.Details
  14. Muniz, Henrique, Fabricio Chalub, and Alexandre Rademaker. 2017. “CL-CONLLU: Dependências Universais Em Common Lisp.” In V Workshop De Iniciação Científica Em Tecnologia Da Informação e Da Linguagem Humana (TILic). Uberlândia, MG, Brazil.Details
  15. Rademaker, Alexandre, Valeria de Paiva, Fabricio Chalub, Livy Real, and Claudia Freitas. 2016. “Introducing OpenWordnet-PT: a Open Portuguese Wordnet for Reasoning.” In International FrameNet Workshop Part of 9th International Conference on Construction Grammar (ICCG9), edited by Tiago Timponi Torrent. Juiz de Fora, Brazil: Universidade Federal de Juiz de Fora - UFJF.Details
  16. Conlon, Michael, Graham Triggs, Violeta Ilik, Ted Lawless, Kristi Holmes, Jim Blake, Paul Friedman, et al. 2016. “OpenVIVO: A VIVO Anyone Can Join.” https://dx.doi.org/10.6084/m9.figshare.3444179.v2.Details
  17. “Who We Are and What We Contribute: the Open Researcher Information Framework as a Means To Understand Scholarship.” 2016. poster at VIVO 2016. https://dx.doi.org/10.6084/m9.figshare.3753345.v1.Details
  18. Lawless, Ted, Alexandre Rademaker, and Fabricio Chalub. 2016. “Deploying VIVO as a Static Site.” poster at VIVO 2016. https://dx.doi.org/10.6084/m9.figshare.3811407.v1.Details
  19. Rademaker, Alexandre, and Edward Hermann Haeusler. 2016. “InFeRe Law: Investigating the Feasibility of Reasoning on Legal Ontologies.” In Compositional Meaning in Logic [GeTFun 4.0] Part Of 8th International Joint Conference on Automated Reasoning. Coimbra.Details
  20. Haeusler, Edward Hermann, and Alexandre Rademaker. 2016. “On How Kelsenian Jurisprudence and Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes In Legal Ontologies.” Journal of Applied Non-Classical Logics.Details
  21. Conlon, Michael, Graham Triggs, Violeta Ilik, Ted Lawless, Kristi Holmes, Jim Blake, Paul Friedman, et al. 2016. “OpenVIVO: A VIVO Anyone Can Join.” https://dx.doi.org/10.6084/m9.figshare.3175072.v1.Details
  22. Paiva, Valeria de, Fabricio Chalub, Livy Real, and Alexandre Rademaker. 2016. “Making Virtue of Necessity: a Verb Lexicon.” In PROPOR – International Conference on the Computational Processing of Portuguese. Tomar, Portugal.Details
  23. Chalub, Fabricio, Livy Real, Alexandre Rademaker, and Valeria de Paiva. 2016. “Semantic Links for Portuguese.” In 10th Edition of Its Language Resources and Evaluation Conference (LREC). Portoroz, Slovenia.Details
  24. Real, Livy, Valeria de Paiva, Fabricio Chalub, and Alexandre Rademaker. 2016. “Gentle with Gentilics.” In Joint Second Workshop on Language and Ontologies (LangOnto2) and Terminology and Knowledge Structures (TermiKS) (Co-Located with LREC 2016). Slovenia.Details
  25. Paiva, Valeria de, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, and Alberto Simões. 2016. “An Overview of Portuguese WordNets.” In Global Wordnet Conference 2016. Bucharest, Romenia.Details
  26. Rademaker, Alexandre, and Fabricio Chalub. 2016. “Verifying Integrity Constraints of a RDF-Based WordNet.” In Global Wordnet Conference 2016. Bucharest, Romenia.Details
  27. Freitas, Cláudia, Livy Real, and Alexandre Rademaker. 2015. “Anotação De Corpus Com a OpenWordNet-PT: Um Exercício De Desambiguação.” In Proceedings of the 10th Brazilian Symposium In Information and Human Language Technology, edited by Cláudia Freitas and Alexandre Rademaker, 51–55. Natal, Brazil. http://www.aclweb.org/anthology/W15-5607.Details
  28. Rademaker, Alexandre, and Edward Hermann Haeusler. 2015. “How Kelsenian Jurisprudence and Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes in Legal Ontologies.” In Proceedings of 3rd Workshop on Generalizations of Truth‑Functionality. Natal, RN.Details
  29. Rademaker, Alexandre, Daniela Brauner, Glauco Munsberg, and André Peil. 2015. “Using OpenWordnet-PT to Improve VIVO.” In VIVO Conference 2015. Cambridge, MA, EUA.Details
  30. Real, Livy, Fabricio Chalub, Valeria de Paiva, Claudia Freitas, and Alexandre Rademaker. 2015. “Seeing Is Correcting: Curating Lexical Resources Using Social Interfaces.” In Proceedings of 53rd Annual Meeting of The Association for Computational Linguistics and The 7th International Joint Conference on Natural Language Processing of Asian Federation of Natural Language Processing - Fourth Workshop on Linked Data in Linguistics: Resources and Applications (LDL 2015). Beijing, China.Details
  31. Real, Livy, and Alexandre Rademaker. 2015. “HAREM and Klue: How to Compare Two Tagsets for Named Entities Annotation.” In Proceedings of 53rd Annual Meeting of The Association for Computational Linguistics and The 7th International Joint Conference on Natural Language Processing of Asian Federation of Natural Language Processing - Named Entities Workshop (NEWS 2015). Beijing, China.Details
  32. ———. 2015. “An Overview on Portuguese Nominalisation.” In Workshop on TYpe Theory and LExical Semantics. Barcelona.Details
  33. Haeusler, Edward Hermann, and Alexandre Rademaker. 2015. “On How Kelsenian Jurisprudence and Intuitionistic Logic Help to Avoid Contrary-to-Duty Paradoxes In Legal Ontologies.” In Handbook of the 5th World Congress and School On Universal Logic, 208–307. Istanbul, Turkey: Istanbul University. http://www.uni-log.org/start5.html.Details
  34. Rademaker, Alexandre, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, and Moacyr Alvim. 2015. “A Linked Open Data Architecture for the Historical Archives of the Getulio Vargas Foundation.” International Journal on Digital Libraries 15 (2-4). Springer Berlin Heidelberg: 153–67. doi:10.1007/s00799-015-0147-1.Details
  35. Oliveira, Hugo Gonçalo, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker, Livy Real, and Alberto Simões. 2015. “As Wordnets Do Português.” Oslo Studies in Language 7 (1): 397–424.Details
  36. Cavalin, Paulo Rodrigo, Maira Athanazio C. Gatti, Tiago G. P. Moraes, Fabio S. Oliveira, Claudio S. Pinhanez, Alexandre Rademaker, and Rogerio Abreu de Paula. 2015. “A Scalable Architecture for Real-Time Analysis Of Microblogging Data.” IBM Journal of Research and Development 59 (2/3): 16:1–16:10. doi:10.1147/JRD.2015.2408911.Details
  37. Rademaker, Alexandre, and Vinay K. Chaudhri, eds. 2014. Proceedings of the 6th Workshop on Formal Ontologies Meet Industry (FOMI). Proceedings of the 6th Workshop on Formal Ontologies Meet Industry (FOMI). CEUR Workshop Proceedings. Aachen. http://ceur-ws.org/Vol-1333/.Details
  38. Lécué, Freddy, Robert Tucker, Simone Tallevi-Diotallevi, Rahul Nair, Yiannis Gkoufas, Giuseppe Liguori, Mauro Borioni, Alexandre Rademaker, and Luciano Barbosa. 2014. “Semantic Traffic Diagnosis with STAR-CITY: Architecture and Lessons Learned from Deployment in Dublin, Bologna, Miami and Rio.” In The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva Del Garda, Italy, October 19-23, 2014. Proceedings, Part II, 292–307. doi:10.1007/978-3-319-11915-1_19.Details
  39. Paiva, Valeria De, Dário Oliveira, Suemi Higuchi, Alexandre Rademaker, and Gerard De Melo. 2014. “Exploratory Information Extraction from a Historical Dictionary.” In IEEE 10th International Conference on e-Science (e-Science), 2:11–18. IEEE. doi:http://dx.doi.org/10.1109/eScience.2014.50.Details
  40. Real, Livy, Valeria de Paiva, and Alexandre Rademaker. 2014. “Extending NomLex-PT Using AnCora-Nom.” In Proceedings of Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp), edited by Laura Alonso Alemany, Muntsa Padró, Alexandre Rademaker, and Aline Villavicencio. São Carlos, Brazil: Biblioteca Digital Brasileira de Computação, UFMG, Brazil. http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Evento?id=755.Details
  41. Paiva, Valeria de, Cláudia Freitas, Livy Real, and Alexandre Rademaker. 2014. “Improving the Verb Lexicon of OpenWordnet-PT.” In Proceedings of Workshop on Tools and Resources for Automatically Processing Portuguese and Spanish (ToRPorEsp), edited by Laura Alonso Alemany, Muntsa Padró, Alexandre Rademaker, and Aline Villavicencio. São Carlos, Brazil: Biblioteca Digital Brasileira de Computação, UFMG, Brazil. http://www.lbd.dcc.ufmg.br/bdbcomp/servlet/Evento?id=755.Details
  42. Freitas, Cláudia, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, and Anne de Araujo Correia da Silva. 2014. “Extending a Lexicon of Portuguese Nominalizations with Data from Corpora.” In Computational Processing of the Portuguese Language, 11th International Conference, PROPOR 2014, edited by Jorge Baptista, Nuno Mamede, Sara Candeias, Ivandré Paraboni, Thiago A. S. Pardo, and Maria das Graças Volpe Nunes. São Carlos, Brazil: Springer.Details
  43. Rademaker, Alexandre, and Violeta Ilik. 2014. “Using OAI/PMH for Data Ingest into VIVO Instances.” In Proceedings of VIVO 2014. Austin, TX.Details
  44. Rademaker, Alexandre, and Edward Hermann Haeusler. 2014. “An Intuitionisticaly Based Description Logic.” In Proceedings of the Workshop on Gentzen Systems and Beyond, Vienna Summer of Logic. Vienna, Austria.Details
  45. ———. 2014. “An Intuitionistic ALC Description Default Logic.” In Proceedings of the Workshop of Compositional Meaning in Logic (GeTFun 2.0) on Vienna Summer of Logic. Vienna, Austria.Details
  46. Paiva, Valeria de, Livy Real, Alexandre Rademaker, and Gerard de Melo. 26AD. “NomLex-PT: A Lexicon of Portuguese Nominalizations.” In Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC 2014), edited by Nicoletta Calzolari (Conference Chair), Khalid Choukri, Thierry Declerck, Hrafn Loftsson, Bente Maegaard, Joseph Mariani, Asuncion Moreno, Jan Odijk, and Stelios Piperidis. Reykjavik, Iceland: European Language Resources Association (ELRA).Details
  47. Haeusler, Edward Hermann, and Alexandre Rademaker. 2014. “An Intuitionisticaly Based Description Logic.” Arxiv.Details
  48. Cafezeiro, Isabel, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, and Markus Endler. 2014. “Specifying Ubiquitous Systems through the Algebra of Contextualized Ontologies.” Knowledge Engineering Review 29 (2): 171–85. http://dx.doi.org/10.1017/S0269888914000046.Details
  49. Real, Livy, Alexandre Rademaker, Valeria de Paiva, and Gerard de Melo. 2014. “Embedding NomLex-BR Nominalizations into OpenWordnet-PT.” In Proceedings of the 7th Global WordNet Conference, edited by Heili Orav, Christiane Fellbaum, and Piek Vossen, 378–82. Tartu, Estonia. http://globalwordnet.org/global-wordnet-conferences-2/.Details
  50. Rademaker, Alexandre, Valeria de Paiva, Gerard de Melo, Livy Real, and Maira Gatti. 2014. “OpenWordNet-PT: A Project Report.” In Proceedings of the 7th Global WordNet Conference, edited by Heili Orav, Christiane Fellbaum, and Piek Vossen. Tartu, Estonia. http://globalwordnet.org/global-wordnet-conferences-2/.Details
  51. Rademaker, Alexandre, Suemi Higuchi, and Dário Augusto Borges Oliveira. 2013. “A Linked Open Data Architecture for Contemporary Historical Archives.” In Proceedings of 3rd Edition of the Semantic Digital Archives Workshop, edited by Livia Predoiu, Annett Mitschick, Andreas Nurnberger, Thomas Risse, and Seamus Ross. Valetta, Malta.Details
  52. Rademaker, Alexandre, and Edward Hermann Haeusler. 2013. “Semantic Lattes and VIVO Project.” In Proceedings of VIVO 2013. St. Louis, MO.Details
  53. Branco, Antonio Carlos Saraiva, Fatima Dargam, Alexandre Rademaker, and Renato Rocha de Souza. 2012. “Applying Ontology in the Analysis of a DSS Research Collaboration Network.” In Proceedings of the 25th European Conference On Operational Research, EURO XXV (Stream: Decision Support Systems). Vilnius. http://www.euro-2012.lt/welcome.Details
  54. Paiva, Valeria de, Alexandre Rademaker, and Gerard de Melo. 2012. “OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning.” In Proceedings of COLING 2012: Demonstration Papers, 353–60. Mumbai, India: The COLING 2012 Organizing Committee. http://www.aclweb.org/anthology/C12-3044.Details
  55. Rademaker, Alexandre. 2012. A Proof Theory for Description Logics. SpringerBriefs in Computer Science. Springer. http://dx.doi.org/10.1007/978-1-4471-4002-3.Details
  56. dePaiva, Valeria, and Alexandre Rademaker. 2012. “Revisiting a Brazilian WordNet.” In Proceedings of Global Wordnet Conference. Matsue: Global Wordnet Association.Details
  57. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2011. “Intuitionistic Description Logic and Legal Reasoning.” In 2011 Database and Expert Systems Applications, DEXA, International Workshops. Toulouse: IEEE Computer Society. doi:10.1109/DEXA.2011.46.Details
  58. dePaiva, Valeria, Edward Hermann Haeusler, and Alexandre Rademaker. 2011. “Constructive Description Logics Hybrid-Style.” Electronic Notes in Theoretical Computer Science 273: 21–31.Details
  59. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2011. “Intuitionistic Description Logic for Legal Reasoning.” In XVI The Brazilian Logic Conference. Petrópolis.Details
  60. Souza, Renato Rocha, Suemi Higuchi, Alexandre Rademaker, and Asla Medeiros e Sá. 2011. “Portal Semântico Do CPDOC.” In Anais Do IV Encontro De Bases De Dados Sobre Informações Arquivísticas.Details
  61. Rademaker, Alexandre. 2010. “A Proof Theory for Description Logics.” PhD thesis, Pontifícia Universidade Católica do Rio de Janeiro.Details
  62. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2010. “Using Intuitionistic Logic as a Basis for Legal Ontologies.” In Proceedings of the 4th Workshop on Legal Ontologies and Artificial Intelligence Techniques. Fiesole (Florence): European University Institute.Details
  63. dePaiva, Valeria, Edward Hermann Haeusler, and Alexandre Rademaker. 2010. “Constructive Description Logic Hybrid-Style.” In Pre-Proceedings of International Workshop on Hybrid Logic and Applications. Edinburgh.Details
  64. Haeusler, Edward Hermann, Valeria dePaiva, and Alexandre Rademaker. 2010. “Intuitionistic Logic and Legal Ontologies.” In Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press. doi:10.3233/978-1-60750-682-9-155.Details
  65. ———. 2010. “Using Intuitionistic Logic as a Basis for Legal Ontologies.” Informatica e Diritto 1: 289–98. http://bit.ly/1lZG8d8.Details
  66. Rademaker, Alexandre, and Edward Hermann Haeusler. 2010. “Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning.” Journal of Universal Computer Science (Online) 16: 3016–42.Details
  67. Haeusler, Edward Hermann, and Alexandre Rademaker. 2009. “Is It Important to Explain a Theorem? A Case Study on UML and ALCQI.” In Advances in Conceptual Modeling - Challenging Perspectives (LNCS, ER-2009 Proceedings), 34–44. Berlim: Springer-Verlag.Details
  68. Rademaker, Alexandre, Edward Hermann Haeusler, and Luiz Carlos Pereira. 2009. “On the Proof Theory of ALC.” In The Many Sides of Logic, 273–85. London: College Pulications.Details
  69. Cafezeiro, Isabel, Jose Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, and Markus Endler. 2009. “Designing Ubiquitous Applications: Proposal of a Specification Environment.” In MUCS 2009: Proceedings of the 6th International Workshop on Managing Ubiquitous Communications And Services. New York, NY, USA: ACM.Details
  70. Haeusler, Edward Hermann, and Alexandre Rademaker. 2009. “Is It Important to Explain a Theorem? A Case Study on UML and ALCQI.” In Advances in Conceptual Modeling - Chalenging Perspectives. Berlin: Springer-Verlag.Details
  71. Rademaker, Alexandre, and Edward Hermann Haeusler. 2008. “Toward Short and Structural ALC-Reasoning Explanations: A Sequent Calculus Approach.” In Advances in Artificial Intelligence - SBIA 2008. Heidelberg: Springer Berlin. doi:10.1007/978-3-540-88190-2_22.Details
  72. Rademaker, Alexandre, Edward Hermann Haeusler, and Luiz Carlos Pereira. 2008. “On The Proof Theory of ALC.” In Proceedings of XV Brazilian Logic Conference. Campinas: Unicamp.Details
  73. ———. 2008. “On The Proof Theory of ALC.” CLE e-Prints (Impresso) 8: Article 14.Details
  74. Cafezeiro, Isabel, Edward Hermann Haeusler, and Alexandre Rademaker. 2008. “Ontology and Context.” In IEEE International Conference on Pervasive Computing and Communications. Los Alamitos, CA, USA: IEEE Computer Society. doi:10.1109/PERCOM.2008.21.Details
  75. Cafezeiro, Isabel, Jose Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, and Markus Endler. 2008. “A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing.” In Third International Symposium, ISoLA 2008, Proceddings. Heidelberg: Springer Berlin. doi:10.1007/978-3-540-88479-8_37.Details
  76. Silva, Geiza Maria Hamazaki da, Alexandre Rademaker, Davi Romero de Vasconcelos, Fernando Náufel do Amaral, Carlos Bazílio Martins, Vaston Costa, and Edward Hermann Haeusler. 2007. “Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study.” In Third Australasian Ontology Workshop (AOW 2007). Sydney: Australian Computer Society.Details
  77. Amaral, Fernando Náufel do, Carlos Bazílio Martins, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, and Edward Hermann Haeusler. 2006. “An Ontology-Based Approach to the Formalization of Information Security Policies.” In VORTE - Workshop on Vocabularies, Ontologies, and Rules for the Enterprise.Details
  78. Rademaker, Alexandre. 2005. “Uma Ferramenta Formal Para Especificação e Análise De Arquiteturas De Software.” Master's thesis, Universidade Federal Fluminense.Details
  79. Rademaker, Alexandre, Christiano de Oliveira Braga, and Alexandre Sztajnberg. 2005. “A Rewriting Semantics for a Software Architecture Description Language.” Electronic Notes in Theoretical Computer Science 130: 345–77.Details
  80. ———. 2005. “A Rewriting Semantics for a Software Architecture Description Language.” In Anais Do Simpósio Brasileiro De Métodos Formais De 2004. Recife. doi:10.1016/j.entcs.2005.03.018.Details