Representing Interaction of Agents at Different Time Granularities. - Edjard Mota; David Stuart Robertson 001 (TIME, 1996)

NatureTime: Temporal Granularity in Simulation of Ecosystems. - Edjard Mota; David Stuart Robertson 001; Alan Smaill (J. Symb. Comput., 1996)

Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. - Edjard Mota (KR, 2000)

Reasoning about the Temporal Aspects of Interacting Agents. - Edjard Mota (TIME, 2001)

On-Chip Property Verification Using Assertion Processors. - José Augusto Miranda Nacif; Claudionor Nunes Coelho; Harry Foster; Flávio Miana de Paula; Edjard Mota; Márcia Roberta Falcão Mota; Antônio Otávio Fernandes (VLSI-SoC (Selected Papers), 2003)

VeriAgent: an Approach to Integrating UML and Formal Verification Tools. - Edjard Mota; Edmund M. Clarke; Alex Groce; Waleska Oliveira; Marcia Falcão; Jorge Y. Kanda (WMF, 2003)

Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS. - Alexandre Passito; Edjair de Souza Mota; Edjard Mota (SAC, 2009)

Lightweight DDoS flooding attack detection using NOX/OpenFlow. - Rodrigo Braga 001; Edjard de Souza Mota; Alexandre Passito (LCN, 2010)

An inter-AS routing component for software-defined networks. - Ricardo Bennesby; Paulo Fonseca 001; Edjard de Souza Mota; Alexandre Passito (NOMS, 2012)

A replication component for resilient OpenFlow-based networking. - Paulo Fonseca 001; Ricardo Bennesby; Edjard de Souza Mota; Alexandre Passito (NOMS, 2012)

Resilience of SDNs based On active and passive replication mechanisms. - Paulo Fonseca 001; Ricardo Bennesby; Edjard de Souza Mota; Alexandre Passito (GLOBECOM, 2013)

Innovating on Interdomain Routing with an Inter-SDN Component. - Ricardo Bennesby; Edjard de Souza Mota; Paulo Fonseca 001; Alexandre Passito (AINA, 2014)

AgNOS: A Framework for Autonomous Control of Software-Defined Networks. - Alexandre Passito; Edjard de Souza Mota; Ricardo Bennesby; Paulo Fonseca 001 (AINA, 2014)

Shared Multi-Space Representation for Neural-Symbolic Reasoning. - Edjard de Souza Mota; Yan B. Diniz (NeSy@HLAI, 2016)

Inductive Learning in Shared Neural Multi-Spaces. - Edjard de Souza Mota; Jacob M. Howe; Artur S. d'Avila Garcez (NeSy, 2017)

Category-based Inductive Learning in Shared NeMuS. - Ana Carolina Melik Schramm; Edjard de Souza Mota; Jacob M. Howe; Artur S. d'Avila Garcez (NeSy, 2017)

Learning about Actions and Events in Shared NeMuS. - Milena Rodrigues Tenorio; Edjard de Souza Mota; Jacob M. Howe; Artur S. d'Avila Garcez (NeSy, 2017)

A Survey on Approaches to Reduce BGP Interdomain Routing Convergence Delay on the Internet. - Ricardo Bennesby; Edjard de Souza Mota (IEEE Commun. Surv. Tutorials, 2017)

A Survey on Fault Management in Software-Defined Networks. - Paulo César da Rocha Fonseca; Edjard de Souza Mota (IEEE Commun. Surv. Tutorials, 2017)

BGP Dataset Generation and Feature Extraction for Anomaly Detection. - Paulo Fonseca 001; Edjard S. Mota; Ricardo Bennesby; Alexandre Passito (ISCC, 2019)

Self-Organized Inductive Reasoning with NeMuS. - Leonardo Augusto Picanço Barreto; Edjard Mota (NeSy@IJCAI, 2019)

Efficient Predicate Invention using Shared NeMuS. - Edjard Mota; Jacob M. Howe; Ana Schramm; Artur S. d'Avila Garcez (NeSy@IJCAI, 2019)

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. - Luiz H. Sena; Iury Valente de Bessa; Mikhail Y. R. Gadelha; Lucas C. Cordeiro; Edjard Mota (SBESC, 2019)

Self-organized inductive reasoning with NeMuS. - Leonardo Barreto; Edjard Mota (CoRR, 2019)

Reasoning in Neurosymbolic AI. - Son Tran; Edjard Mota; Artur d'Avila Garcez (CoRR, 2025)