Centrum Wiskunde & Informatica

Modeling bilateral negotiations over multiple, interdependent issues using utility graphs In Proceedings

V. Robu (Valentin), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2005
Controlling Object Allocation Using Creation Guards In Proceedings

C. Pierik, D.G. Clarke (David) and F.S. de Boer (Frank)

January 2005
Maintenance Routing for Train Units: The Transition Model Article

Transportation Science, 39(4), 518-525.

G. Maróti (Gábor) and L.G. Kroon

January 2005
A proof outline logic for object-oriented programming Article

Theoretical Computer Science, 343(3), 413-442.

C. Pierik and F.S. de Boer (Frank)

January 2005
Formalizing UML Models and OCL Constraints in PVS Article

Electronic Notes in Theoretical Computer Science, 39-47.

M. Kyas (Marcel), H. Fecher, F.S. de Boer (Frank), J.F. Jacob (Joost), J. Hooman, M.B. van der Zwaag, T. Arons and H. Kugler

January 2005
A Compositional Trace Logic For Behavioral Interface Specifications Article

Nordic Journal of Computing, 12(2), 116-132.

M. Kyas (Marcel), F.S. de Boer (Frank) and W.P. de Roever

January 2005
On the Computability of Reachable and Invariant Sets In Proceedings

P.J. Collins (Pieter)

January 2005
Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Master Thesis

K. Schwarz

January 2005

Previous

Next