Centrum Wiskunde & Informatica

The quest for equational axiomatizations of parallel composition: Status and open problems In Proceedings

L. Aceto (Luca) and W.J. Fokkink (Wan)

January 2006
The Mertens conjecture revisited In Proceedings

T. Kotnik and H.J.J. te Riele (Herman)

January 2006
Bisimilarity is not finitely based over BPA with interrupt In Proceedings

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

January 2006
Guest editors’ introduction: Special issue on Process Theory for hybrid systems Article

Journal of Logic and Algebraic Programming, 1-3.

J.C.M. Baeten (Jos) and S.P. Luttik (Bas)

January 2006
Simulated Time for Testing Railway Interlockings with TTCN-3 In Proceedings

S.C.C. Blom (Stefan), N. Ioustinova (Natalia), J.C. van de Pol (Jaco), A. Rennoch and N. Sidorova

January 2006
An intruder model for verifying liveness in security protocols In Proceedings

J.G. Cederquist and M.T. Dashti (Mohammad)

January 2006
On finite alphabets, infinite bases III: Simulation In Proceedings

T. Chen (Taolue) and W.J. Fokkink (Wan)

January 2006
Polynomial Interpolation of Cryptographic Functions Related to the Diffie-Hellman and Discrete Logarithm Problem Article

Discrete Applied Mathematics, 326-336.

E. Kiltz (Eike) and A. Winterhof

January 2006

Previous

Next