Publications from 2020

Propositional Dynamic Logic as a Logic of Belief Revision In Proceedings

D.J.N. van Eijck (Jan) and Y. Wang (Yanjing)

PDL over Accelerated Labeled Transition Systems In Proceedings

T. Chen (Taolue), J.C. van de Pol (Jaco) and Y. Wang (Yanjing)

Particle and fluid models for streamers: comparison and spatial coupling In Proceedings

C. Li (Chao), W.J.M. Brok, U. Ebert (Ute), W. Hundsdorfer (Willem) and J.J.A.M. van der Mullen

Staffman-Taylor streamers: Mutual finger interaction in spark formation Article

A. Luque (Alejandro), F. Brau (Fabian) and U. Ebert (Ute)

Laplacian instability of planar streamer ionization fronts - an example of pulled front analysis Article

G. Derks (Gianne), U. Ebert (Ute) and B.J. Meulenbroek (Bernard)

Exact Algorithms for Cluster Editing: Evaluation and Experiments In Proceedings

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

Stereo-photography of streamers in air Article

S. Nijdam (Sander), J.S. Moerman, T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)

Construction and test of a moving boundary model for negative streamer discharges Article

F. Brau (Fabian), A. Luque (Alejandro), U. Ebert (Ute), L. Schäfer and B.J. Meulenbroek (Bernard)

The Usability of Ambiguity Detection Methods for Context-Free Grammars In Proceedings

H.J.S. Basten (Bas)

Randomness Extraction Via Delta-Biased Masking in the Presence of a Quantum Attacker In Proceedings

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

Cryptography in the Bounded Quantum-Storage Model Article

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

Practical Cryptography from Noisy Storage Article

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

On parameter estimation and determinability for the model of pattern formation in Drosophila melanogaster Tech Report

M. Ashyraliyev (Maksat) and J.G. Blom (Joke)

Book Review: Statistical analysis and modelling of spatial point patterns (by J. Illian, A. Penttinen, H. Stoyan, D. Stoyan). Article

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

An ontology-based approach for data integration - an application in biomedical research Book Chapter

I. Herman (Ivan), M.S. Marshall (Scott) and not CWI et al

3D Face Recognition Benchmarks on the Bosphorus Database with Focus on Facial Expressions In Proceedings

N. Alyuz, B. Gökberk, H. Dibeklioğlu, A. Savran, A.A. Salah (Albert Ali), L. Akarun and B. Sankur

Prediction and Voronoi graph construction with a dense network of simple sensors In Proceedings

A.A. Salah (Albert Ali) and E.J.E.M. Pauwels (Eric)

Retinotopy and Selective Visual Attention in Humans and Computers In Proceedings

A.A. Salah (Albert Ali) and A.P. Saygın

Perceptual Fusion in Humans and Machines Book Chapter

A.A. Salah (Albert Ali)

3D Face Recognition Book Chapter

B. Gökberk, A.A. Salah (Albert Ali), L. Akarun, R. Etheve, D. Riccio and J.-L. Dugelay

2D Face Recognition Book Chapter

M. Tistarelli, M. Bicego, J.L. Alba-Castro, D. Gonzalez-Jimenez, A. Mellakh, A.A. Salah (Albert Ali), D. Petrovska-Delacrètaz and B. Dorizzi

Control, responses and modularity of cellular regulatory networks: a control analysis perspective Article

F.J. Bruggeman (Frank), J.L. Snoep and H.V. Westerhoff (Hans)

Exploring the behavior of small eukaryotic gene clusters Article

F.J. Bruggeman (Frank), I. Oancea and R. van Driel (Roel)

Biosimulation in drug development Book

F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and H.V. Westerhoff (Hans)

Noise threshold for universality of 2-input gates In Proceedings

F.P. Unger (Falk)

Catching up faster in Bayesian model selection and model averaging In Proceedings

T.A.L. van Erven (Tim), P.D. Grünwald (Peter) and S. de Rooij (Steven)

Human Activity Analysis in Multimedia Data Article

A.E. Cetin, E.J.E.M. Pauwels (Eric) and O. Salvetti

Shorelines of islands of tractability : algorithms for parsimony and minimum perfect phylogeny haplotyping problems Article

