CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2008
-
Communication in the Presence of Replication In Proceedings
January 2008 -
Weak Pseudorandom Functions in Minicrypt In Proceedings
January 2008
-
Robust Multi-property Combiners for Hash Functions Revisited In Proceedings
January 2008
-
Recasting Constraint Automata into Buchi Automata In Proceedings
January 2008 -
January 2008
-
Static Check of WSCDL Documents In Proceedings
L. Zhou, H. Zhang (Haoyuan), T. Wang (Tao), C. Yang, Z. Wang, M. Sun (Meng) and G. Pu (Geguang)
January 2008 -
Synthesizing nonblocking distributed supervision based on automata abstraction In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2008