Publication
-
Symbolic execution of Reo circuits using constraint automata Article
Science of Computer Programming, 848-869.July 2012 -
Connectors as designs: Modelling refinement and test case generation Article
Science of Computer Programming, 799-822.July 2012 -
July 2012
-
NWO: CWI behoort tot wereldtop. Computable, 18 juli 2012 Magazine Article
July 2012 -
Perfectly Secure Message Transmission Protocols with Low Communication Overhead and Their Generalization Master Thesis
July 2012 -
July 2012
-
Efficiently mining protein interaction dependencies from large text corpora Article
Integrative Biology, 4(7), 805-812.July 2012 -
Reconciling real and stochastic time: the need for probabilistic refinement Article
Formal Aspects of Computing, 24(4-6), 497-518.July 2012