Centrum Wiskunde & Informatica

Toward an engineering discipline for grammarware Article

ACM Transactions on Software Engineering and Methodology, 14(3), 331-380.

P. Klint (Paul), R. Lämmel (Ralf) and C. Verhoef (Chris)

January 2005
Term rewriting meets aspect oriented programming Book Chapter

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2005
A probabilistic approach to the medical retrieval task In Proceedings

K. Lubbers, A.P. de Vries (Arjen), T. Huibers and P. van der Vet

January 2005
Sisyphus. Continuous integration system Manual

T. van der Storm (Tijs)

January 2005
Inzien en bewijzen - Docentenhandleiding Book

D.J.N. van Eijck (Jan) and A. Visser

January 2005
CCS with Hennessy's merge has no finite-equational axiomatization Article

Chicago Journal of Theoretical Computer Science, 330(3), 377-405.

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2005
Finite equational bases in process algebra: Results and open questions Book Chapter

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2005
Formal methods impact on ANSI standard HL7/IM: filling gaps in MSC theory In Proceedings

W. Wesselink, N. Goga (Nicolae), A.J. Mooij (Arjan) and R. Spronk

January 2005

Previous

Next