Publications from 2013
-
January 2009
-
A generic approach to coalition formation Article
International Game Theory Review, 11(3), 347-367.January 2009 -
On the Query Complexity of Testing for Eulerian Orientations Article
ACM Transactions on AlgorithmsJanuary 2009 -
PAUL: Protein structural alignment using integer linear programming and Lagrangian relaxation Article
BMC Bioinformatics, 10(Suppl 13)January 2009 -
Sound 3-Query PCPPs Are Long Article
ACM Transactions on Computation Theory, 1(2), 1-49.January 2009 -
A new graph-based method for pairwise global network alignment Article
BMC Bioinformatics, 10(suppl 1)January 2009 -
Hardness and Algorithms for Rainbow Connectivity In Proceedings
January 2009 -
On optimal comparability editing with applications to molecular diagnostics Article
BMC Bioinformatics, 10(suppl 1)January 2009 -
January 2009
-
Approximation of the two-part MDL code Article
IEEE Transactions on Information Theory, 55(1), 444-457.January 2009 -
Turing machine Tech Report
January 2009 -
Robust Cryptography in the Noisy-Quantum-Storage Model Article
Quantum Information and Computation, 963-996.January 2009 -
The operational meaning of min- and max-entropy Article
IEEE Transactions on Information Theory, 55(9), 4337-4347.January 2009 -
On the power of two-party quantum cryptography In Proceedings
January 2009 -
January 2009
-
Composing quantum protocols in a classical environment In Proceedings
January 2009 -
January 2009
-
Accurate and efficient solution of 2D steady water flow with surface waves and turbulence In Proceedings
January 2009 -
January 2009
-
January 2009
-
Structure of Polynomial-Time Approximation Tech Report
January 2009 -
The new Dutch timetable: The OR revolution Article
Interfaces, 6-17.January 2009 -
Semidefinite functions on categories Article
Electronic Journal of Combinatorics, 0-14.January 2009 -
Automatic Web Site Authoring with SiteGuide In Proceedings
January 2009 -
Unfolding a tangent equilibrium-to-periodic heteroclinic cycle Article
SIAM Journal on Applied Dynamical Systems, 1261-1304.January 2009 -
Absolute stability of wavetrains can explain spatiotemporal dynamics in reaction-diffusion systems of lambda-omega type Article
SIAM Journal on Applied Dynamical Systems, 1136-1159.January 2009 -
Sequential Bidding in the Bailey-Cavallo Mechanism In Proceedings
January 2009 -
Comparison of exact and approximate discrete adjoint for aerodynamic shape optimization In Proceedings
January 2009 -
Acyclic edge colouring of planar graphs In Proceedings
January 2009 -
Acyclic and frugal colourings of graphs In Proceedings
January 2009 -
Coloring geographical threshold graphs In Proceedings
January 2009 -
A local limit theorem for the critical random graph Article
Electronic Communications in Probability, 122-131.January 2009 -
Conditioning of random conic systems under a general family of input distributions Article
Foundations of Computational Mathematics, 9(3), 335-358.January 2009 -
Circular choosability is rational Article
Journal of Combinatorial Theory - Series B, 99(5), 801-813.January 2009 -
circular choosability Article
Journal of Graph Theory, 61(4), 241-270.January 2009 -
Data-based inference of generators for Markov jump processes using convex optimization Article
Multiscale Modeling and Simulation, 7(4), 1751-1778.January 2009 -
January 2009
-
Computable Types for Dynamic Systems In Proceedings
January 2009 -
January 2009
-
January 2009
-
January 2009
-
January 2009
-
Controllability and Falsification of Hybrid Systems In Proceedings
January 2009 -
Effective computability of solutions of differential inclusions --- the ten thousand monkeys approach Article
Journal of Universal Computer Science, 15(6), 1162-1185.January 2009 -
January 2009
-
NML, Bayes and true distributions: A comment on Karabatsos and Walker Article
Journal of Mathematical Psychology, 43-51.January 2009 -
Locally Decodable Quantum Codes In Proceedings
January 2009 -
Bounded-error quantum state identification and exponential separations in communication complexity Article
SIAM Journal on Computing, 39(1), 1-24.January 2009 -
A New Quantum Lower Bound Method, with Applications to Direct Product Theorems and Time-Space Tradeoffs Article
Algorithmica, 55(3), 422-461.January 2009 -
January 2009
-
A general definition of conditional information and its application to ergodic decomposition Article
Statistics & Probability Letters, 1260-1268.January 2009 -
January 2009
-
On modified asymptotic series involving confluent hypergeometric functions Article
Electronic Transactions on Numerical Analysis, 88-103.January 2009 -
COMM: A core ontology for multimedia annotation Book Chapter
January 2009 -
Materialized View Selection in XML Databases In Proceedings
January 2009 -
January 2009
-
Optimising client accesses within Armada In Proceedings
January 2009 -
January 2009
-
January 2009
-
Tangles, tree-decompositions, and grids in matroids Article
Journal of Combinatorial Theory - Series B, 657-667.January 2009 -
Sequential spatial processes for image analysis In Proceedings
January 2009 -
Unconditionally stable integration of Maxwell's equations Article
Linear Algebra and its Applications, 300-317.January 2009 -
Elongation dynamics shape bursty transcription and translation Article
Proceedings of the National Academy of Sciences of the United States of America, 106(8), 2583-2588.January 2009 -
Tiles for Reo In Proceedings
January 2009 -
January 2009
-
Efficiency of repeated network interactions Article
International Journal of Electronics and Communications, 63(4), 271-278.January 2009 -
Cost Estimation Book Chapter
January 2009 -
Memory Hierarchy Book Chapter
January 2009 -
Locality Book Chapter
January 2009 -
Aggregation-based Semi-Structured Text Retrieval Book Chapter
January 2009 -
Machine Learning for Biometrics Book Chapter
January 2009 -
3D Face Recognition: Technology and Applications Book Chapter
January 2009 -
Face Video Competition at ICB2009 In Proceedings
January 2009 -
Designing risk-averse bidding strategies in sequential auctions for transportation orders In Proceedings
January 2009 -
January 2009
-
January 2009
-
On the odd-minor variant of Hadwiger's conjecture Article
Journal of Combinatorial Theory - Series B, 99(1), 20-29.January 2009 -
Large-SNR Error Probability Analysis of BICM with Uniform Interleaving in Fading Channels Article
IEEE Transactions on Wireless Communications, 8(1)January 2009 -
Multi-point Taylor approximations in one-dimensional linear boundary value problems Article
Applied Mathematics and Computation, 519-527.January 2009 -
Numerical integration of damped Maxwell equations Article
SIAM Journal on Scientific Computing, 31(2), 1322-1346.January 2009 -
Graph invariants in the spin model Article
Journal of Combinatorial Theory - Series B, 502-511.January 2009 -
January 2009
-
Optimality and uniqueness of the (4,10,1/6) spherical code Article
Journal of Combinatorial Theory - Series A, 116(1), 195-204.January 2009 -
Excluding a group-labelled graph Article
Journal of Combinatorial Theory - Series B, 99(1), 247-253.January 2009 -
Secretary Problems: Weights and Discounts In Proceedings
January 2009 -
Block-diagonal semidefinite programming hierarchies for 0/1 programming Article
Operations Research Letters, 27-31.January 2009 -
January 2009
-
January 2009
-
Symmetry in semidefinite programs Article
Linear Algebra and its Applications, 430(1), 360-369.January 2009 -
December 2008
-
December 2008
-
December 2008
-
Outdated Security Threatens Web Commerce - TYT.nl - 30-12-08 Magazine Article
December 2008 -
Computability and representations of the zero set In Proceedings
December 2008 -
Minimal ownership for active objects In Proceedings
December 2008 -
XForms for HTML Manual
December 2008 -
Explicit Muller Games are PTIME In Proceedings
December 2008 -
Graph Games on Ordinals In Proceedings
December 2008 -
MD5 Considered Harmful Today - Creating A Rogue CA Certificate Magazine Article
December 2008 -
The quantitative theory of information. Book Chapter
December 2008