Publications from 2015

Composing quantum protocols in a classical environment In Proceedings

S. Fehr (Serge) and C. Schaffner (Christian)

Advanced Computational Methods in Computational Science and Engineering Book

Accurate and efficient solution of 2D steady water flow with surface waves and turbulence In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

Finite-volume discretizations and immersed boundaries Book Chapter

Y.J. Hassen (Yunus) and B. Koren (Barry)

A finite-volume method for convection problems with embedded moving boundaries In Proceedings

Y.J. Hassen (Yunus) and B. Koren (Barry)

Structure of Polynomial-Time Approximation Tech Report

E.J. van Leeuwen (Erik Jan) and J. van Leeuwen (Jan)

The new Dutch timetable: The OR revolution Article

D. Huisman, L.G. Kroon, E. Abbink, P.J. Fioole, M. Fischetti, G. Maróti (Gábor), A. Schrijver (Lex) and A.G. Steenbeek (Adri)

Semidefinite functions on categories Article

L. Lovász (László) and A. Schrijver (Lex)

Automatic Web Site Authoring with SiteGuide In Proceedings

V. de Boer (Victor), V. Hollink (Vera) and M. van Someren

Unfolding a tangent equilibrium-to-periodic heteroclinic cycle Article

A.R. Champneys, V. Kirk, E. Knobloch, B. Oldeman and J.D.M. Rademacher (Jens)

Absolute stability of wavetrains can explain spatiotemporal dynamics in reaction-diffusion systems of lambda-omega type Article

M. Smith, J.D.M. Rademacher (Jens) and J.A. Sherratt

Sequential Bidding in the Bailey-Cavallo Mechanism In Proceedings

K.R. Apt (Krzysztof) and V. Markakis (Vangelis)

Comparison of exact and approximate discrete adjoint for aerodynamic shape optimization In Proceedings

G. Carpentieri (Giampietro), M.J.L. van Tooren and B. Koren (Barry)

Acyclic edge colouring of planar graphs In Proceedings

N. Cohen, F. Havet and T. Müller (Tobias)

Acyclic and frugal colourings of graphs In Proceedings

R.J. Kang (Ross) and T. Müller (Tobias)

Coloring geographical threshold graphs In Proceedings

M. Bradonjic, T. Müller (Tobias) and A.G. Percus

A local limit theorem for the critical random graph Article

R.W. van der Hofstad (Remco), W. Kager and T. Müller (Tobias)

Conditioning of random conic systems under a general family of input distributions Article

R.A. Hauser and T. Müller (Tobias)

Circular choosability is rational Article

T. Müller (Tobias) and R.J. Waters

circular choosability Article

F. Havet, R.J. Kang (Ross), T. Müller (Tobias) and J.-S. Sereni

Data-based inference of generators for Markov jump processes using convex optimization Article

D.T. Crommelin (Daan) and E. Vanden-Eijnden (Eric)

Computable CTL for Discrete-Time and Continuous-Space Dynamic Systems In Proceedings

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

Computable Types for Dynamic Systems In Proceedings

P.J. Collins (Pieter)

Computable CTL* for discrete-time and continuous-space dynamic systems In Proceedings

P.J. Collins (Pieter) and I.S. Zapreev (Ivan)

New concepts in the abstract format of the Compositional Interchange Format In Proceedings

D.A. van Beek, P.J. Collins (Pieter), D.E. Nadales Agut, J.E. Rooda (Jacobus) and R.R.H. Schiffelers

Control of Piecewise-Affine Hybrid Systems - Extended abstract In Proceedings

P.J. Collins (Pieter), L.C.G.J.M. Habets (Luc), M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

Sampled-data control of hybrid systems with discrete inputs and outputs In Proceedings

M. Petreczky (Mihaly), D.A. van Beek, J.E. Rooda (Jacobus), P.J. Collins (Pieter) and J.H. van Schuppen (Jan)

Controllability and Falsification of Hybrid Systems In Proceedings

P.J. Collins (Pieter)

Effective computability of solutions of differential inclusions --- the ten thousand monkeys approach Article

P.J. Collins (Pieter) and D.S. Graça

Learning the Switching Rate by Discretising Bernoulli Sources Online In Proceedings

S. de Rooij (Steven) and T.A.L. van Erven (Tim)

NML, Bayes and true distributions: A comment on Karabatsos and Walker Article

P.D. Grünwald (Peter) and D. Navarro

Locally Decodable Quantum Codes In Proceedings

J. Briët (Jop) and R.M. de Wolf (Ronald)