L.J.J. van Iersel (Leo), J.C.M. Keijsper, S.M. Kelk (Steven) and L. Stougie (Leen)

Exploiting Sparsity in SDP Relaxation for Sensor Network Localization Tech Report

S. Kim (Sunyoung), M. Kojima and H. Waki (Hayato)

Optimal Embeddings of Distance Regular Graphs into Euclidean Spaces Article

F. Vallentin (Frank)

Lower bounds for measurable chromatic numbers Tech Report

C. Bachoc, G. Nebe, F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Spatial coupling of particle and fluid models for streamers: where nonlocality matters Article

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

Uitnodiging benoeming R.J.F. Cramer tot hoogleraar Cryptologie, Universiteit Leiden, 21.12.2007 Other

Uitnodiging kerstbuffet = Invitation Christmas party, 18.12.2007 Other

Representations of Gaussian processes with stationary increments Dissertation

P. Zarȩba (Pawel)

h-Multigrid for space-time discontinuous Galerkin discretizations of the compressible Navier-Stokes equations Article

C.M. Klaij (Christiaan), M.H. van Raalte (Marc), H. van der Ven (Harmen) and J.J.W. van der Vegt (Jaap)

Exploring streamer variability in experiments Dissertation

T.M.P. Briels (Tanja)

Writing Language Definitions in ASF+SDF Magazine Article

P. Klint (Paul) and J.J. Vinju (Jurgen)

Riemann problems in FPU chains Article

J.D.M. Rademacher (Jens) and M. Herrmann

Diagonal Circuit Identity Testing and Lower Bounds Tech Report

N. Saxena (Nitin)

The Epistemics of Presupposition Projection In Proceedings

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

Applications of Formal Methods to System Design and Verification Proceedings

Media Presentation Synchronisation for Non-monolithic Rendering Architectures In Proceedings

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

Enabling Pro-Active User-Centered Recommender Systems: An Initial Evaluation In Proceedings

D.C.A. Bulterman (Dick), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), H. Knoche and W. Seager

Social Sharing of Television Content: An Architecture In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)

Video on the Web: Experiences from SMIL and from the Ambulant Annotator In Proceedings

D.C.A. Bulterman (Dick), A.J. Jansen (Jack) and P.S. César Garcia (Pablo Santiago)

Adapted Maximum-Likelihood Gaussian Models for Numerical Optimization with Continuous EDAs Tech Report

P.A.N. Bosman (Peter), J. Grahl and D. Thierens (Dirk)

Finite de Finetti theorem for conditional probability distributions describing physical theories Tech Report

M. Christandl (Matthias) and B.F. Toner (Ben)

Searching for Temporal Patterns in AmI Sensor Data In Proceedings

R. Tavenard (Romain), A.A. Salah (Albert Ali) and E.J.E.M. Pauwels (Eric)

Proceedings of Formal Methods for Components and Objects, FMCO 2006 -- revised lectures Proceedings

Block-diagonal semidefinite programming hierarchies for 0/1 programming Tech Report

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

Bug Hunting with False Negatives Revisited Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

Risk Balance in Exchange Protocols In Proceedings

M.T. Dashti (Mohammad) and Y. Wang (Yanjing)

New Algorithms for Approximate Nash Equilibria in Bimatrix Games In Proceedings

H. Bosse (Hartwig), J. Byrka (Jaroslaw) and V. Markakis (Vangelis)

The Semantic Web in Action Article

L. Feigenbaum, I. Herman (Ivan), T. Hongsermeier, E. Neumann and S. Stephens

De schaduw van Jos Besteman : afscheid C&I 26.11.2007 : 2 audio cd's en booklet Other

Werk in uitvoering : deelnemerslijst CWI in Bedrijf, 20.11.2007 Other

Werk in uitvoering : CWI in bedrijf, 20.11.2007 : uitnodiging Other

Component-Based Configuration, Integration and Delivery Dissertation

T. van der Storm (Tijs)

Three phases in the evolution of the standard genetic code: how translation could get started Tech Report

P.T.S. van der Gulik (Peter)

Surface Capturing and Multigrid for Steady Free-Surface Water Flows Dissertation

J. Wackers (Jeroen)

Structural Features in XML Retrieval Dissertation

G. Ramirez Camps (Georgina)

