Publications from 2019

Supporting the decision process for the choice of a domain modeling scheme In Proceedings

K. Schwarz, T. Kouwenhoven, V. Dignum and J.R. van Ossenbruggen (Jacco)

Making RDF Presentable. Integrated Global and Local Semantic Web Browsing In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

ABC Programmer's Handbook Book

L.J.M. Geurts (Leo), L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

W3C XFrames Tech Report

S. Pemberton (Steven) and M. Ishikawa

sparql-p, a SPARQL API implementation for the Python RDF Environment RDFLib Software

I. Herman (Ivan)

High- Order Linear Multistep Methods with General Monotonicity and Boundedness Properties Article

S.J. Ruuth and W. Hundsdorfer (Willem)

Nonlinear instability and saturation of linearly stable currentcarrying pair plasmas Article

A. Luque (Alejandro), H. Schamel, B. Eliasson and P.K. Shukla

Electrostatic trapping as a key to the dynamics of plasmas, fluids and other collective systems Article

A. Luque (Alejandro) and H. Schamel

On monotonicity and boundedness properties of linear multistep methods Article

W. Hundsdorfer (Willem) and S.J. Ruuth

Preface Book Chapter

J.H. van Schuppen (Jan)

Control and realization of piecewise-affine hybrid systems Tech Report

J.H. van Schuppen (Jan)

Hyperbolic and elliptic problems Tech Report

B. Koren (Barry)

The Eggshell Method for Magnetic Field Computations In Proceedings

M. Nool (Margreet) and D.J.P. Lahaye (Domenico)

Space-Mapping Applied to Linear Actuator Designs In Proceedings

D. Echeverria (David), D.J.P. Lahaye (Domenico), L. Encica, E.A. Lomonova, P.W. Hemker (Piet) and A.J.A. Vandenput

An improved front tracking method for the Euler equations In Proceedings

J.A.S. Witteveen (Jeroen), P.G. Bakker and B. Koren (Barry)

A surface capturing method for the efficient computation of steady water waves In Proceedings

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

A fully conservative model for compressible two-fluid flow Article

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

Realization and control problems for biochemical reaction networks In Proceedings

J.H. van Schuppen (Jan)

Realization theory for bilinear switched systems In Proceedings

M. Petreczky (Mihaly)

Realization theory for bilinear hybrid systems In Proceedings

M. Petreczky (Mihaly)

A parallel least-squares spectral element solver for incompressible flow problems on unstructured grids Article

M. Nool (Margreet) and M.M.J. Proot

Control of discrete-event systems with partial observations using coalgebra and coinduction Article

J. Komenda and J.H. van Schuppen (Jan)

Modular supervisory control with general indecomposable specification languages In Proceedings

J. Komenda, J.H. van Schuppen (Jan), B. Gaudin and H. Marchand

Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems In Proceedings

J. Komenda and J.H. van Schuppen (Jan)

Control to facet problems for affine systems on simplices and polytopes - with applications to control of hybrid systems In Proceedings

L.C.G.J.M. Habets (Luc) and J.H. van Schuppen (Jan)

On the adjoint solution of the quasi-1D Euler equations: the effect of boundary conditions and the numerical flux function Article

G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

Computability of finte-time sets for hybrid systems In Proceedings

P.J. Collins (Pieter) and J. Lygeros

On the Computability of Reachable and Invariant Sets In Proceedings

P.J. Collins (Pieter)

Entropy-minimizing models of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Article

P.J. Collins (Pieter)

Continuity and computability of reachable sets Article

P.J. Collins (Pieter)

Forcing Relations for Homoclinic Orbits of the Smale Horseshoe Map Article

P.J. Collins (Pieter)

Dynamics of surface diffeomorphisms relative to homoclinic and heteroclinic orbits Article

P.J. Collins (Pieter)

Noisy Turing Machines In Proceedings

E. Asarin and P.J. Collins (Pieter)

Modelling a Living Cell - Mathematics to Model Metabolic Pathways Article

J.G. Blom (Joke) and A.C. Kik (Annette)

Two perspectives on reduction of ordinary differential equations Article

A. Zagaris (Antonios), H.G. Kaper and T.J. Kaper (Tasso Joost)

On the temporal order of first-passage times in onedimensional lattice random walks Article

J.B. Sanders and N.M. Temme (Nico)

