Centrum Wiskunde & Informatica

Loop checking in logic programming Book

R.N. Bol

January 1995
Stochastic scheduling and dynamic programming Book

G.M. Koole (Ger)

January 1995
Efficient and inefficient estimation in semiparametric models Book

M.J. van der Laan

January 1995
An algebraic view of structural induction In Proceedings

C. Hermida and B.P.F. Jacobs

January 1995
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

Previous

Next