Bounded-error quantum state identification and exponential separations in communication complexity Article

D. Gavinsky, J. Kempe, O. Regev (Oded) and R.M. de Wolf (Ronald)

A New Quantum Lower Bound Method, with Applications to Direct Product Theorems and Time-Space Tradeoffs Article

A. Ambainis (Andris), R. Spalek (Robert) and R.M. de Wolf (Ronald)

Computable Bayesian Compression for Uniformly Discretizable Statistical Models In Proceedings

L. Debowski (Lukasz Jerzy)

A general definition of conditional information and its application to ergodic decomposition Article

L. Debowski (Lukasz Jerzy)

From chi-t to $\mu$CRL: Combining Performance and Functional Analysis In Proceedings

A.J. Wijs (Anton) and W.J. Fokkink (Wan)

On modified asymptotic series involving confluent hypergeometric functions Article

A. Deaño and N.M. Temme (Nico)

COMM: A core ontology for multimedia annotation Book Chapter

R. Arndt, R. Troncy (Raphael), S. Staab and L. Hardman (Lynda)

Materialized View Selection in XML Databases In Proceedings

N. Tang (Nan), J.X. Yu (Jeffrey Xu ), H. Tang (Hao), M. Tamer Özsu and P.A. Boncz (Peter)

Bayes-nash equilibria of the generalized second price auction In Proceedings

R.D. Gomes (Renato) and K.S. Sweeney

Optimising client accesses within Armada In Proceedings

F.E. Groffen (Fabian), M.L. Kersten (Martin) and S. Manegold (Stefan)

Exploiting the Power of Relational Databases for Efficient Stream Processing In Proceedings

E. Liarou (Erietta), R.A. Pereira Goncalves (Romulo Antonio) and S. Idreos (Stratos)

Moment analysis of the Delaunay tessellation field estimator Tech Report

M.N.M. van Lieshout (Marie-Colette)

Tangles, tree-decompositions, and grids in matroids Article

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

Sequential spatial processes for image analysis In Proceedings

M.N.M. van Lieshout (Marie-Colette)

Unconditionally stable integration of Maxwell's equations Article

J.G. Verwer (Jan) and M.A. Botchev

Elongation dynamics shape bursty transcription and translation Article

M. Dobrzynski (Maciej) and F.J. Bruggeman (Frank)

Tiles for Reo In Proceedings

F. Arbab (Farhad), R. Bruni, D.G. Clarke (David), I. Lanese and U. Montanari

Modelling Connectors as Designs in Unifying Theories of Programming In Proceedings

M. Sun (Meng) and F. Arbab (Farhad)

Efficiency of repeated network interactions Article

J. Timmer (Judith) and M.R.H. Mandjes (Michel)

Cost Estimation Book Chapter

S. Manegold (Stefan)

Memory Hierarchy Book Chapter

S. Manegold (Stefan)

Locality Book Chapter

S. Manegold (Stefan)

Aggregation-based Semi-Structured Text Retrieval Book Chapter

T. Tsikrika (Theodora)

3D Face Recognition: Technology and Applications Book Chapter

B. Gökberk, A.A. Salah (Albert Ali), N. Alyuz and L. Akarun

Face Video Competition at ICB2009 In Proceedings

N. Poh, C.H. Chan, J. Kittler, S. Marcel, C. McCool (Christopher), E. Aragones Rua, J.L. Alba-Castro, M. Villegas, R. Paredes, V. Struc, et al. N. Pavesic, A.A. Salah (Albert Ali), H. Fang and N. Costen

Designing risk-averse bidding strategies in sequential auctions for transportation orders In Proceedings

V. Robu (Valentin) and J.A. La Poutré (Han)

Advances in Agent-Based, Complex Automated Negotiations Book

T. Ito (Tsuyoshi), M. Zhang, V. Robu (Valentin), S. Fatima and T. Matsuo

A finite-volume method for convection problems with embedded moving boundaries Tech Report

Y.J. Hassen (Yunus) and B. Koren (Barry)

On the odd-minor variant of Hadwiger's conjecture Article

J. Geelen (Jim), A.M.H. Gerards (Bert), B. Reed, P.D. Seymour (Paul) and A. Vetta

Large-SNR Error Probability Analysis of BICM with Uniform Interleaving in Fading Channels Article

A. Martinez (Alfonso) and A. Guillén i Fàbregas

Multi-point Taylor approximations in one-dimensional linear boundary value problems Article

J.L. López, E. Pérez Sinusía and N.M. Temme (Nico)

Numerical integration of damped Maxwell equations Article

