Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEdjard de Souza Mota
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2017
[j3]Paulo César da Rocha Fonseca
, Edjard de Souza Mota:
A Survey on Fault Management in Software-Defined Networks. IEEE Commun. Surv. Tutorials 19(4): 2284-2321 (2017)- [j2]Ricardo Bennesby, Edjard de Souza Mota:
A Survey on Approaches to Reduce BGP Interdomain Routing Convergence Delay on the Internet. IEEE Commun. Surv. Tutorials 19(4): 2949-2984 (2017) - 1996
- [j1]Edjard Mota, David Stuart Robertson, Alan Smaill:
NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22(5/6): 665-698 (1996)
Conference and Workshop Papers
- 2019
- [c20]Paulo Fonseca, Edjard S. Mota, Ricardo Bennesby, Alexandre Passito:
BGP Dataset Generation and Feature Extraction for Anomaly Detection. ISCC 2019: 1-6 - [c19]Leonardo Augusto Picanço Barreto, Edjard Mota:
Self-Organized Inductive Reasoning with NeMuS. NeSy@IJCAI 2019 - [c18]Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez:
Efficient Predicate Invention using Shared NeMuS. NeSy@IJCAI 2019 - [c17]Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota:
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. SBESC 2019: 1-8 - 2017
- [c16]Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez:
Inductive Learning in Shared Neural Multi-Spaces. NeSy 2017 - [c15]Ana Carolina Melik Schramm, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez:
Category-based Inductive Learning in Shared NeMuS. NeSy 2017 - [c14]Milena Rodrigues Tenorio, Edjard de Souza Mota, Jacob M. Howe, Artur S. d'Avila Garcez:
Learning about Actions and Events in Shared NeMuS. NeSy 2017 - 2016
- [c13]Edjard de Souza Mota, Yan B. Diniz:
Shared Multi-Space Representation for Neural-Symbolic Reasoning. NeSy@HLAI 2016 - 2014
- [c12]Ricardo Bennesby, Edjard de Souza Mota, Paulo Fonseca, Alexandre Passito:
Innovating on Interdomain Routing with an Inter-SDN Component. AINA 2014: 131-138 - [c11]Alexandre Passito, Edjard de Souza Mota, Ricardo Bennesby, Paulo Fonseca:
AgNOS: A Framework for Autonomous Control of Software-Defined Networks. AINA 2014: 405-412 - 2013
- [c10]Paulo Fonseca, Ricardo Bennesby, Edjard de Souza Mota, Alexandre Passito:
Resilience of SDNs based On active and passive replication mechanisms. GLOBECOM 2013: 2188-2193 - 2012
- [c9]Ricardo Bennesby, Paulo Fonseca, Edjard de Souza Mota, Alexandre Passito:
An inter-AS routing component for software-defined networks. NOMS 2012: 138-145 - [c8]Paulo Fonseca, Ricardo Bennesby, Edjard de Souza Mota, Alexandre Passito:
A replication component for resilient OpenFlow-based networking. NOMS 2012: 933-939 - 2010
- [c7]Rodrigo Braga, Edjard de Souza Mota, Alexandre Passito:
Lightweight DDoS flooding attack detection using NOX/OpenFlow. LCN 2010: 408-415 - 2009
- [c6]Alexandre Passito, Edjair de Souza Mota, Edjard Mota:
Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS. SAC 2009: 86-87 - 2003
- [c5]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:
On-Chip Property Verification Using Assertion Processors. VLSI-SoC (Selected Papers) 2003: 101-117 - [c4]Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda:
VeriAgent: an Approach to Integrating UML and Formal Verification Tools. WMF 2003: 111-129 - 2001
- [c3]Edjard Mota:
Reasoning about the Temporal Aspects of Interacting Agents. TIME 2001: 57-62 - 2000
- [c2]Edjard Mota:
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. KR 2000: 366-377 - 1996
- [c1]Edjard Mota, David Stuart Robertson:
Representing Interaction of Agents at Different Time Granularities. TIME 1996: 72-79
Informal and Other Publications
- 2019
- [i3]Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez:
Efficient predicate invention using shared "NeMuS". CoRR abs/1906.06455 (2019) - [i2]Leonardo Barreto, Edjard Mota:
Self-organized inductive reasoning with NeMuS. CoRR abs/1906.06761 (2019) - [i1]Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota:
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA. CoRR abs/1907.12933 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-09 04:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
