Centrum Wiskunde & Informatica

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
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM Article

Journal of Universal Computer Science, 981-1006.

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2006
Coordinated Composition of Software Components Book Chapter

F. Arbab (Farhad)

January 2006
Logics of communication and change Article

Information and Computation, 1620-1662.

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

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
What is algebraic in process theory? Article

Bulletin of the EATCS

S.P. Luttik (Bas)

January 2006
Nuovo DRM Paradiso: Towards a verified, fair DRM protocol In Proceedings

H.L. Jonker (Hugo), M.T. Dashti (Mohammad) and S.K. Nair

January 2006
Learning Inventory Management Strategies for Commodity Supply Chains with customer satisfaction In Proceedings

J. van Luin (Jeroen), J.A. La Poutré (Han) and J. Bertrand

January 2006

Previous

Next