Edjard Mota

Publication Activity (10 Years)

Years Active: 1996-2019
Publications (10 Years): 6

Top Topics

Using Artificial Neural Networks

Predicate Invention

Bounded Model Checking

Top Venues

Publications

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)
Leonardo Augusto Picanço Barreto, Edjard Mota
Self-Organized Inductive Reasoning with NeMuS. NeSy@IJCAI (2019)
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 (2019)
Leonardo Barreto, Edjard Mota
Self-organized inductive reasoning with NeMuS. CoRR (2019)
Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
Efficient Predicate Invention using Shared NeMuS. NeSy@IJCAI (2019)
Edjard Mota, Jacob M. Howe, Ana Carolina Melik Schramm, Artur S. d'Avila Garcez
Efficient predicate invention using shared "NeMuS". CoRR (2019)
Alexandre Passito, Edjair de Souza Mota, Edjard Mota
Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS. SAC (2009)
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. Electron. Notes Theor. Comput. Sci. 95 (2004)
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)
Edjard Mota
Reasoning about the Temporal Aspects of Interacting Agents. TIME (2001)
Edjard Mota
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. KR (2000)
Edjard Mota, David Stuart Robertson, Alan Smaill
NatureTime: Temporal Granularity in Simulation of Ecosystems. J. Symb. Comput. 22 (5/6) (1996)
Edjard Mota, David Stuart Robertson
Representing Interaction of Agents at Different Time Granularities. TIME (1996)