Stability of spatially periodic pulse patterns in a class of singularly perturbed reactiondiffusion equations Article

H. van der Ploeg and A. Doelman (Arjen)

On positive solutions in a phytoplankton-nutrient model Article

N.N. Pham Thi (Nga)

Simulation of 3D phytoplankton dynamics: competition in light-limited environments Article

N.N. Pham Thi (Nga), J. Huisman and B.P. Sommeijer (Ben)

Proceedings NUMDIFF 10 Proceedings

Stabilization of pulses by competing instability mechanisms In Proceedings

G. Hek (Geertje), N. Valkhoff and A. Doelman (Arjen)

Projecting to a slow manifold: Singularly perturbed systems and legacy codes Article

C.W. Gear, T.J. Kaper (Tasso Joost) and A. Zagaris (Antonios)

Analysis of a regularized, time-staggered discretization method and its link to the semi-implicit method Article

J.E. Frank (Jason), S. Reich, A. Staniforth, A. White and N. Wood

Asymptotic approximations of integrals: An introduction, with recent developements and applications to orthogonal polynomials Article

C.E. Ferreira, J.L. López, E. Mainar and N.M. Temme (Nico)

Edge bifurcations in singularly perturbed reaction-diffusion equations: a case study In Proceedings

A. Doelman (Arjen), D. Iron and Y. Nishiura

Impact of information and coordination on transport procurement Book Chapter

X. Brusset and N.M. Temme (Nico)

Weakly nonlinear asymptotics of the κ-θ model of cellular flames: the Q-S equation Article

C.-M. Brauner, M. Frankel, J. Hulshof and G.I. Sivashinsky

Singularities at t = ∞ in equivariant harmonic map flow Article

S. Angenent and J. Hulshof

Een, twee, ..., ontelbaar Inaugural Lecture

K.I. Aardal (Karen)

Neural networks for discrete tomography Article

K.J. Batenburg (Joost) and W.A. Kosters

DynTex: Dynamic Texture Database Software

R. Peteri (Renaud) and M.J. Huiskes (Mark)

Image understanding toolbox (in progress). Software

M.J. Huiskes (Mark) and E.J.E.M. Pauwels (Eric)

Aspect Explorer retrieval system Software

M.J. Huiskes (Mark)

PhlukePhinder and PhlukeMatcher: Matlab software for segmentation of flukes of humback whales, salient patches extraction and matching systems Software

E.B. Ranguelova (Elena) and E.J.E.M. Pauwels (Eric)

NUMIP combined Fortran and Matlab software for the multigrid image transform Software

P.M. de Zeeuw (Paul)

EQ-MPPLIB Software

M.N.M. van Lieshout (Marie-Colette) and A.G. Steenbeek (Adri)

Kans en Ruimte Inaugural Lecture

J. van den Berg (Rob)

Gaat Internet-telefonie de wereld veroveren? Article

R.D. van der Mei (Rob) and R.E. Kooij (Robert)

Het berekenen van kwaliteit van Internet-telefonie met wiskundige modellen Article

R.D. van der Mei (Rob) and R.E. Kooij (Robert)

Nooit meer wachten op het Internet Article

W. van der Weij (Wemke)

Efficient scheduling of multi-user multi-antenna systems Tech Report

K.P. Jagannathan, S.C. Borst (Sem), P.A. Whiting and E. Modiano

Sojourn time tails in the M/D/1 processor-sharing queue Tech Report

R.R. Egorova (Regina Robertovna), A.P. Zwart (Bert) and O.J. Boxma (Onno)

Capacity of wireless networks with intra- and inter-cell mobility Tech Report

S.C. Borst (Sem) and A. Proutière

Flow-level stability of channel-aware scheduling algorithms Tech Report

S.C. Borst (Sem) and M. Jonckheere (Matthieu)

Dynamic optimization in future cellular networks Tech Report

S.C. Borst (Sem) and not CWI et al

Approximation in Stochastic Integer Programming Tech Report

L. Stougie (Leen) and M. van der Vlerk

Detailed documentation for the general EA software packages originally developed by E.H. Gerding en D.D.B van Bragt Software

H. Noot (Han)

A generic visualization package for 2-agent bargaining Software

H. Noot (Han), D.J.A. Somefun (Koye) and V. Robu (Valentin)

