Publication
-
Probabilistic Arithmetic Automata and their Applications Article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(6), 1737-1750.January 2012
-
Invariant semidefinite programs Book Chapter
January 2012 -
January 2012
-
Streaming Parallel GPU Acceleration of Large-Scale filter-based Spiking Neural Networks Article
Network: Computation in Neural Systems, 23(4), 183-211.January 2012
-
Automation in Cytomics: A Modern RDBMS Based Platform for Image Analysis and Management in High-Throughput Screening Experiments In Proceedings
January 2012
-
Pas op voor het konijntje Miscellaneous
January 2012
-
Connectors as designs: Modeling, refinement and test case generation. Article
Science of Computer Programming, 77(7-8)January 2012 -
January 2012