CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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.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.January 1995 -
January 1995 -
January 1995 -
February 1995
-
February 1995
-
March 1995