Publications from 2017

Fault-Based Test Case Generation for Component Connectors In Proceedings

B.K. Aichernig, F. Arbab (Farhad), L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Sun (Meng) and J.J.M.M. Rutten (Jan)

Synthesis of Reo Circuits from Scenario-based Specifications In Proceedings

F. Arbab (Farhad), M. Sun (Meng) and C. Baier

Deconstructing Reo In Proceedings

D.G. Clarke (David), J.M.P. Proença (Jose), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

Non-locality and Communication Complexity Tech Report

H.M. Buhrman (Harry), R.E. Cleve (Richard), S. Massar (Serge) and R.M. de Wolf (Ronald)

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games In Proceedings

M. Ummels and D.K. Wojtczak (Dominik)

Option pricing with COS method on Graphics Processing Units In Proceedings

B. Zhang (Bo) and C.W. Oosterlee (Kees)

Fast pricing of hybrid derivative products Article

C.W. Oosterlee (Kees) and L.A. Grzelak (Lech Aleksander)

Improving banks' credit risk management Article

X. Huang and C.W. Oosterlee (Kees)

Depth as Randomness Deficiency Article

L.F. Antunes (Luis), A. Matos, A. Souto (André) and P.M.B. Vitányi (Paul)

Locating the transition from periodic oscillations to spatiotemporal chaos in the wake of invasion Article

J.A. Sherratt, M. Smith and J.D.M. Rademacher (Jens)

Image annotation using clickthrough data In Proceedings

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

Diameters of positive streamers in pure N2/O2 mixtures In Proceedings

S. Nijdam (Sander), F.M.J.H. van de Wetering, E.M. van Veldhuizen and U. Ebert (Ute)

Thief Belief (Extended Abstract) In Proceedings

E. Kennerly, S. A. Witzel (Andreas) and J.A. Zvesper (Jonathan)

Common Knowledge in Interaction Structures In Proceedings

K.R. Apt (Krzysztof), S. A. Witzel (Andreas) and J.A. Zvesper (Jonathan)

A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs Tech Report

J. Gouveia, M. Laurent (Monique), P. Parrilo and R.R. Thomas (Rekha)

A generalized flat extension theorem for moment matrices Article

M. Laurent (Monique) and B. Mourrain

A Lower Bound for the Capacity of the Discrete-Time Poisson Channel In Proceedings

A. Martinez (Alfonso)

Information Rate Loss from Radiation Decoherence In Proceedings

A. Martinez (Alfonso)

Error Probability of BICM in Fading Channels: Uniform Interleaving Analysis In Proceedings

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

Modeling Morphogenesis in silico and in vitro: Towards Quantitative, Predictive, Cell-based Modeling Article

R.M.H. Merks (Roeland) and P. Koolwijk (Pieter)

User Variance and its Impact on Video Retrieval Benchmarking In Proceedings

P. Wilkins, R. Troncy (Raphael), M. Halvey (Martin), D. Byrne, A.K. Amin (Alia), P. Puttu Swami (Punitha), A.F. Smeaton and R. Villa

Java Test Driver Generation from Object-Oriented Interaction Traces In Proceedings

M.M. Bonsangue (Marcello), F.S. de Boer (Frank), A. Grüner (Andreas) and M. Steffen

Onze huisstijl CWI : introductie nieuwe huisstijl 2009 Other

Analysis and Testing of Ajax-based Single-page Web Applications Dissertation

A. Mesbah (Ali)

Optimization and Approximation on Systems of Geometric Objects Dissertation

E.J. van Leeuwen (Erik Jan)

Armada, an Evolving Database System Dissertation

F.E. Groffen (Fabian)

Frans-Nederlands informaticasamenwerking van start - interview met P. Klint Magazine Article

P. Klint (Paul)

HashClash - Framework for MD5 & SHA-1 Differential Path Construction Software

M.M.J. Stevens (Marc)

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

Publieke Werken -- Freudenthal's Som en productraadsel Article

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

A feedback fluid queue with two congestion control thresholds Article

R. Malhotra, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and J.L. van den Berg (Hans)

Moving-boundary approximation for curved streamer ionization fronts: Numerical tests Article

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

The contact polytope of the Leech lattice Tech Report

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

Amplitude Phase Shift Keying Constellation Design and its Applications to Satellite Digital Video Broadcasting Book Chapter

