Publications from 2014

Efficient Methods for Multi-agent Multi-issue Negotiation: Allocating Resources In Proceedings

M. Wu (Mengxiao), M.M. de Weerdt (Mathijs) and J.A. La Poutré (Han)

A generic approach to coalition formation Article

K.R. Apt (Krzysztof) and S. A. Witzel (Andreas)

On the Query Complexity of Testing for Eulerian Orientations Article

E. Fischer, A. Matsliah (Arie), I. Newman and O. Yahalom

PAUL: Protein structural alignment using integer linear programming and Lagrangian relaxation Article

I. Wohlers (Inken), I. Petzold, F.S. Domingues and G.W. Klau (Gunnar)

Sound 3-Query PCPPs Are Long Article

E. Ben-Sasson, P. Harsha, O. Lachish and A. Matsliah (Arie)

A new graph-based method for pairwise global network alignment Article

G.W. Klau (Gunnar)

Hardness and Algorithms for Rainbow Connectivity In Proceedings

S. Chakraborty (Sourav), E. Fischer, A. Matsliah (Arie) and R. Yuster

On optimal comparability editing with applications to molecular diagnostics Article

S. Boecker, S. Briesemeister and G.W. Klau (Gunnar)

Distributed elections in an Archimedean ring of processors Tech Report

P.M.B. Vitányi (Paul)

Approximation of the two-part MDL code Article

P. Adriaans and P.M.B. Vitányi (Paul)

Turing machine Tech Report

P.M.B. Vitányi (Paul)

Robust Cryptography in the Noisy-Quantum-Storage Model Article

C. Schaffner (Christian), B.M. Terhal (Barbara) and S.D.C. Wehner (Stephanie)

The operational meaning of min- and max-entropy Article

R. König, R. Renner and C. Schaffner (Christian)

On the power of two-party quantum cryptography In Proceedings

L. Salvail (Louis), C. Schaffner (Christian) and M. Sotakova

Improving the security of quantum protocols via commit-and-open In Proceedings

I.B. Damgård (Ivan), S. Fehr (Serge), C. Luneman, L. Salvail (Louis) and C. Schaffner (Christian)

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)

Machine Learning for Biometrics Book Chapter

A.A. Salah (Albert Ali)

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 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