Publications from before 2016

Bonsai Trees, or How to Delegate a Lattice Basis In Proceedings

D. Cash (Charles David), D. Hofheinz (Dennis), E. Kiltz (Eike) and C. Peikert

Encryption schemes secure against chosen-ciphertext selective opening attacks In Proceedings

S. Fehr (Serge), D. Hofheinz (Dennis), E. Kiltz (Eike) and H. Wee

Quantum cryptography Article

S. Fehr (Serge)

Dating concurrent objects: Real-time modeling and schedulability analysis In Proceedings

F.S. de Boer (Frank), M.M. Jaghoori (Mohammad Mahdi) and E.B. Johnsen (Einar Broch)

Randomized polynuclear growth model with a columnar defect Article

V. Beffara, V. Sidoravicius (Vladas) and M.E. Vares

Connectivity bounds for the vacant set of random interlacements Article

V. Sidoravicius (Vladas) and A.-S. Sznitman (Alain-Sol)

Oriented percolation in one-dimensional $1/|x − y|^2$ random cluster model Article

D.U. Marchetti, V. Sidoravicius (Vladas) and M.E. Vares

Activated random walkers: facts, conjectures and challenges Article

R. Dickman, L. Rolla and V. Sidoravicius (Vladas)

Fixation for distributed clustering processes Article

M.R. Hilario, O. Luidor, C.M. Newman, L. Rolla, S. Sheffield and V. Sidoravicius (Vladas)

The discrete and continuum broken line process. Article

L. Rolla, V. Sidoravicius (Vladas), D. Surgailis and M.E. Vares

A system of grabbing particles related to Galton-Watson trees. Article

J. Bertoin, V. Sidoravicius (Vladas) and M.E. Vares

A percolation process on the square lattice where large finite clusters are frozen Tech Report

J. van den Berg (Rob), B. De Lima and P. Nolin (Pierre)

Sublinearity of the travel-time variance for dependent first passage percolation Tech Report

J. van den Berg (Rob) and D. Kiss (Demeter)

On inequivalent representations of matroids over non-prime fields Article

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

Dot-product representations of planar graphs In Proceedings

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

Induced mathings in subcubic planar graphs In Proceedings

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

Acyclic dominating partitions Article

L. Addario-Berry, R.J. Kang (Ross) and T. Müller (Tobias)

The number of bits needed to represent a unit disk graph In Proceedings

C.J.H. McDiarmid (Colin) and T. Müller (Tobias)

Spatial point process theory Book Chapter

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

The anticipated mean shift and cluster registration in mixture-based EDAs for multi-objective optimization In Proceedings

P.A.N. Bosman (Peter)

Enhanced Hospital Resource Management using Anticipatory Policies in Online Dynamic Multi-objective Optimization In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

The Wikipedia Image Retrieval Task Book Chapter

T. Tsikrika (Theodora) and J. Kludas

Differences in Video Search Behaviour between Novices and Archivists In Proceedings

H. Rode (Henning), T. Tsikrika (Theodora) and A.P. de Vries (Arjen)

An Optimal Bifactor Approximation Algorithm for the Metric Uncapacitated Facility Location Problem Article

J. Byrka (Jaroslaw) and K.I. Aardal (Karen)

Lattice based extended formulations for integer linear equality systems Article

K.I. Aardal (Karen) and L.A. Wolsey (Laurence)

On Barbs and Labels in Reactive systems Tech Report

F. Bonchi (Filippo), F. Gadducci (Fabio) and G.V. Monreale (Giacoma Valentina )

AmbiDexter: Practical Ambiguity Detection In Proceedings

H.J.S. Basten (Bas) and T. van der Storm (Tijs)

Mod4J: A Qualitative Case Study of Model-Driven Software Development In Proceedings

V. Lussenburg (Vincent), T. van der Storm (Tijs), J.J. Vinju (Jurgen) and J. Warmer (Jos)

On the impact of DSL tools on the maintainability of language implementations In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Vakantiecursus 2010 - Wiskunde: de uitdaging Book

Symbolic synthesis of Mealy machines from arithmetic bitstream functions Article

H.H. Hansen (Helle) and J.J.M.M. Rutten (Jan)

Subsequential transducers: a coalgebraic perspective Article

H.H. Hansen (Helle)

Towards Model Checking Executable UML Specifications in mCRL2 Article

H.H. Hansen (Helle), J. Ketema, S.P. Luttik (Bas), M.R. Mousavi and J.C. van de Pol (Jaco)

Timed Automata Semantics for Analyzing Creol. In Proceedings

