Publications from 2017
-
SAT-based verification for timed component connectors Article
Science of Computer ProgrammingFebruary 2011 -
February 2011
-
February 2011
-
Visjes tellen : Hoe?Zo! Radio, 15.02.2011, NTR [21:57] News Broadcast
February 2011 -
Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice Dissertation
Algorithms and ComplexityJanuary 2011 -
January 2011
-
January 2011
-
An executable Theory of Multi-Agent Systems Refinement Dissertation
Computer SecurityJanuary 2011 -
Insights in reinforcement learning : formal analysis and empirical evaluation of temporal-difference learning algorithms Dissertation
Algorithms and ComplexityJanuary 2011 -
Molecules in Motion: a theoretical study of noise in gene expression and cell signaling Dissertation
Modelling, Analysis and ComputationJanuary 2011 -
January 2011
-
January 2011
-
January 2011
-
CWI knipselkrant 2011-2013 Miscellaneous
January 2011 -
Amalgame Software
January 2011 -
VideoLat Software
January 2011 -
VConect Software
January 2011 -
REVERIE Software
January 2011 -
Pacioli Software
January 2011 -
MP3DG-Point Cloud Compression Software
January 2011 -
Basic Voting Theory Software
January 2011 -
AmbiDexter Software
January 2011 -
Introduction to Annual Report 2010 Online Video
January 2011 -
The excluded minors for near-regular matroids Article
European Journal of Combinatorics, 32(6), 802-830.January 2011 -
EnBlogue: emergent topic detection in web 2.0 streams In Proceedings
January 2011 -
Media Fragments URI 1.0 Standard
January 2011 -
Testing a particle filter to reconstruct climate changes over the past centuries Article
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, 21(12), 3611-3618.January 2011 -
Video Mediated Social Interaction Between Groups: System Requirements and Technology Challenges Article
Telematics and Informatics, 28(4), 251-270.January 2011 -
Boundedness and strong stability of Runge-Kutta methods Article
Mathematics of Computation, 863-886.January 2011 -
Tracking and Trace on Wireless Sensor Networks Master Thesis
January 2011 -
Performance analysis of multi-class fork-join queues Master Thesis
January 2011 -
A high order density model for streamer discharges In Proceedings
January 2011 -
Future Internet Lecture
January 2011 -
January 2011
-
Why Visualisation? Lecture
January 2011 -
XRX - Restful XForms Presentation
January 2011 -
January 2011
-
Declarative Applications Lecture
January 2011 -
CWI at TREC 2011: Session, Web, and Medical In Proceedings
January 2011 -
January 2011
-
Kwantum informatica : een gesprek met Harry Buhrman over kwantum computers en kwantum informatica : Hoe?Zo! Radio, 05.01.2011 [27:38] News Broadcast
January 2011 -
A new method for deriving waiting-time approximations in polling systems with renewal arrivals Article
Stochastic Models, 318-332.January 2011 -
KRunner: Linking Rascal with K Unpublished
January 2011 -
Comparison of Block-Lanczos and Block-Wiedemann for Solving Linear Systems in Large Factorizations Lecture
January 2011 -
The MediaMill TRECVID 2011 Semantic Video Search Engine In Proceedings
January 2011 -
Text and Image Subject Classifiers: Dense Works Better In Proceedings
January 2011 -
Social Negative Bootstrapping for Visual Categorization In Proceedings
January 2011 -
Segmentation As Selective Search for Object Recognition In Proceedings
January 2011 -
Personalizing Automated Image Annotation Using Cross-Entropy In Proceedings
January 2011 -
Internet Video Search In Proceedings
January 2011 -
Instant Bag-of-Words Served on a Laptop In Proceedings
January 2011 -
January 2011
-
Largest sparse subgraphs of random graphs In Proceedings
January 2011 -
Every plane graph of maximum degree 8 has an edge-face 9-colouring. Article
SIAM Journal on Discrete Mathematics, 25(2), 514-533.January 2011 -
DIR 2011: the eleventh Dutch-Belgian Information Retrieval Workshop Magazine Article
January 2011 -
Cover voor liber amicorum jkl Book Chapter
January 2011 -
Hoofd- versus cijferrekenen in Vlaanderen : resultaten van een pilootstudie met de 'choice/no-choice' methode Book Chapter
January 2011 -
January 2011
-
Jan Karel en het rekenonderwijs Book Chapter
January 2011 -
January 2011
-
Informatics challenges in future internet Book Chapter
January 2011 -
Dear Jan Karel Miscellaneous
January 2011 -
Beste Jan Karel Miscellaneous
January 2011 -
Synopsis van een filmscript Book Chapter
January 2011 -
Beste Jan Karel Book Chapter
January 2011 -
Een cryptokromme voor Jan Karel Miscellaneous
January 2011 -
Prima la matematica, dopo la musica Miscellaneous
January 2011 -
Beste Jan Karel Miscellaneous
January 2011 -
January 2011
-
Het Centrum voor Wiskunde en Informatica Book Chapter
January 2011 -
Elke seconde telt Book Chapter
January 2011 -
Het afscheid Miscellaneous
January 2011 -
January 2011
-
January 2011
-
To Jan Karel Miscellaneous
January 2011 -
A randomized variation on a theorem of Lenstra Book Chapter
January 2011 -
Liber amicorum for Jan Karel Lenstra Miscellaneous
January 2011 -
Een cursief eindpunt Book Chapter
January 2011 -
De lokaal zoekende Jan Karel Miscellaneous
January 2011 -
Jan Karel aan de zijlijn (en soms als speler) Book Chapter
January 2011 -
Statistiek, minimal music, en optimalisering Book Chapter
January 2011 -
Een uitnodiging tot samenwerken Miscellaneous
January 2011 -
Behind the screen it happens: from DSS to TSR Book Chapter
January 2011 -
January 2011
-
Beslissende momenten Book Chapter
January 2011 -
Idolen en idealen Book Chapter
January 2011 -
Hallo Jan Karel Miscellaneous
January 2011 -
Een wet van Moore voor software? Book Chapter
January 2011 -
Transparantjes en krijtborden Book Chapter
January 2011 -
Over het nut van opa's Miscellaneous
January 2011 -
Kinderen en wiskunde houden je jong! Miscellaneous
January 2011 -
Recht door zee Miscellaneous
January 2011 -
De JKL-2080 challenge Miscellaneous
January 2011 -
For JKL Miscellaneous
January 2011 -
OROV Book Chapter
January 2011 -
Detecting community Miscellaneous
January 2011 -
January 2011
-
Grijns Miscellaneous
January 2011 -
Köln Hauptbahnhof Miscellaneous
January 2011 -
January 2011