K.P. Liolis, R. De Gaudenzi, N. Alagha, A. Martinez (Alfonso) and A. Guillén i Fàbregas

Bit-Interleaved Coded Modulation Revisited: A Mismatched Decoding Perspective Article

A. Martinez (Alfonso), A. Guillén i Fàbregas, G. Caire and F.M.J. Willems

Self-organizing tuple reconstruction in column-stores In Proceedings

S. Idreos (Stratos), M.L. Kersten (Martin) and S. Manegold (Stefan)

An architecture for recycling intermediates in a column-store In Proceedings

M.G. Ivanova (Milena), M.L. Kersten (Martin), N.J. Nes (Niels) and R.A. Pereira Goncalves (Romulo Antonio)

ROX: Run-time optimization of XQueries In Proceedings

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

First passage process of a Markov additive process, with applications to reflection problems Tech Report

B. D'Auria, J. Ivanovs (Jevgenijs), O. Kella and M.R.H. Mandjes (Michel)

Finite-volume discretizations and immersed boundaries Tech Report

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

Extremes of Markov-additive processes with one-sided jumps, with queueing applications Tech Report

A.B. Dieker (Ton) and M.R.H. Mandjes (Michel)

A note on pooling of labels in random fields Tech Report

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

A physical five-equation model for compressible two-fluid flow, and its numerical treatment Tech Report

J.J. Kreeft (Jasper) and B. Koren (Barry)

Front interactions in a three-component system Dissertation

P.J.A. van Heijster (Peter)

Coalgebraic Modelling: Applications in Automata Theory and Modal Logic Dissertation

H.H. Hansen (Helle)

RDFa for HTML Authors Manual

S. Pemberton (Steven)

Properties of classical and quantum Jensen-Shannon divergence Article

J. Briët (Jop) and P. Harremoës (Peter)

A1-brug Article

P. Klint (Paul)

Information distance in multiples Tech Report

P.M.B. Vitányi (Paul)

Normalized Web Distance and Word Similarity Book Chapter

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

An obstacle to a decomposition theorem for near-regular matroids Tech Report

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

A moving boundary problem motivated by electric breakdown, I: Spectrum of linear perturbations Article

S. Tanveer, L. Schäfer, F. Brau (Fabian) and U. Ebert (Ute)

Modular Verification of Recursive Programs Book Chapter

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

Optimal strategies in sequential bidding In Proceedings

K.R. Apt (Krzysztof) and V. Markakis (Vangelis)

Solving Simple Stochastic Games with Few Random Vertices Article

H. Gimbert and F. Horn (Florian)

Parameter estimation for a model of gap gene circuits with time-variable external inputs in Drosophila Tech Report

M. Ashyraliyev (Maksat)

Automatic Metadata Enrichment in News Production In Proceedings

E. Mannens, R. Troncy (Raphael), K. Braeckman, D. van Deursen, W. van Lancker, R. de Sutter and R. van de Walle

Interlinking Multimedia: How to Apply Linked Data Principles to Multimedia Fragments In Proceedings

M. Hausenblas, R. Troncy (Raphael), Y. Raimond and T. Bürger

Explorer des actualités multimédia dans le web de données In Proceedings

R. Troncy (Raphael)

Runge–Kutta methods and viscous wave equations Article

J.G. Verwer (Jan)

Queueing Networks with Shared Resources Dissertation

W. van der Weij (Wemke)

Efficient and robust uncertainty quantification for computational fluid dynamics and fluid-structure interaction Dissertation

J.A.S. Witteveen (Jeroen)

Breaking the Weakest Link: Becoming a Trusted Authority on the Internet Article

M.M.J. Stevens (Marc)

Ambulant 2.0 Software

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

Automated translation and analysis of a ToolBus script for auctions In Proceedings

W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)

Magnetohydrodynamics of insulating spheres Article

J.W. Haverkort (Willem) and not CWI et al

Fighting Lymph Cancer with Mathematics Article

A.C. Kik (Annette) and G.W. Klau (Gunnar)

Semidefinite programming, multivariate orthogonal polynomials, and codes in spherical caps Article

C. Bachoc and F. Vallentin (Frank)

StreetTiVo: Using a P2P XML Database System to Manage Multimedia Data in Your Living Room In Proceedings

