Edjard de Souza Mota

According to our database, Edjard de Souza Mota authored at least 24 papers between 1996 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Self-organized inductive reasoning with NeMuS.

Leonardo Barreto, Edjard Mota

CoRR, 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

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

Efficient Predicate Invention using Shared NeMuS.

Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

Self-Organized Inductive Reasoning with NeMuS.

Leonardo Augusto Picanço Barreto, Edjard Mota

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

BGP Dataset Generation and Feature Extraction for Anomaly Detection.

Paulo Fonseca, Edjard S. Mota, Ricardo Bennesby, Alexandre Passito

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

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

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

Learning about Actions and Events in Shared NeMuS.

Milena Rodrigues Tenorio, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez

Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Category-based Inductive Learning in Shared NeMuS.

Ana Carolina Melik Schramm, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez

Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Inductive Learning in Shared Neural Multi-Spaces.

Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez

Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

2016

Shared Multi-Space Representation for Neural-Symbolic Reasoning.

Edjard de Souza Mota, Yan B. Diniz

Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016

2014

AgNOS: A Framework for Autonomous Control of Software-Defined Networks.

Alexandre Passito, Edjard de Souza Mota, Ricardo Bennesby, Paulo Fonseca

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

Innovating on Interdomain Routing with an Inter-SDN Component.

Ricardo Bennesby, Edjard de Souza Mota, Paulo Fonseca, Alexandre Passito

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013

Resilience of SDNs based On active and passive replication mechanisms.

Paulo Fonseca, Ricardo Bennesby, Edjard de Souza Mota, Alexandre Passito

Proceedings of the 2013 IEEE Global Communications Conference, 2013

2012

A replication component for resilient OpenFlow-based networking.

Paulo Fonseca, Ricardo Bennesby, Edjard de Souza Mota, Alexandre Passito

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

An inter-AS routing component for software-defined networks.

Ricardo Bennesby, Paulo Fonseca, Edjard de Souza Mota, Alexandre Passito

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

2010

Lightweight DDoS flooding attack detection using NOX/OpenFlow.

Rodrigo Braga, Edjard de Souza Mota, Alexandre Passito

Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

2009

Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS.

Alexandre Passito, Edjair de Souza Mota, Edjard Mota

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

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

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

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

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

2001

Reasoning about the Temporal Aspects of Interacting Agents.

Edjard Mota

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

2000

Cyclical and Granular Time Theories as Subsets of the Herbrand Universe.

Edjard Mota

Proceedings of the KR 2000, 2000

1996

NatureTime: Temporal Granularity in Simulation of Ecosystems.

Edjard Mota, David Stuart Robertson, Alan Smaill

J. Symb. Comput., 1996

Representing Interaction of Agents at Different Time Granularities.

Edjard Mota, David Stuart Robertson

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996