Centrum Wiskunde & Informatica

An algebraic view of structural induction In Proceedings

C. Hermida and B.P.F. Jacobs

January 1995
Near-optimal distributed edge coloring In Proceedings

D. Dubhashi and A. Panconesi

January 1995
On termination of constraint logic programs In Proceedings

L. Colussi (Livio), E. Marchiori and M. Marchiori

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

Previous

Next