Centrum Wiskunde & Informatica

On solving implicit differential equations on parallel computers Article

Rendiconti del Seminario Matematico e Fisico di Milano, 159-178.

P.J. van der Houwen (Piet) and W.A. van der Veen (Wolter)

January 1995
Secure signature schemes based on interactive protocols In Proceedings

R.J.F. Cramer (Ronald) and I.B. Damgård (Ivan)

January 1995
Algorithmic arguments in physics of computation In Proceedings

P.M.B. Vitányi (Paul) and M. Li (Ming)

January 1995
Proofs of partial knowledge and simplified design of witness hiding protocols Article

CWI Quarterly, 8(2), 111-127.

R.J.F. Cramer (Ronald), L.A.M. Schoenmakers (Berry) and I.B. Damgård (Ivan)

January 1995
Three logics for branching bisimulation Article

Journal of the Association for Computing Machinery, 42(2), 458-487.

R. de Nicola and F.W. Vaandrager (Frits)

January 1995
Action-angle Maps and Scattering Theory for Some Finite-dimensional Integrable Systems III. Sutherland Type Systems and their Duals Article

Publications of the Research Institute for Mathematical Sciences, 31(2), 247-353.

S.N.M. Ruijsenaars (Simon)

January 1995
Twentieth conference on the mathematics of operations research, and: Sixth international workshop Landelijk Netwerk Mathematische Besliskunde, Lunteren, 10-12.01.1995 Booklet

January 1995
Queueing models with dependence structures Dissertation

M.B. Combé (Marco)

January 1995

Previous

Next