M.M. Jaghoori (Mohammad Mahdi) and T. Chothia (Tom)

Compositional Construction of Real-Time Dataflow Networks In Proceedings

S. Kemper (Stephanie)

Strategic Executions of Choreographed Timed Normative Multi-Agent Systems In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

Sampling, Splitting and Merging in Coinductive Stream Calculus In Proceedings

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

Analytical and Numerical Aspects of a Generalization of the Complementary Error Function Article

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

The error function in the study of singularly perturbed convection-diffusion problems with discontinuous boundary data In Proceedings

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

The Asymptotic Inversion of Certain Cumulative Distribution Functions In Proceedings

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

Semantic vs term-based query modification analysis In Proceedings

V. Hollink (Vera), T. Tsikrika (Theodora) and A.P. de Vries (Arjen)

Personalization of tagging systems Article

J. Wang (Jun), M. Clements (Maarten), J. Yang, A.P. de Vries (Arjen) and M.J.T. Reinders

The Refinement of Choreographed Multi-Agent Systems In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M. Dastani

Using rewrite strategies for testing BUpL agents In Proceedings

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank) and M.B. van Riemsdijk

Automated generation of program translation and verification tools using annotated grammars Article

D. Ordonez Camacho (Diego), K. Mens, M.G.J. van den Brand (Mark) and J.J. Vinju (Jurgen)

Modeling Dynamic Reconfigurations in Reo using High-Level Replacement Systems Article

C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

A process-theoretic look at automata In Proceedings

J.C.M. Baeten (Jos), P.J.L. Cuijpers, S.P. Luttik (Bas) and P.J.A. van Tilburg (Paul)

Trek separation for gaussian graphical models Tech Report

S. Sullivant, K. Talaska and J. Draisma (Jan)

Partition Arguments in Multiparty Communication Complexity Tech Report

J. Draisma (Jan), E. Kushilevitz and E. Weinreb (Enav)

A tropical proof of the Brill-Noether Theorem Tech Report

F. Cools, J. Draisma (Jan), S. Payne and E. Robeva

Rate stability and output rates in queueing networks with shared resources Article

M. Jonckheere (Matthieu), R.D. van der Mei (Rob) and W. van der Weij (Wemke)

Structural identifiability of polynomial and rational systems Article

J. Nemcová (Jana)

Emerging database systems in support of scientific data Book Chapter

P. Svensson, P.A. Boncz (Peter), M.G. Ivanova (Milena), M.L. Kersten (Martin), N.J. Nes (Niels) and D. Rotem

Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible? Article

H.M. Buhrman (Harry), L. Fortnow (Lance), M. Koucký (Michal), J. Rogers and N.K. Vereshchagin (Nikolay Konstantinovich)

Non-deterministic Kleene coalgebras Tech Report

A.M. Silva (Alexandra), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

Tail asymptotics of the M/G/∞ model Tech Report

M.R.H. Mandjes (Michel) and P. Zuraniewski

The Complexity of Nash Equilibria in Stochastic Multiplayer Games Article

M. Ummels and D.K. Wojtczak (Dominik)

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems Article

K. Etessami (Kousha), D.K. Wojtczak (Dominik) and M. Yannakakis

One-Counter Markov Decision Processes In Proceedings

T. Brazdil, V. Brozek, K. Etessami (Kousha), A. Kucera and D.K. Wojtczak (Dominik)

Finiteness for the k-factor model and chirality varieties Article

J. Draisma (Jan)

Collapsing and Separating Complete Notions Under Worst-Case and Average-Case Hypotheses In Proceedings

X. Gu, J.M. Hitchcock (John) and A. Pavan

Flow-level models for multipath routing Tech Report

S. Lilienthal and M.R.H. Mandjes (Michel)

Dual graph homomorphism functions Article

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

Applications of stochastic geometry in image analysis Book Chapter

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

Computational properties of three-term recurrence relations for Kummer functions Article

N.M. Temme (Nico), A. Deaño and J. Segura (Javier)

Spatially hybrid computations for streamer discharges with generic features of pulled fronts: I. Planar fronts Article

C. Li (Chao), U. Ebert (Ute) and W. Hundsdorfer (Willem)

Computable Semantics for CTL* on Discrete-Time and Continuous-Space Dynamic Systems Tech Report

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

VAMP: a service for validating MPEG-7 descriptions w.r.t. to formal profile definitions Article

R. Troncy (Raphael), W. Bailer, M. Höffernig and M. Hausenblas

Large degree asymptotics of generalized Bernoulli and Euler polynomials Article

