Edjard de Souza Mota

Orcid: 0000-0002-1313-5276

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Self-organized inductive reasoning with NeMuS.
CoRR, 2019

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

Efficient Predicate Invention using Shared NeMuS.
Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

Self-Organized Inductive Reasoning with NeMuS.
Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

BGP Dataset Generation and Feature Extraction for Anomaly Detection.
Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

2017
A Survey on Fault Management in Software-Defined Networks.
IEEE Commun. Surv. Tutorials, 2017

A Survey on Approaches to Reduce BGP Interdomain Routing Convergence Delay on the Internet.
IEEE Commun. Surv. Tutorials, 2017

Learning about Actions and Events in Shared NeMuS.
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Category-based Inductive Learning in Shared NeMuS.
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

Inductive Learning in Shared Neural Multi-Spaces.
Proceedings of the Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017

2016
Shared Multi-Space Representation for Neural-Symbolic Reasoning.
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.
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

Innovating on Interdomain Routing with an Inter-SDN Component.
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.
Proceedings of the 2013 IEEE Global Communications Conference, 2013

2012
A replication component for resilient OpenFlow-based networking.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

An inter-AS routing component for software-defined networks.
Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

2010
Lightweight DDoS flooding attack detection using NOX/OpenFlow.
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.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2003
VeriAgent: an Approach to Integrating UML and Formal Verification Tools.
Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003

On-Chip Property Verification Using Assertion Processors.
Proceedings of the VLSI-SOC: From Systems to Chips, 2003

2001
Reasoning about the Temporal Aspects of Interacting Agents.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

2000
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe.
Proceedings of the KR 2000, 2000

1996
NatureTime: Temporal Granularity in Simulation of Ecosystems.
J. Symb. Comput., 1996

Representing Interaction of Agents at Different Time Granularities.
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996


  Loading...