A Rewriting Semantics for a Software Architecture Description Language. - Alexandre Rademaker; Christiano de Oliveira Braga; Alexandre Sztajnberg (SBMF, 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)

A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. - Isabel Cafezeiro; José Viterbo Filho; Alexandre Rademaker; Edward Hermann Haeusler; Markus Endler (ISoLA, 2008)

Ontology and Context. - Isabel Cafezeiro; Edward Hermann Haeusler; Alexandre Rademaker (PerCom, 2008)

Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. - Alexandre Rademaker; Edward Hermann Haeusler (SBIA, 2008)

Is It Important to Explain a Theorem? A Case Study on UML and ALCQI mathcal{ALCQI}. - Edward Hermann Haeusler; Alexandre Rademaker (ER Workshops, 2009)

Intuitionistic Logic and Legal Ontologies. - Edward Hermann Haeusler; Valeria de Paiva; Alexandre Rademaker (JURIX, 2010)

Constructive Description Logics Hybrid-Style. - Valeria de Paiva; Edward Hermann Haeusler; Alexandre Rademaker (HyLo@LICS, 2010)

Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. - Alexandre Rademaker; Edward Hermann Haeusler (J. Univers. Comput. Sci., 2010)

Intuitionistic Description Logic and Legal Reasoning. - Edward Hermann Haeusler; Valeria de Paiva; Alexandre Rademaker (DEXA Workshops, 2011)

A Proof Theory for Description Logics. - Alexandre Rademaker (Springer, 2012)

OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. - Valeria de Paiva; Alexandre Rademaker; Gerard de Melo (COLING (Demos), 2012)

A Linked Open Data Architecture for Contemporary Historical Archives. - Alexandre Rademaker; Suemi Higuchi; Dário Augusto Borges Oliveira (SDA, 2013)

Exploratory Information Extraction from a Historical Dictionary. - Valeria de Paiva; Dário Augusto Borges Oliveira; Suemi Higuchi; Alexandre Rademaker; Gerard de Melo (eScience Workshops, 2014)

NomLex-PT: A Lexicon of Portuguese Nominalizations. - Valeria de Paiva; Livy Real; Alexandre Rademaker; Gerard de Melo (LREC, 2014)

Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. - Cláudia Freitas; Valeria de Paiva; Alexandre Rademaker; Gerard de Melo; Livy Real; Anne Silva (PROPOR, 2014)

Semantic Traffic Diagnosis with STAR-CITY: Architecture and Lessons Learned from Deployment in Dublin, Bologna, Miami and Rio. - Freddy Lécué; Robert Tucker; Simone Tallevi-Diotallevi; Rahul Nair; Yiannis Gkoufas; Giuseppe Liguori; Mauro Borioni; Alexandre Rademaker; Luciano Barbosa (ISWC (2), 2014)

Embedding NomLex-BR nominalizations into OpenWordnet-PT. - Alexandre Rademaker; Valeria de Paiva; Gerard de Melo; Livy-Maria Real-Coelho (GWC, 2014)

OpenWordNet-PT: A Project Report. - Alexandre Rademaker; Valeria de Paiva; Gerard de Melo; Livy Real; Maira Gatti (GWC, 2014)

An Intuitionisticaly based Description Logic. - Edward Hermann Haeusler; Alexandre Rademaker (CoRR, 2014)

Specifying ubiquitous systems through the algebra of contextualized ontologies. - Isabel Cafezeiro; José Viterbo; Alexandre Rademaker; Edward Hermann Haeusler; Markus Endler (Knowl. Eng. Rev., 2014)

Seeing is Correcting: curating lexical resources using social interfaces. - Livy Real; Fabricio Chalub; Valeria de Paiva; Cláudia Freitas; Alexandre Rademaker (LDL@IJCNLP, 2015)

HAREM and Klue: how to put two tagsets for named entities annotation together. - Livy Real; Alexandre Rademaker (NEWS@ACL, 2015)

Anotação de corpus com a OpenWordNet-PT: um exercício de desambiguação (Sense annotation with OpenWordNet-PT: an exercise of word sense disambiguation). - Cláudia Freitas; Livy Real; Alexandre Rademaker (STIL, 2015)

