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 -
Adaptive Quality-of-Service Support in Heterogeneous Networks: Results of a Trans-European Experiment Tech Report
D.C.A. Bulterman (Dick), P. Beertema (Piet) and K.S. Mullender (Sjoerd)
January 1995 -
Embedded video in hypermedia documents: Supporting integration and adaptive control Article
ACM Transactions on Information Systems, 1-30.January 1995
-
Multimedia authoring tools: State of the art and research challenges Article
Lecture Notes in Computer Science, 575-591.January 1995
-
January 1995
-
January 1995
-
Towards the generation of hypermedia structure In Proceedings
January 1995