Publications from 2020

Enumerating Chemical Organisations in Consistent Metabolic Networks: Complexity and Algorithms In Proceedings

P.V. Milreu (Paulo), V. Acuña (Vicente), E. Birmele, P. Crescenzi, A. Marchetti Spaccamela (Alberto), M.-F. Sagot (Marie-France), L. Stougie (Leen) and V. Lacroix

Designing comprehensible self-organising systems In Proceedings

N.F. Höning (Nicolas) and J.A. La Poutré (Han)

Towards optimal alignment of protein structure distance matrices Article

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

Escape of resources in a distributed clustering process Article

J. van den Berg (Rob), M.R. Hilario and A.E. Holroyd

Coloring geographical threshold graphs Article

M. Bradonjic, T. Müller (Tobias) and A.G. Percus

A J–function for inhomogeneous point processes Tech Report

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

Overview of the wikipediaMM task at ImageCLEF 2009 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

Benchmarking adaptive indexing In Proceedings

G. Goetz, S. Idreos (Stratos), H. Kuno and S. Manegold (Stefan)

Buchi Automata for Modeling Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

Formal Methods for Components and Objects, 8th International Symposium, FMCO 2009 --- State-of-the-Art Survey Proceedings

Proceedings CMCS 2010 Proceedings

Proceedings of the 3rd Interaction and Concurrency Experience. Proceedings

Time and Data Aware Analysis of Graphical Service Models in Reo In Proceedings

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

A Note on Pooling of Labels in Random Fields Article

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

Wiskunde: de uitdaging : vakantiecursus 2010 : Amsterdam, 27-28.08.2010 en Eindhoven, 03-04.09.2010 Other

Reliability and effectiveness of clickthrough data for automatic image annotation Article

T. Tsikrika (Theodora), C. Diou, A.P. de Vries (Arjen) and A. Delopoulos

Projection and backprojection in tomography: design choices and considerations In Proceedings

K.J. Batenburg (Joost), W.J. Palenstijn (Willem Jan) and J. Sijbers (Jan)

Dutch-French research team searches for errors in software - interview met P. Klint en J.K. Lenstra Magazine Article

P. Klint (Paul) and J.K. Lenstra (Jan Karel)

Non-Uniform Reductions Article

H.M. Buhrman (Harry), B. Hescott, S. Homer and L. Torenvliet (Leen)

Bit-interleaved coded modulation with shaping In Proceedings

A. Guillén i Fàbregas and A. Martinez (Alfonso)

SHORT-ROOT and SCARECROW regulate leaf growth in Arabidopsis by stimulating S-phase progression of the cell cycle. Article

S. Dhondt, F. Coppens, F. de Winter, K. Swarup, R.M.H. Merks (Roeland), D. Inze, M.J. Bennett and G.T.S. Beemster

Modeling Tuberculosis in Lung and Central Nervous System Master Thesis

M. El-Kebir (Mohammed)

Beyond the playlist: seamless playback of structured video clips Article

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

Computer assisted photo identification of Dermochelys coriacea In Proceedings

P.M. de Zeeuw (Paul), E.J.E.M. Pauwels (Eric), E.B. Ranguelova (Elena), D.M. Buonantony and S.A. Eckert

Inhomogeneous extreme forms Tech Report

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

Magnetohydrodynamic Effects on Insulating Bubbles and Inclusions in the Continuous Casting of Steel Article

J.W. Haverkort (Willem) and T.W.J. Peeters

Better Search Applications Through Domain Specific Context Descriptions: a Position Paper In Proceedings

C. Boscarino (Corrado), A.P. de Vries (Arjen) and J.R. van Ossenbruggen (Jacco)

Search for journalists: New York Times challenge report In Proceedings

C. Boscarino (Corrado), A.P. de Vries (Arjen) and W. Alink (Wouter)

Scheduling Real-Time Mixed-criticality Jobs In Proceedings

S.K. Baruah (Sanjoy), V. Bonifaci (Vincenzo), G. Del'Angelo, A. Marchetti Spaccamela (Alberto), N. Megow (Nicole) and L. Stougie (Leen)

Factorization of a 768-bit RSA modulus In Proceedings

T. Kleinjung (Thorsten), K. Aoki, J. Franke, A.K. Lenstra (Arjen), E. Thomee, J.W. Bos (Joppe), P. Gaudry, A. Kruppa (Alexander), P.L. Montgomery, D.A. Osvik, et al. H.J.J. te Riele (Herman), A. Timofeev (Andrey) and P. Zimmermann