A scalable architecture for real-time analysis of microblogging data. - Paulo Rodrigo Cavalin; Maíra A. de C. Gatti; Tiago Gomes Pessoa de Moraes; Fabio Silva Oliveira; Claudio S. Pinhanez; Alexandre Rademaker; Rogério Abreu de Paula (IBM J. Res. Dev., 2015)

A linked open data architecture for the historical archives of the Getulio Vargas Foundation. - Alexandre Rademaker; Dário Augusto Borges Oliveira; Valeria de Paiva; Suemi Higuchi; Asla Medeiros e Sá; Moacyr Alvim 001 (Int. J. Digit. Libr., 2015)

Semantic Links for Portuguese. - Fabricio Chalub; Livy Real; Alexandre Rademaker; Valeria de Paiva (LREC, 2016)

Making Virtue of Necessity: A Verb Lexicon. - Valeria de Paiva; Fabricio Chalub; Livy Real; Alexandre Rademaker (PROPOR, 2016)

An overview of Portuguese WordNets. - Valeria de Paiva; Livy Real; Hugo Gonçalo Oliveira; Alexandre Rademaker; Cláudia Freitas; Alberto Simões 001 (GWC, 2016)

Verifying Integrity Constraints of a RDF-based WordNet. - Alexandre Rademaker; Fabricio Chalub (GWC, 2016)

Proceedings of the LexSem+Logics Workshop 2016. - Steven Neale; Valeria de Paiva; Arantxa Otegi; Alexandre Rademaker (CoRR, 2016)

Universal Dependencies for Portuguese. - Alexandre Rademaker; Fabricio Chalub; Livy Real; Cláudia Freitas; Eckhard Bick; Valeria de Paiva (DepLing, 2017)

Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. - Pedro Delfino; Bruno Cuconato; Edward Hermann Haeusler; Alexandre Rademaker (JURIX, 2017)

Two Corpus Based Experiments with the Portuguese and English Wordnets. - Alexandre Rademaker; Fabricio Chalub; Cláudia Freitas (LDK Workshops, 2017)

Utilizing iALC to Formalize the Brazilian OAB Exam. - Bernardo Alkmim; Edward Hermann Haeusler; Alexandre Rademaker (XAILA@JURIX, 2018)

Linguistic Legal Concept Extraction in Portuguese. - Alessandra Cid; Alexandre Rademaker; Bruno Cuconato; Valeria de Paiva (JURIX, 2018)

Text Mining for History: first steps on building a large dataset. - Suemi Higuchi; Cláudia Freitas; Bruno Cuconato; Alexandre Rademaker (LREC, 2018)

Challenges for Information Extraction in the Oil and Gas Domain. - Alexandre Rademaker (ONTOBRAS, 2018)

Tagsets and Datasets: Some Experiments Based on Portuguese Language. - Cláudia Freitas; Luiza F. Trugo; Fabricio Chalub; Guilherme Paulino-Passos; Alexandre Rademaker (PROPOR, 2018)

Using OpenWordnet-PT for Question Answering on Legal Domain. - Pedro Delfino; Bruno Cuconato; Guilherme Paulino-Passos; Gerson Zaverucha; Alexandre Rademaker (GWC, 2018)

Extending Wordnet to Geological Times. - Henrique Muniz; Fabricio Chalub; Alexandre Rademaker; Valeria de Paiva (GWC, 2018)

On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. - Edward Hermann Haeusler; Alexandre Rademaker (CoRR, 2018)

Distant reading Brazilian politics. - Suemi Higuchi; Diana Santos; Cláudia Freitas; Alexandre Rademaker (DHN, 2019)

A Category-theoretic Approach for the Detection of Conservativity Violations in Ontology Alignments. - Cauã Roca Antunes; Alexandre Rademaker; Mara Abel (ONTOBRAS, 2019)

Extending SUMO to Geological Times. - Alexandre Tessarollo; Alexandre Rademaker; Adam Pease (ONTOBRAS, 2019)

English WordNet 2019 - An Open-Source WordNet for English. - John P. McCrae; Alexandre Rademaker; Francis Bond; Ewa Rudnicka; Christiane Fellbaum (GWC, 2019)