J.L. López and N.M. Temme (Nico)

Welkom op je werkplek Other

Nieuwjaarskaart voor het jaar 2009 Other

Bedankkaart van de familie bij het overlijden van Dik Winter, 28-12-2009 Other

A Modular Rewriting Approach to Language Design, Evolution and Analysis Dissertation

M.A. Hills (Mark)

Analyzing data streams in scientific applications Book Chapter

T. Risch (Tore), S. Madden (Samuel), H. Balakrishan (Hari), L. Girod (Lewis), R. Newton (Ryan), M.G. Ivanova (Milena), E. Zeitler (Erik), J. Gehrke (Johannes), B. Panda (Biswanath) and M. Riedewald (Mirek)

Rational Systems in Control and System Theory Dissertation

J. Nemcová (Jana)

Cryptografie en supercomputers Book Chapter

H.J.J. te Riele (Herman)

Benchmarking Quality-Dependent and Cost-Sensitive Score-Level Multimodal Biometric Fusion Algorithms Article

N. Poh, T. Bourlai, J. Kittler, L. Allano, F. Alonso-Fernandez, O. Ambekar (Onkar), J. Baker, B. Dorizzi, O. Fatukasi, J. Fierrez, et al. H. Ganster, J. Ortegia-Garcia, D. Maurer, A.A. Salah (Albert Ali), T. Scheidat and C. Vielhauer

The first peptides: the evolutionary transition between prebiotic amino acids and early proteins Article

P.T.S. van der Gulik (Peter), S. Massar (Serge), D. Gilis (Dimitri), H.M. Buhrman (Harry) and M. Rooman (Marianne)

Extreme lattices and vexillar designs Article

B. Meyer (Bertrand)

Systems Biology: The elements and principles of Life Article

H.V. Westerhoff (Hans), C. Winder, H. Messiha, E. Simeonidis, M. Adamczyk (Marek), M. Verma, F.J. Bruggeman (Frank) and W. Dunn

Selfish Scheduling with Setup Times In Proceedings

L. Gourves, J. Monnot and O. Telelis (Orestis)

LODE: Linking Open Descriptions of Events In Proceedings

R. Shaw (Ryan), R. Troncy (Raphael) and L. Hardman (Lynda)

Modeling and identification of a gene regulatory network programming erythropoiesis (1) Tech Report

D.L. de Vos (Dirk)

A thermostat closure for point vortices Tech Report

S. Dubinkina (Svetlana), J.E. Frank (Jason) and B.J. Leimkuhler (Ben)

A computable type theory for control systems In Proceedings

P.J. Collins (Pieter)

FLECS, a Flexible Coupling Shell Parallel Application to Fluid-Structure Interaction In Proceedings

M. Nool (Margreet), E.J. Lingen, M.C.A. van Zuijlen, M. Stroeven and H. Bijl

Sampling, splitting and merging in coinductive stream calculus Tech Report

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

Predicting a cyclic Poisson process Tech Report

R. Helmers (Roelof) and I.W. Mangku (Wayan)

A model of context-dependent component connectors Tech Report

M.M. Bonsangue (Marcello), D.G. Clarke (David) and A.M. Silva (Alexandra)

Computation of symbolic dynamics of low-dimensional maps Dissertation

L. Sella (Lorenzo)

New Bounds for Geometric Packing and Coloring via Harmonic Analysis and Optimization Dissertation

F.M. de Oliveira Filho (Fernando Mario)

Scheduling in Stochastic Resource-Sharing Systems Dissertation

I.M. Verloop (Maaike)

A Programmable Display-Layer Architecture for Virtual-Reality Applications Dissertation

F.A. Smit (Ferdi)

EASY Meta-Programming with Rascal Magazine Article

P. Klint (Paul), J.J. Vinju (Jurgen) and T. van der Storm (Tijs)

Designing 3D Selection Techniques Using Ballistic and Corrective Movements In Proceedings

L. Liu (Lei) and R. van Liere (Robert)

Follow me on Twitter Article

P. Klint (Paul)

Vuurwerk boven de wolken Magazine Article

U. Ebert (Ute)

Designing 3D Selection Techniques Using Ballistic and Corrective Movements In Proceedings

R. van Liere (Robert)

Rare-event simulation for tandem queues: a simple and efficient importance sampling scheme In Proceedings

D.I. Miretskiy, M.R.H. Mandjes (Michel) and W.R.W. Scheinhardt (Werner)

A queueing-based approach to overload detection In Proceedings

P. Zuraniewski and M.R.H. Mandjes (Michel)