Leakage-Resilient Pseudorandom Functions and Side-Channel Attacks on Feistel Networks In Proceedings

E. Kiltz (Eike), A. O'Neill and A. Smith (Adam)

Instantiability of RSA-OAEP under Chosen-Plaintext Attack In Proceedings

E. Kiltz (Eike), A. O'Neill and A. Smith (Adam)

Sampling in a quantum population, and applications In Proceedings

N.J. Bouman (Niek) and S. Fehr (Serge)

Run-time Optimization for Pipelined Systems In Proceedings

R. Abdel Kader, M. van Keulen, P.A. Boncz (Peter) and S. Manegold (Stefan)

Blackhole State-Controlled Regulated Pushdown Automata In Proceedings

E. Csuhaj-Varju, T. Masopust (Tomas) and G. Vaszil (György)

T-patterns revisited: Mining for temporal patterns in sensor data Article

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

Stepsize Restrictions for Boundedness and Monotonicity of Multistep Methods Tech Report

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Projective Distribution of XQuery with Updates Article

Y. Zhang (Ying), N. Tang (Nan) and P.A. Boncz (Peter)

A J-function for inhomogeneous point processes Tech Report

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

A generalisation of orbit algebras Tech Report

X.P.J. Buchwalder (Xavier)

The Approach of Moments for Polynomial Equations Tech Report

M. Laurent (Monique) and P. Rostalski

Special boundedness properties in numerical initial value problems Tech Report

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Non-deterministic Kleene coalgebras Article

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

Verification of Context-Dependent Channel-Based Service Models In Proceedings

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

Some mathematical refinements concerning error minimization in the genetic code Tech Report

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), S.M. Kelk (Steven), W.M. Koolen-Wijkstra (Wouter) and L. Stougie (Leen)

On asymptotically good strongly multiplicative linear secret sharing Dissertation

I. Cascudo (Ignacio)

XRPC - Efficient Distributed Query Processing on Heterogeneous XQuery Engines Dissertation

Y. Zhang (Ying)

XHTML™ Modularization 1.1 - Second Edition Standard

D. Austin, S. Pemberton (Steven) and not CWI et al

ERCIM NEWS Special Theme Computational Biology Miscellaneous

Eureka: A methodology for measuring bandwidth usage of networked games, environments and applications In Proceedings

I. Vaishnavi (Ishan), A. Arefin, D.C.A. Bulterman (Dick), K. Nahrstedt and R. Rivas

XHTML™ Modularization 1.1 - Second edition Book Chapter

S. Pemberton (Steven)

The positive semidefinite Grothendieck problem with rank constraint In Proceedings

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Introduction to the Special Theme Computational Biology Article

G.W. Klau (Gunnar) and J. Nicolas

Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq In Proceedings

P.J. Collins (Pieter), M. Niqui (Milad) and N. Revol

Supervisory control synthesis of discrete-event systems using coordination scheme Tech Report

J. Komenda, T. Masopust (Tomas) and J.H. van Schuppen (Jan)

Prequential Plug-In Codes that Achieve Optimal Redundancy Rates even if the Model is Wrong In Proceedings

W.T. Kotlowski (Wojciech) and P.D. Grünwald (Peter)

Following the Flattened Leader In Proceedings

W.T. Kotlowski (Wojciech), P.D. Grünwald (Peter) and S. de Rooij (Steven)

Aggregative synthesis of distributed supervisors based on automata abstraction Article

R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)

Numerical Methods Book Chapter

N.M. Temme (Nico)

Parabolic Cylinder Functions Book Chapter

N.M. Temme (Nico)

Error Functions, Dawson’s and Fresnel Integrals Book Chapter

N.M. Temme (Nico)

Exponential, Logarithmic, Sine, and Cosine Integrals Book Chapter

N.M. Temme (Nico)

Invariant semidefinite programs Tech Report

C. Bachoc, D. Gijswijt (Dion), A. Schrijver (Lex) and F. Vallentin (Frank)

A problem in last-passage percolation. Article

H. Kesten and V. Sidoravicius (Vladas)

A generalization of Talagrand's variance bound in terms of influences Tech Report

D. Kiss (Demeter)

Pushdown System Representation for Unbounded Object Creation Tech Report

J.C. Rot (Jurriaan), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

Business Process Compliance through Reusable Units of Compliant Processes In Proceedings

D. Shumm, O. Turetken, N. Kokash (Natallia), A. Elgammal, F. Leymann and J. van den Heuvel

On Estimation of the Intensity Function of a Point Process In Proceedings

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