Bidding with decommitment in a multi-agent transportation model Software

P.J. 't Hoen (Pieter Jan), H. Noot (Han), V. Robu (Valentin) and J.A. La Poutré (Han)

Composition by Interaction Inaugural Lecture

F. Arbab (Farhad)

Domain Specific Test Systems Tech Report

S.C.C. Blom (Stefan)

Requirements specification for testing methodology and tooling. Domain specific requirements Tech Report

S.C.C. Blom (Stefan), W.J. Fokkink (Wan) and D. van der Meij

Definition of methods for automated test generation for TTCN3 based test systems Tech Report

J.R. Calamé (Jens), Z. Ru Dai, N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and R. Swinkels

Towards model-based test generation and validation for TTCN3 Tech Report

W.J. Fokkink (Wan), P.H. Deussen, N. Ioustinova (Natalia), J. Seubers and J.C. van de Pol (Jaco)

several beam search algorithms in the µ CRL toolset Software

A.J. Wijs (Anton)

(a) object-oriented layer library for the µ CRL library, (b) object-oriented AST library for Aldébaran LTSs, (c) µ CRL specification abstractor (reengineering based on (a)), (d) abstract test trace selector (based on (b)), (e) test data constraint generat Software

J.R. Calamé (Jens)

several tools for TT-MEDAL, Tipsy, etc, and maintained the distributed software for FACS Software

B. Lisser (Bert)

A distributed tool for breadth-first state space generation Software

B. Lisser (Bert)

On the quest for impartiality: Design and analysis of a fair non-repudiation protocol Tech Report

J.G. Cederquist

An intruder model for verifying termination in security protocols Tech Report

J.G. Cederquist

Should software be patentable? Article

P. Klint (Paul)

Emigreren of blijven Article

P. Klint (Paul)

Ban op spam Article

P. Klint (Paul)

Meten met wetenschap Article

P. Klint (Paul)

Onderzoekscentrum West, Aflevering 45 Article

P. Klint (Paul)

Uiteindelijk loopt elk systeem vast Article

A. van Deursen (Arie)

De Software-Evolutieparadox Inaugural Lecture

A. van Deursen (Arie)

Fouten in C en C++ oorzaak beveiligingsproblemen Article

A. van Deursen (Arie)

Hardware-Conscious DBMS Architecture for Data-Intensive Applications In Proceedings

M. Zukowski (Marcin)

Distribution Rules for Array Database Queries In Proceedings

A.R. van Ballegooij (Alex), R. Cornacchia (Roberto), A.P. de Vries (Arjen) and M.L. Kersten (Martin)

Improving I/O Bandwidth for Data-Intensive Applications In Proceedings

M. Zukowski (Marcin)

Surface features in video retrieval In Proceedings

T.H.W. Westerveld (Thijs), A.P. de Vries (Arjen) and G. Ramirez Camps (Georgina)

Structural features in content oriented XML retrieval In Proceedings

G. Ramirez Camps (Georgina), T.H.W. Westerveld (Thijs) and A.P. de Vries (Arjen)

Indexing, learning and content-based retrieval for special purpose image databases In Proceedings

M.J. Huiskes (Mark) and E.J.E.M. Pauwels (Eric)

Discretization of timed automata in timed $\mu$ crl à la regions and zones In Proceedings

Y.S. Usenko (Yaroslav), J.F. Groote (Jan Friso) and M.A. Reniers (Michel)

From $\mu$ crl to mcrl2 In Proceedings

J.F. Groote (Jan Friso), M.J. van Weerdenburg (Muck), A.H.J. Mathijssen (Aad) and Y.S. Usenko (Yaroslav)

Reflections on a geometry of processes In Proceedings

C.A. Grabmayer, J.W. Klop (Jan Willem) and S.P. Luttik (Bas)

XML and Context: Structural Features Relevant to Search Tasks In Proceedings

G. Ramirez Camps (Georgina) and A.P. de Vries (Arjen)

User Needs and Strategies in Structured Information Retrieval In Proceedings

G. Ramirez Camps (Georgina)

TIJAH at INEX 2004: Modeling Phrases and Relevance Feedback In Proceedings

V. Mihajlovic, G. Ramirez Camps (Georgina), A.P. de Vries (Arjen), D. Hiemstra and H.E. Blok (Henk Ernst)