| 2009 |
|---|
| 6 | EE | 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 |
| 2004 |
|---|
| 5 | EE | Edjard Mota,
Edmund M. Clarke,
Alex Groce,
Waleska Oliveira,
Marcia Falcão,
Jorge Kanda:
VeriAgent: an Approach to Integrating UML and Formal Verification Tools.
Electr. Notes Theor. Comput. Sci. 95: 111-129 (2004) |
| 2001 |
|---|
| 4 | EE | Edjard Mota:
Reasoning about the Temporal Aspects of Interacting Agents.
TIME 2001: 57-62 |
| 2000 |
|---|
| 3 | | Edjard Mota:
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe.
KR 2000: 366-377 |
| 1996 |
|---|
| 2 | | Edjard Mota,
David Stuart Robertson:
Representing Interaction of Agents at Different Time Granularities.
TIME 1996: 72-79 |
| 1 | | Edjard Mota,
David Stuart Robertson,
Alan Smaill:
NatureTime: Temporal Granularity in Simulation of Ecosystems.
J. Symb. Comput. 22(5/6): 665-698 (1996) |
