CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Hardness and Algorithms for Rainbow Connectivity In Proceedings
S. Chakraborty (Sourav), E. Fischer, A. Matsliah (Arie) and R. Yuster
January 2009 -
Unconditional Lower Bounds against Advice In Proceedings
January 2009 -
January 2009
-
January 2009
-
Coinductive Predicates as Final Coalgebras In Proceedings
January 2009 -
Verifying epistemic protocols under common knowledge In Proceedings
Y. Wang (Yanjing), L. Kuppusamy (Lakshmanan) and D.J.N. van Eijck (Jan)
January 2009 -
What is Protocol Analysis? Book Chapter
D.J.N. van Eijck (Jan), F. Dechesne (Francien), W. Teepe and Y. Wang (Yanjing)
January 2009 -
January 2009