Publication

Common knowledge in update logics In Proceedings

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan) and B. Kooi

An architecture for context-sensitive formatting In Proceedings

M.G.J. van den Brand (Mark), A.T. Kooiker (Taeke), J.J. Vinju (Jurgen) and N.P. Veerman

A generator of efficient strongly typed abstract syntax trees in Java Article

M.G.J. van den Brand (Mark), P.-E. Moreau and J.J. Vinju (Jurgen)

Generalized type-based disambiguation of meta programs with concrete object syntax In Proceedings

M. Bravenboer, R. Vermaas, J.J. Vinju (Jurgen) and E. Visser (Eelco)

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

Cruising the Semantic Web with Noadster Magazine Article

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

Guest editorial: Software reverse engineering Article

A. van Deursen (Arie) and E. Burd

A JHotDraw: A showcase for refactoring to aspects In Proceedings

A. van Deursen (Arie), A.M. Marin (Marius) and L.M.F. Moonen (Leon)