| 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) | |
| 1 | Edmund M. Clarke | [5] |
| 2 | Marcia Falcão | [5] |
| 3 | Alex Groce | [5] |
| 4 | Jorge Kanda | [5] |
| 5 | Waleska Oliveira | [5] |
| 6 | David Stuart Robertson | [1] [2] |
| 7 | Alan Smaill | [1] |