Publication
-
January 2014
-
Sensing a live audience In Proceedings
January 2014
-
A compositional model to reason about end-to-end QoS in Stochastic Reo Connectors Article
Science of Computer Programming, 80(A), 3-24.January 2014 -
January 2014
-
Toward sequentializing overparallelized protocol code In Proceedings
January 2014 -
Quantumalgoritmes en cryptografie Article
Nederlands Tijdschrift voor Natuurkunde, 80(6), 183-185.January 2014 -
January 2014
-
CWI in het kort Miscellaneous
January 2014