Publication
-
How to decide what to do? Article
Operations Research, 160(3), 762-784.January 2005 -
Coordination and composition in multi-agent systems In Proceedings
January 2005
-
Proceedings CIM 05 Proceedings
January 2005 -
Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings
January 2005 -
Semantic Models of a Timed Distributed Dataspace Architecture Article
Theoretical Computer Science, 331(2-3), 291-323.January 2005
-
TIJAH: embracing IR methods in XML databases Article
Information Retrieval Journal, 8(4), 547-570.January 2005
-
Zero, Sucessor and Equality in BDDs Article
Annals of Pure and Applied Logic, 101-123.January 2005
-
January 2005