Publications from 2025

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)

Connectors as Designs In Proceedings

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

Automated Analysis of Reo Circuits using Symbolic Execution In Proceedings

B. Pourvatan, M. Sirjani (Marjan), H. Hojjat and F. Arbab (Farhad)

Multiplayer XOR games and quantum communication complexity with cliquewise entanglement Tech Report

J. Briët (Jop), H.M. Buhrman (Harry), T. J. Lee (Troy) and T. Vidick (Thomas)

VITALAS at TRECVID-2009 In Proceedings

C. Diou, G. Stephanopoulos, N. Dimitriou, P. Panagiotopoulos, C. Papachristou, A. Delopoulos, H. Rode (Henning), T. Tsikrika (Theodora), A.P. de Vries (Arjen) and not CWI et al

Identifying and Locating–Dominating Codes in (Random) Geometric Networks Article

T. Müller (Tobias) and J.-S. Sereni

Emergence of sprite streamers from screening-ionization waves in the lower ionosphere Article

A. Luque (Alejandro) and U. Ebert (Ute)

Computability of Homology for Compact Absolute Neighbourhood Retracts In Proceedings

P.J. Collins (Pieter)

From equation to creation: using the Schrödinger equation in an artistic context Tech Report

M. Dzjaparidze

Metabolic Adaptation after Whole Genome Duplication Article

M.J.A. van Hoek (Milan) and P. Hogeweg

Average prime-pair counting formula Tech Report

J. Korevaar and H.J.J. te Riele (Herman)

Space-Economical Partial Gram Indices for Exact Substring Matching In Proceedings

N. Tang (Nan), E. Sidirourgos (Eleftherios) and P.A. Boncz (Peter)

The leaky aquifer function revisited Article

N.M. Temme (Nico)

Uitnodiging voor het diner bij het afscheid Miente Bakker, 30-10-2009 Other

Miente Bakker: Disc Amicorum (als hardcopy) Other

Uitnodiging afscheid Miente Bakker, 30-10-2009 Other

Modelling, Simulation, and Inferring Regulatory Networks Dissertation

M. Ashyraliyev (Maksat)

Vallang: mutually recursive immutable data-types on the JVM Software

J.J. Vinju (Jurgen), P. Klint (Paul), R.M. Fuhrer (Robert), D. Landman (Davy), A.W. Lankamp (Arnold) and M.J. Steindorfer (Michael)

Aankondiging Open Dag WCW 10-10-2009 Other

XForms 1.1 Standard

J.M. Boyer and S. Pemberton (Steven)

Disc amicorum Miente Bakker [bij zijn afscheid, 30.10.2009] Miscellaneous

M. Bakker (Miente)

Kosmische bliksems, George van Hal, natuur-wetenschap&techniek (nwt), nr. 10/2009, p. 28-34. Magazine Article

U. Ebert (Ute)

Rich Web Application Backplane Manual

S. Pemberton (Steven), A.J. Jansen (Jack) and not CWI et al

XForms 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

Rascal 0.1alpha-M2 Software

J.J. Vinju (Jurgen), P. Klint (Paul), T. van der Storm (Tijs), A.W. Lankamp (Arnold), T. Basten and M.A. Hills (Mark)

Special issue Logic for Information Security -- Editorial Article

P. Balbiani (Philippe), H. van Ditmarsch (Hans) and D.J.N. van Eijck (Jan)