Formalizing UML Models and OCL Constraints in PVS In Proceedings

F.S. de Boer (Frank)

How to decide what to do? Article

M. Dastani, J. Hulstijn and L.W.N. van der Torre (Leon)

Coordination and composition in multi-agent systems In Proceedings

M. Dastani, F. Arbab (Farhad) and F.S. de Boer (Frank)

Proceedings CIM 05 Proceedings

Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

Semantic Models of a Timed Distributed Dataspace Architecture Article

J. Hooman and J.C. van de Pol (Jaco)

TIJAH: embracing IR methods in XML databases Article

J.A. List (Johan), V. Mihajlovic, G. Ramirez Camps (Georgina), A.P. de Vries (Arjen), D. Hiemstra and H.E. Blok (Henk Ernst)

Zero, Sucessor and Equality in BDDs Article

B. Badban (Bahareh) and J.C. van de Pol (Jaco)