Multigrid solution method for the steady RANS equations Tech Report

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

XForms 1.1 candidate recommendation Tech Report

J.M. Boyer

CURIE Syntax 1.0, A syntax for expressing Compact URIs Tech Report

institution W3C

Time staggering for wave equations revisited Tech Report

J.G. Verwer (Jan)

An Interactive Demonstrator for Auction-based Allocation of Loads in Transportation Logistics In Proceedings

H. Noot (Han), V. Robu (Valentin), J.A. La Poutré (Han) and W.-J. van Schijndel

Distributed Task Allocation in Social Networks In Proceedings

M.M. de Weerdt (Mathijs), Y.Q. Zhang (Yingqian (Jennie)) and T.B. Klos (Tomas)

Adaptive Optimization of Hospital Resource Calendars In Proceedings

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), S.G. Elkhuizen, J.S. Lameris, P.J.M. Bakker and J.A. La Poutré (Han)

Designing Bidding Strategies in Sequential Auctions For Risk Averse Agents In Proceedings

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

Auctions with Arbitrary Deals In Proceedings

T. Máhr and M.M. de Weerdt (Mathijs)

Inventory Management and the impact of anticipation in evolutionary stochastic online dynamic optimization In Proceedings

P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

Heuristics for the design and optimization of streaming CDNs In Proceedings

S. Bhulai (Sandjai), R.D. van der Mei (Rob) and M. Wu (Mengxiao)

Open standard and open sourced SMIL for interactivity Article

D. Zucker and D.C.A. Bulterman (Dick)

NeighbourCast: A synchronisation algorithm for wireless ad hoc networks In Proceedings

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

On time staggering for wave equations Article

J.G. Verwer (Jan)

Customer Configuration Updating in a Software Supply Network. Dissertation

R.L. Jansen (Slinger)

What to do next? Analysing and optimising system behaviour in time Dissertation

A.J. Wijs (Anton)

XForms 1.0 (Third Edition) In Proceedings

S. Pemberton (Steven) and not CWI et al

Rscript --- a Relational Approach to Software Analysis Magazine Article

P. Klint (Paul)

The Syntax Definition Formalism SDF Magazine Article

M.G.J. van den Brand (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

SDF Disambiguation Medkit for Programming Languages Magazine Article

J.J. Vinju (Jurgen)

Maak uw stoelriemen maar vast! Article

P. Klint (Paul)

XForms 1.0 Tech Report

institution W3C

RDFa Primer, Embedding Structured Data in Web Pages Tech Report

institution W3C

XHTML Role Attribute, A module to support role classification of elements Tech Report

institution W3C

RDFa in XHTML: Syntax and Processing Tech Report

institution W3C

Multigrid solution for the steady RANS equations Tech Report

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

Symmetric and Synchronous Communication in Peer-to-Peer Networks Tech Report

S. A. Witzel (Andreas)

Multigrid solution for the steady RANS equations Article

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

Formal analysis techniques for gossiping protocols Article

R. Bakhshi (Rena), F. Bonnet, W.J. Fokkink (Wan) and B. Haverkort

Higher entropic uncertainty relations for anti-commuting observables Tech Report

S.D.C. Wehner (Stephanie) and A. Winter

Stochastic realization for stochastic control with partial observations Book Chapter

J.H. van Schuppen (Jan)

Conditions structurelles dans le contrôle modulaire des systèmes à événements discrets concurrents In Proceedings

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

An abstract interpretation toolkit for $\mu$CRL Article

M.V. Espada and J.C. van de Pol (Jaco)

The Unique Games Conjecture with Entangled Provers is False Tech Report

J. Kempe, B.F. Toner (Ben) and O. Regev (Oded)

Sensor Networks for Ambient Intelligence In Proceedings

E.J.E.M. Pauwels (Eric), A.A. Salah (Albert Ali) and R. Tavenard (Romain)

Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction In Proceedings

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

Balloon popping with applications to ascending auctions In Proceedings

N.S. Immorlica (Nicole Simone), A. Karlin, M. Mahdian (Mohammad) and K. Talwar (Kunal)

Analysis and Transformation of Idiomatic Crosscutting Concerns in Legacy Software Systems In Proceedings

M. Bruntink (Magiel)