Publications from 2025

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. Hardin (Hanna Maria)

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 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

A two-dimensional embedded-boundary method for convection problems with moving boundaries Tech Report

Y.J. Hassen (Yunus) and B. Koren (Barry)

A Compositional Semantics for Stochastic Reo Connectors Tech Report

Y.-J. Moon (Young-Joo), A.M. Silva (Alexandra), C. Krause (born Köhler) (Christian) and F. Arbab (Farhad)

Extremes of multidimensional Gaussian processes Tech Report

K.G. Dȩbicki (Krzysztof), K. Kosinski, M.R.H. Mandjes (Michel) and T. Rolski

Simulation-based computation of the workload correlation function in a Lévy-driven queue Tech Report

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

When owl:sameAs isn’t the Same: An Analysis of Identity Links on the Semantic Web In Proceedings

H. Halpin, I. Herman (Ivan) and P.J. Hayes (Patrick)

Disagreement loop and path creation/annihilation algorithms for binary planar Markov fields with applications to image segmentation Article

T. Schreiber and M.N.M. van Lieshout (Marie-Colette)

Positional update handling in column stores In Proceedings

S. A. B. C. Héman (Sándor), M. Zukowski (Marcin), N.J. Nes (Niels), E. Sidirourgos (Eleftherios) and P.A. Boncz (Peter)

Statistical Mechanics and Numerical Modelling of Geophysical Fluid Dynamics Dissertation

S. Dubinkina (Svetlana)

A Computational Approach to Patient Flow Logistics in Hospitals Dissertation

A.K. Hutzschenreuter (Anke Kristine)

Truthful Mechanism Design for Cooperative Cost Sharing and Congestion Games Dissertation

J. A. Brenner (Janina)

Arithmetical rank of toric ideals associated to graphs Article

A. Katsampekis (Anargyros)

Specializations of multigradings and the arithmetical rank of lattice ideals Article

A. Katsampekis (Anargyros) and A. Thoma

Logic of Information Flow on Communication Channels (Extended Abstract) In Proceedings

Y. Wang (Yanjing), F.A.G. Sietsma (Floor) and D.J.N. van Eijck (Jan)

One Hundred Prisoners and a Lightbulb --- Logic and Computation In Proceedings

D.J.N. van Eijck (Jan), H. van Ditmarsch (Hans) and W. Wu

Energieke Agenten Magazine Article

B. M. Mols (Bennie) and J.A. La Poutré (Han)

Modeling lignin polymerization. Part 1: simulation model of dehydrogenation polymers. Article

F.R.D. van Parijs (Frederik), K. Morreel, J. Ralph, W. Boerjan and R.M.H. Merks (Roeland)

Obituary of Amir Pnueli (1941-2009) Magazine Article

K.R. Apt (Krzysztof) and L. Zuck

Explaining strange features of sprite lightning Magazine Article

U. Ebert (Ute)

How can MBUI help me? Web of Things and Multimedia In Proceedings

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

Aligning large SKOS-like vocabularies In Proceedings

A. Tordai (Anna), J.R. van Ossenbruggen (Jacco), G. Schreiber (Guus) and B. Wielinga

A quantitative version of Steinhaus’ theorem for compact, connected, rank-one symmetric spaces Tech Report

F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Semidefinite code bounds based on quadruple distances Tech Report

D. Gijswijt (Dion), H.D. Mittelmann and A. Schrijver (Lex)

Stackelberg routing in arbitrary networks Article

V. Bonifaci (Vincenzo), T. Harks and G. Schäfer (Guido)

A coinductive calculus of binary trees Article

A.M. Silva (Alexandra) and J.J.M.M. Rutten (Jan)

Computable Analysis with Applications to Dynamic Systems Tech Report

P.J. Collins (Pieter)

Integrating and Ranking Interests From User Profiles In Proceedings

F. Duchateau (Fabien) and L. Hardman (Lynda)

End-user support for access to heterogeneous linked data Dissertation

M. Hildebrand (Michiel)

Applications of exponential decay and geometric series in effective medicine dosage Article

C. Annamalai (Chinnaraji)