M.A. Botchev and J.G. Verwer (Jan)

Graph invariants in the spin model Article

A. Schrijver (Lex)

List, group or menu: Organizing Suggestions in Autocompletion Interfaces Tech Report

A.K. Amin (Alia), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), V. Evers (Vanessa) and L. Hardman (Lynda)

Optimality and uniqueness of the (4,10,1/6) spherical code Article

C. Bachoc and F. Vallentin (Frank)

Excluding a group-labelled graph Article

J. Geelen (Jim) and A.M.H. Gerards (Bert)

Secretary Problems: Weights and Discounts In Proceedings

M. Babaioff, M. Dinitz, A. Gupta (Anupam), N.S. Immorlica (Nicole Simone) and K. Talwar (Kunal)

Block-diagonal semidefinite programming hierarchies for 0/1 programming Article

N. Gvozdenovic (Nebojsa), M. Laurent (Monique) and F. Vallentin (Frank)

Sums of squares, moment matrices and optimization over polynomials Book Chapter

M. Laurent (Monique)

A unified approach to computing real and complex zeros of zero-dimensional ideals Book Chapter

J.B. Lasserre, M. Laurent (Monique) and P. Rostalski

Symmetry in semidefinite programs Article

F. Vallentin (Frank)

Uitnodiging kerstbuffet 18.12.2008 Other

Kerst- en nieuwjaarskaart 2008, internationale versie Other

Kerst- en nieuwjaarskaart 2008, NL versie Other

Outdated Security Threatens Web Commerce - TYT.nl - 30-12-08 Magazine Article

Computability and representations of the zero set In Proceedings

P.J. Collins (Pieter)

Minimal ownership for active objects In Proceedings

D.G. Clarke (David), Wrigstad, T. (Tobias), Östlund, J. (Johan) and E.B. Johnsen (Einar Broch)

XForms for HTML Manual

S. Pemberton (Steven) and not CWI et al

Explicit Muller Games are PTIME In Proceedings

F. Horn (Florian)

Graph Games on Ordinals In Proceedings

J. Cristau and F. Horn (Florian)

MD5 Considered Harmful Today - Creating A Rogue CA Certificate Magazine Article

P. Stevens, A.K. Lenstra (Arjen) and not CWI et al

The quantitative theory of information. Book Chapter

P. Harremoës (Peter) and F. Topsøe

Breaking the memory wall in MonetDB Article

P.A. Boncz (Peter), M.L. Kersten (Martin) and S. Manegold (Stefan)

Trends in Interactive Visualization Book

E. Zudalova, T. Adriaansen and R. van Liere (Robert)

6th iternational symposium on Formal Methods for Components and Objects (FMCO 2007) -- State-of-the-Art Survey Proceedings

Schedulability and compatibility of asynchronous objects In Proceedings

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank), T. Chothia (Tom) and D. Longuet (Delphine)

Chosen Ciphertext Security with Optimal Ciphertext Overhead In Proceedings

M. Abe, E. Kiltz (Eike) and T. Okamoto

Building Mashups for the Enterprise with SABRE In Proceedings

Z. Maraikar (Ziyan), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

Adaptive Agents for Sequential Vickrey Auctions with Homogeneous Goods In Proceedings

H. Ma (Huiye)

A Distributed Platform for Mechanism Design In Proceedings

K.R. Apt (Krzysztof), F. Arbab (Farhad) and H. Ma (Huiye)

SMIL 3.0 State Tech Report

A.J. Jansen (Jack) and J. Quint

SMIL 3.0 Metainformation Tech Report

D.C.A. Bulterman (Dick) and M. DeMeglio

SMIL 3.0 smilText Tech Report

D.C.A. Bulterman (Dick), K.S. Mullender (Sjoerd) and S. Cruz-Lara (Samuel)

Ambulant Player - 2.0 Manual

D.C.A. Bulterman (Dick), A.J. Jansen (Jack), C.L. Blom (Kees), B. Gao (Bo) and P.S. César Garcia (Pablo Santiago)

SMIL 3.0 Tech Report

D.C.A. Bulterman (Dick) and not CWI et al

A Presentation Layer Mechanism for Multimedia Playback Mobility in Service Oriented Architectures In Proceedings

I. Vaishnavi (Ishan), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), B. Gao (Bo) and D.C.A. Bulterman (Dick)

A new automata for parsing semi-bracketed contextual grammars Tech Report

L. Kuppusamy (Lakshmanan) and M. Anand

Semi-bracketed contextual grammars Tech Report

L. Kuppusamy (Lakshmanan)