- CoRR (2009)
- MASS, page 442-449. IEEE, (2008)
- CPM, volume 1448 of Lecture Notes in Computer Science, page 34-54. Springer, (1998)
- Mobile Object Systems, volume 1222 of Lecture Notes in Computer Science, page 25-45. Springer, (1996)
- Algorithmica 4(3):365-393 (1989)
- Ontology Management: Semantic Web, Semantic Web Services, and Business Applications, volume 7 of Semantic Web And Beyond Computing for Human Experience, Springer, (2008)
- BMC Bioinformatics (2005)
- Ontology Management, volume 7 of Semantic Web And Beyond Computing for Human Experience, Springer, (2008)
- AFIPS National Computer Conference, volume 43 of AFIPS Conference Proceedings, page 583-591. AFIPS Press, (1974)
- Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 303-316. Springer, (1989)
- 6th International Conference Recherche d'Information Assistee par Ordinateur RIAO-00, page 302--313. Paris, FR, (2000)
- Lecture notes in computer science (2006)
- Lecture notes in computer science (2007)
- The Semantic Web - ISWC 2006 (2006)
- RIAO, page 302-313. CID, (2000)
- OWLED, volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)
- WoMO, volume 315 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)
- (2008)
- (2008)
- Proceedings of the Second International Workshop on Mobile Object Systems, volume 1222 of Lecture Notes in Computer Science, page 25-47. Linz, Austria, Springer-Verlag, (July 1996)


author