dblp.uni-trier.dewww.uni-trier.de

Edjard Mota Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
6EEAlexandre 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
5EEEdjard 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
4EEEdjard 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)

Coauthor Index

1Edmund M. Clarke [5]
2Marcia Falcão [5]
3Alex Groce [5]
4Jorge Kanda [5]
5Edjair de Souza Mota [6]
6Waleska Oliveira [5]
7Alexandre Passito [6]
8David Stuart Robertson (David Robertson) [1] [2]
9Alan Smaill [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)