Asymptotics and Numerics of Polynomials Used in Tricomi and Buchholz Expansions of Kummer functions Article

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

Fast and Accurate Computation of the Weber Parabolic Cylinder Function $W(a,x)$ Article

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

Handling biological complexity: as simple as possible but not simpler Dissertation

H.M. Härdin (Hanna)

CWI lectures in mathematics and computer science 2010 : data intensive research : 25.06.2010 : invitation Other

Database Cracking: Towards Auto-tuning Database Kernels Dissertation

S. Idreos (Stratos)

Exploring Visual Bookmarks and Layered Visualizations Master Thesis

J.T. Teuben (Jan)

Bedankkaart Heerenveen en Middelberg voor mensen die bij hun jubileum aanwezig waren, Juni 2010 Other

Extra back-off flow control in wireless mesh networks In Proceedings

A.P. Hellings (Ton), J.S.H. van Leeuwaarden (Johan), S.C. Borst (Sem) and D. Denteneer

LODE: une ontologie pour représenter des événements dans le web de données In Proceedings

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

Oogstjaar voor CWI-onderzoekers ‘We investeren bewust in technologie’ Magazine Article

P.A. Boncz (Peter), M.L. Kersten (Martin) and S. Manegold (Stefan)

Sharing Enriched Multimedia Experiences across Heterogeneous Network Infrastructures Article

C. Hesselman, D. Abbadessa, W. van der Beek, D. Gorgen, K. Shepherd, S. Smit (Sander), M. Gulbahar, I. Vaishnavi (Ishan), J. Zoric, L. Dietwig, et al. R. de Groote (Robert), J. O'Connell and O. Friedrich

NOSSDAV 2010: Introduction and Overview In Proceedings

D.C.A. Bulterman (Dick)

Ambulant 2.2 Software

A.J. Jansen (Jack), C.L. Blom (Kees) and D.C.A. Bulterman (Dick)

Partial order reduction for branching security protocols In Proceedings

A.J. Wijs (Anton), W.J. Fokkink (Wan) and M.T. Dashti (Mohammad)

Kan een pop informatica voor vrouwen aantrekkelijk maken? Article

P. Klint (Paul)

Derandomizing from Random Strings In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance), M. Koucký (Michal) and B. S. Loff Barreto (Bruno Serra)

A cell-based model of extracellular-matrix-guided endothelial cell migration during angiogenesis Master Thesis

J.T. Daub (Josephine)

A 3-dimensional discrete tomography approach for superresolution micro-CT images:application to foams In Proceedings

W. van Aarle (Wim), G. van Gompel (Gert), K.J. Batenburg (Joost), E. van de Casteele and J. Sijbers (Jan)

Hedging structured concepts In Proceedings

W.M. Koolen-Wijkstra (Wouter), M.K. Warmuth and J. Kivinen

A Model for Web Service Coordination in Long-Running Transactions In Proceedings

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

Towards Coordination Patterns for Complex Experimentations in Data Mining In Proceedings

F. Arbab (Farhad), C. Diamantini (Claudia), D. Potena (Domenico) and E. Storti (Emanuele)

High accuracy semidefinite programming bounds for kissing numbers Article

H.D. Mittelmann and F. Vallentin (Frank)

The contact polytope of the Leech lattice Article

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

Nonconflict check by using sequential automaton abstractions Article

R. Su (Rong), J.H. van Schuppen (Jan), J.E. Rooda (Jacobus), R. van Haalen and A. Hofkamp

Stability, fragility, and Rota's Conjecture Tech Report

D. Mayhew, G. Whittle (Geoff) and S.H.M. van Zwam (Stefan)

The structure of graphs with a vital linkage of order 2 Tech Report

D. Mayhew, G. Whittle (Geoff) and S.H.M. van Zwam (Stefan)

Introduction to the Special Theme Computational Biology Magazine Article

G.W. Klau (Gunnar)

Universal Sequencing on a Single Machine In Proceedings

L. Epstein (Lea), A. Levin, A. Marchetti Spaccamela (Alberto), N. Megow (Nicole), J. Mestre, M. Skutella (Martin) and L. Stougie (Leen)

Modelling Dynamic Forgetting in Distributed Information Systems In Proceedings

N.F. Höning (Nicolas) and M.C. Schut

A spinning join that does not get dizzy In Proceedings

P.W. Frey (Philip), R.A. Pereira Goncalves (Romulo Antonio), M.L. Kersten (Martin) and J. Teubner (Jens)

Sixth International ACM/SIGMOD Workshop on Data Management on New Hardware Proceedings