Centrum Wiskunde & Informatica

What is algebraic in process theory? Article

Bulletin of the EATCS

S.P. Luttik (Bas)

January 2006
A language independent framework 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

January 2006
Linking analysis and transformations tools with source-based mappings In Proceedings

M. Bruntink (Magiel)

January 2006
Countering Digital Forensics: An Identity Based Ephemerizer Cryptosystem Tech Report

S.K. Nair, C. Gamage, M.T. Dashti (Mohammad), B. Crispo and A.S. Tanenbaum (Andrew)

January 2006
Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday Book Chapter

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and R. de Vrijer

January 2006
Model checking software for microcontrollers Tech Report

B. Schlich, M. Rohrbach, M. Weber (Michael) and S. Kowalewski

January 2006
A Rationale for Creating an interactive-tv profile for smil In Proceedings

D.C.A. Bulterman (Dick)

January 2006
Experiences with User-Centered Multimedia systems deployment In Proceedings

D.C.A. Bulterman (Dick)

January 2006

Previous

Next