Y. Zhang (Ying), A.P. de Vries (Arjen), P.A. Boncz (Peter), D. Hiemstra and R. Ordelman

Efficient Distribution of Full-Fledged XQuery In Proceedings

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

Organizing Suggestions in Autocompletion Interfaces In Proceedings

A.K. Amin (Alia), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), V. Evers and L. Hardman (Lynda)

‘Give me a hug': the effects of touch and autonomy on people's responses to embodied social agents Tech Report

H. Cramer, N. Kemper, A.K. Amin (Alia), V. Evers and B. Wielinga

Touched by robots: effects of physical contact and proactiveness Tech Report

H. Cramer, A.K. Amin (Alia), V. Evers and N. Kemper

Asymptotic inversion of the Erlang B formula Article

J.S.H. van Leeuwaarden (Johan) and N.M. Temme (Nico)

End-user Programming of Ambient Narratives for Smart Retail Environments Dissertation

M.G.L.M. van Doorn (Mark)

Algebraic Techniques for Low Communication Secure Protocols Dissertation

R. de Haan (Robbert)

Feature Visualization in Large Scale Imaging Mass Spectrometry Data Dissertation

A. Broersen (Alexander)

Adding state to declarative languages to enable web applications Master Thesis

A.J. Jansen (Jack)

From coordination to stochastic models of QoS Tech Report

F. Arbab (Farhad), T. Chothia (Tom), R.D. van der Mei (Rob), S. Meng, Y.-J. Moon (Young-Joo) and C. Verhoef (Chretien)

12th International Conference on Extending Database Technology (EDBT 2009) Proceedings

BNN today News Broadcast

H.M. Buhrman (Harry)

Comparing Aimed Movements in the Real World and in Virtual Reality In Proceedings

L. Liu (Lei), R. van Liere (Robert), C. J. H. Nieuwenhuizen (Karin) and J.-B. Martens

A hierarchical network model for road traffic control In Proceedings

J. Vrancken, J.H. van Schuppen (Jan), M. dos Santos Soares and F. Ottenhof (Frank)

Interactive Information Access on the Web of Data In Proceedings

L. Hardman (Lynda), J.R. van Ossenbruggen (Jacco), R. Troncy (Raphael), A.K. Amin (Alia) and M. Hildebrand (Michiel)

Normal forms for reduced stochastic climate models Article

A.J. Majda, C.L.E. Franzke (Christian) and D.T. Crommelin (Daan)

A prolongation-projection algorithm for computing the finite real variety of an ideal Article

J.B. Lasserre, M. Laurent (Monique) and P. Rostalski

Performance Evaluation In Database Research: Principles And Experience In Proceedings

S. Manegold (Stefan) and I. Manolescu

Generic and Updatable XML Value Indices Covering Equality and Range Lookups In Proceedings

E. Sidirourgos (Eleftherios) and P.A. Boncz (Peter)

Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Tech Report

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

Incentive-based control of ad hoc networks: a performance study Tech Report

F. Göbel, A. E. Krzesinski (Anthony) and M.R.H. Mandjes (Michel)

On the record process of time-reversible spectrally-negative Markov additive processes Tech Report

J. Ivanovs (Jevgenijs) and M.R.H. Mandjes (Michel)

Backpressure-based control protocols: design and computational aspects Tech Report

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

Approximations for the mean sojourn time in a parallel queue Tech Report

B.P.H. Kemper and M.R.H. Mandjes (Michel)

Applying Reo to Service Coordination in Long-Running Business Transactions In Proceedings

N. Kokash (Natallia) and F. Arbab (Farhad)

Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Tech Report

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

A Flexible QoS-aware Routing Protocol for Infrastructure-less B3G Networks In Proceedings

N. Kokash (Natallia), R. Speicys Cardoso, P.-G. Raverdy and V. Issarny

Discus amicorum Jan Heering : t.g.v. zijn afscheid, 27.02.2009 Other

CWI 63 jaar! : standaard bij gebak t.g.v. verjaardag CWI Other

Fluid models for QoS provisioning in communication networks Dissertation

F. Roijers (Frank)

Using options with set exercise prices to reduce bidder exposure in sequential auctions In Proceedings

I.M. Mous (Lonneke), V. Robu (Valentin) and J.A. La Poutré (Han)