Centrum Wiskunde & Informatica

Skew and mega-skew confluence and abstract böhm semantics Book Chapter

Z.M. Ariola (Zena) and S.C.C. Blom (Stefan)

January 2005
Introductory paper Special section on formal methods for industrial critical systems Article

International Journal on Software Tools for Technology Transfer, 7(3), 195-196.

T. Arts and J.C. van de Pol (Jaco)

January 2005
A parallel least-squares spectral element solver for incompressible flow problems on unstructured grids Article

Parallel Computing, 414-438.

M. Nool (Margreet) and M.M.J. Proot

January 2005
Reconstructing requirements coverage views from design and test using traceability recovery via LSI In Proceedings

M. Lormans (Marco) and A. van Deursen (Arie)

January 2005
A state space distribution policy based on abstract interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.V. Espada

January 2005
Distributed state space minimization Article

International Journal on Software Tools for Technology Transfer, 7(3), 280-291.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

January 2005
Cruising the Semantic Web with Noadster (poster description in conference proceedings) In Proceedings

L. Rutledge (Lloyd) and J.R. van Ossenbruggen (Jacco)

January 2005
Generalized Semantics-to-Document Derivation Magazine Article

L. Rutledge (Lloyd), M. Alberink, L. Hardman (Lynda) and M. Veenstra

January 2005

Previous

Next