Fast developing of a Natural Language Interface for a Portuguese WordNet: Leveraging on Sentence Embeddings. - Hugo Gonçalo Oliveira; Alexandre Rademaker (GWC, 2019)

Portuguese Manners of Speaking. - Valeria de Paiva; Alexandre Rademaker (GWC, 2019)

Completing the Princeton Annotated Gloss Corpus Project. - Alexandre Rademaker; Bruno Cuconato; Alessandra Cid; Alexandre Tessarollo; Henrique Andrade (GWC, 2019)

English WordNet 2020: Improving and Extending a WordNet for English using an Open-Source Methodology. - John Philip McCrae; Alexandre Rademaker; Ewa Rudnicka; Francis Bond (MMW@LREC, 2020)

Inclusion of Lithological terms (rocks and minerals) in The Open Wordnet for English. - Alexandre Tessarollo; Alexandre Rademaker (MMW@LREC, 2020)

The Construction of a Corpus from the Brazilian Historical-Biographical Dictionary. - Lucas Ribeiro; Jaqueline P. Zulini; Alexandre Rademaker (PROPOR, 2020)

On the Utility of Word Embeddings for Enriching OpenWordNet-PT. - Hugo Gonçalo Oliveira; Fredson Silva de Souza Aguiar; Alexandre Rademaker (LDK, 2021)

The GlobalWordNet Formats: Updates for 2020. - John P. McCrae; Michael Wayne Goodman; Francis Bond; Alexandre Rademaker; Ewa Rudnicka; Luís Morgado da Costa (GWC, 2021)

A faster and less aggressive algorithm for correcting conservativity violations in ontology alignments. - Cauã Roca Antunes; Alexandre Rademaker; Mara Abel (Appl. Ontology, 2021)

Universal Proposition Bank 2.0. - Ishan Jindal; Alexandre Rademaker; Michal Ulewicz; Ha Linh; Huyen Nguyen; Khoi-Nguyen Tran; Huaiyu Zhu 001; Yunyao Li 001 (LREC, 2022)

Extracting Valences from a Dependency Treebank for Populating the Verb Lexicon of a Portuguese HPSG Grammar. - Leonel Figueiredo de Alencar; Lucas Ribeiro Coutinho; Wellington José Leite da Silva; Ana Luiza Nunes; Alexandre Rademaker (PROPOR, 2022)

PriMeSRL-Eval: A Practical Quality Metric for Semantic Role Labeling Systems Evaluation. - Ishan Jindal; Alexandre Rademaker; Khoi-Nguyen Tran; Huaiyu Zhu 001; Hiroshi Kanayama; Marina Danilevsky; Yunyao Li 001 (EACL (Findings), 2023)

Extracting higher-order logic formulas from English sentences. - Alexandre Rademaker; Guilherme Lima; Renato Cerqueira (ICNLSP, 2023)

Documenting the Open Multilingual Wordnet. - Francis Bond; Michael Wayne Goodman; Ewa Rudnicka; Luís Morgado da Costa; Alexandre Rademaker; John P. McCrae (GWC, 2023)

Semantic Parsing and Sense Tagging the Princeton WordNet Gloss Corpus. - Alexandre Rademaker; Abhishek Basu; Rajkiran Veluri (GWC, 2023)

Towards a Brazilian History Knowledge Graph. - Valeria de Paiva; Alexandre Rademaker (CoRR, 2024)

Automated, LLM enabled extraction of synthesis details for reticular materials from scientific literature. - Viviane Torres da Silva; Alexandre Rademaker; Krystelle Lionti; Ronaldo Giro; Geisa Lima; Sandro Rama Fiorini; Marcelo Archanjo; Breno W. Carvalho; Rodrigo Neumann; Anaximandro Souza; João Pedro Souza; Gabriela de Valnisio; et al. (CoRR, 2024)

ULKB Logic: A HOL-based framework for reasoning over knowledge graphs. - Guilherme Lima; Alexandre Rademaker; Rosario Uceda-Sosa (Sci. Comput. Program., 2025)