Publications from 2015

Structural properties of the optimal resource allocation for single-server systems Article

R. Yang (Ran), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

Waiting times in a queueing network with a single shared server Article

M.A.A. Boon (Marko), R.D. van der Mei (Rob) and E.M.M. Winands

Efficient traffic splitting in parellel TCP-based networks: modeling and experimental validation In Proceedings

R.D. van der Mei (Rob), G.J. Hoekstra (Gerard) and J.W. Bosman (Joost)

Engineering elastic traffic in TCP-based networks: processor sharing and effective services times In Proceedings

G.J. Hoekstra (Gerard), R.D. van der Mei (Rob) and N. Diaz Feraren (natalia)

Understanding Similarity Metrics in Neighbour-based Recommender Systems In Proceedings

A. Bellogín Kouki (Alejandro) and A.P. de Vries (Arjen)

Artist popularity: do web and social music services agree? In Proceedings

A. Bellogín Kouki (Alejandro), A.P. de Vries (Arjen) and J. He (Jiyin)

A simple index rule for efficient traffic splitting over parallel wireless networks with partial information Article

J.W. Bosman (Joost), G.J. Hoekstra (Gerard), S. Bhulai (Sandjai), G.J. Hoekstra (Gerard) and R.D. van der Mei (Rob)

Dr ClickOn Software

A.J. van der Ploeg (Atze)

A Library for Declarative Resolution-Independent 2D Graphics In Proceedings

A.J. van der Ploeg (Atze) and P. Klint (Paul)

Biologically plausible reinforcement learning of continuous actions In Proceedings

J.O. Rombouts (Jaldert), P.R. Roelfsema (Pieter) and S.M. Bohte (Sander)

Neurally Plausible Reinforcement Learning of Working Memory Tasks In Proceedings

J.O. Rombouts (Jaldert), S.M. Bohte (Sander) and P.R. Roelfsema (Pieter)

Weakly coupled heat bath models for Gibbs-like invariant states in nonlinear wave equations Article

J. Bajars (Janis), J.E. Frank (Jason) and B.J. Leimkuhler (Ben)

Stochastic homogenization for an energy conserving multi-scale toy model of the atmosphere Article

J.E. Frank (Jason) and G.A. Gottwald

On the appearance of internal wave attractors due to an initial or parametrically excited disturbance Article

J. Bajars (Janis), J.E. Frank (Jason) and L.R.M. Maas

Tip cells in angiogenesis: the role of selection and behavior Presentation

M.M. Palm (Margriet), E. van Dijk (Erik) and R.M.H. Merks (Roeland)

Sharpness of the percolation transition for a class of contact processes Presentation

J. van den Berg (Rob)

Sharpness of the percolation transition for a class of contact processes Presentation

J. van den Berg (Rob)

The size of large clusters in a large box in 2D critical percolation Presentation

J. van den Berg (Rob)

The size of large clusters in a large box in 2D critical percolation Presentation

J. van den Berg (Rob)

The gaps between the sizes of large clusters in 2D critical percolation Article

J. van den Berg (Rob) and R.P. Conijn (Rene)

BK-type inequalities and generalized random-cluster representations Article

J. van den Berg (Rob) and A. Gandolfi

Making Genome-scale Modeling Simpler Lecture

T.R. Maarleveld (Timo), J. Boele (Joost), F.J. Bruggeman (Frank) and B. Teusink (Bas)

The State of the Art in Language Workbenches. Conclusions from the Language Workbench Challenge In Proceedings

T. van der Storm (Tijs), S. Erdweg (Sebastian), M. Voelter, M. Boersma, R. Bosman, W.R. Cook, A. Gerritsen, A. Hulshout, S. Kelly, A. Loh, et al. G. Konat, P.J. Molina, M. Patatnik, R. Pohjonen, E. Schindler (Eugen), K. Schindler, R. Solmi, V. Vergu, K.B. van der Vlist (Kevin), G. Wachsmuth and J.M. van der Woning (Jimi)

From Millions to One: The topological logic of optimal solution spaces of genome-scale stoichiometric models of metabolism Presentation

T.R. Maarleveld (Timo), M. Wortel, R.A. Khandelwal, B.G. Olivier (Brett) and F.J. Bruggeman (Frank)

Making genome-scale modeling simple Presentation

T.R. Maarleveld (Timo), J. Boele (Joost), F.J. Bruggeman (Frank) and B. Teusink (Bas)

Feature-Oriented Programming with Object Algebras In Proceedings

B.C.d.S. Oliveira (Bruno), T. van der Storm (Tijs), A. Loh and W.R. Cook

Semantic Deltas for Live DSL Environments In Proceedings

T. van der Storm (Tijs)

Medium-Voltage Distribution Network Expansion Planning with Gene-pool Optimal Mixing Evolutionary Algorithms In Proceedings

N.H. Luong (Hoang), M.O.W. Grond, P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

OSSMETER WP3: Source Code Quality & Activity Analysis Presentation

J.J. Vinju (Jurgen)

New Rascal-MPL website Magazine Article

D. Landman (Davy) and J.J. Vinju (Jurgen)

Software Analysis and Transformation with Rascal Presentation

J.J. Vinju (Jurgen)

CWI SWAT & Rascal Presentation

J.J. Vinju (Jurgen)

Modularity Lecture

J.J. Vinju (Jurgen)

An empirical study of PHP feature usage In Proceedings

M.A. Hills (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

Object Redundancy Profiling in Java Presentation

M.J. Steindorfer (Michael)

Control Flow in the Wild A first look at 13K Java Projects Unpublished

D. Landman (Davy), A. Serebrenik (Alexander) and J.J. Vinju (Jurgen)

What Does Control Flow Really Look Like? Eyeballing the Cyclomatic Complexity Metric Presentation

D. Landman (Davy), J.J. Vinju (Jurgen), A. Serebrenik (Alexander) and M.W. Godfrey (Michael)

Exploring the Limits of Domain Model Recovery In Proceedings

P. Klint (Paul), D. Landman (Davy) and J.J. Vinju (Jurgen)

The Garden-Hose Model In Proceedings

H.M. Buhrman (Harry), S. Fehr (Serge), C. Schaffner (Christian) and F. Speelman (Florian)

Algebraic Manipulation Detection Codes Article

R.J.F. Cramer (Ronald), S. Fehr (Serge) and C. Padró (Carles)

One-Sided Device Independent QKD and Position-Based Cryptography from Monogamy Games In Proceedings

M. Tomamichel, S. Fehr (Serge), J. Kaniewski and S.D.C. Wehner (Stephanie)

Security and Composability of Randomness Expansion from Bell Inequalities Article

S. Fehr (Serge), R. Gelles and C. Schaffner (Christian)

Feasibility and Completeness of Cryptographic Tasks in the Quantum World In Proceedings

S. Fehr (Serge), J. Katz, F. Song, H.S. Zhou and V. Zikas

Ancient Dispersal of the Human Fungal Pathogen Cryptococcus gattii from the Amazon Rainforest Article

F. Hagen, P.C. Ceresini, I. Polacheck, H. Ma (Huiye), F. van Nieuwerburgh, T. Gabaldón, S. Kagan, E. Rhiannon Pursall, H.L. Hoogveld., L.J.J. van Iersel (Leo), et al. G.W. Klau (Gunnar), S.M. Kelk (Steven), L. Stougie (Leen), K.H. Bartlett, K. Voelz, L.P. Pryszcz, E. Castañeda, M. Lazera, W. Meyer, D. Deforce, J.F. Meis, R.C. May, C.H.W. Klaassen (Corné) and T. Boekhout

Charge Group Partitioning in Biomolecular Simulation Article

S. Canzar (Stefan), M. El-Kebir (Mohammed), R. Pool (René), K. Elbassioni, A.E. Mark (Alan), D.P. Geerke, L. Stougie (Leen) and G.W. Klau (Gunnar)

Spatiotemporal Modeling of Swedish Scots Pine Stands Article

O.J.A. Cronie (Ottmar), K Nyström and J. Yu (Jun)

Monotonicity Conditions for Multirate and Partitioned Explicit Runge-Kutta Methods, Book Chapter

W. Hundsdorfer (Willem), A. Mozartova (Anna) and V. Savcenco (Valeriu)

Elements of Epistemic Crypto Logic Lecture

D.J.N. van Eijck (Jan)

Why Learn Haskell? Lecture

D.J.N. van Eijck (Jan)

Communication as Action Lecture

D.J.N. van Eijck (Jan)

From Number Guessing Games to Security Protocol Analysis and Back Lecture

D.J.N. van Eijck (Jan)

Semantics, Communication and Probability Lecture

D.J.N. van Eijck (Jan)

Renunciation Games Presentation

D.J.N. van Eijck (Jan)

Learning About Probability Presentation

D.J.N. van Eijck (Jan)

Model Checking Uncertainty about Probability Lecture

D.J.N. van Eijck (Jan)

Learning from the Perspective of Epistemic Dynamic Logic Lecture

D.J.N. van Eijck (Jan)

PDL as a multi-agent strategy logic In Proceedings

D.J.N. van Eijck (Jan)

Nonbinary Cycle Killer Software

L.J.J. van Iersel (Leo)

A characterization of edge-reflection positive partition functions of vertex-coloring models In Proceedings

G. Regts (Guus)

Quantum knopen & verstrengelde informatie Presentation

M.S. Golden (Mark) and H.M. Buhrman (Harry)

Positive semidefinite matrix completion, universal rigidity and the Strong Arnold Property Tech Report

M. Laurent (Monique) and A. Varvitsiotis (Antonios)

A Framework for Realistic 3D Tele-Immersion Unpublished

A.A.M. Kuijk (Fons)

A Framework for Human-like Behavior in an Immersive Virtual World Unpublished

A.A.M. Kuijk (Fons)

Invited talk at the AIR research center at Falmouth University, Penryn, UK Presentation

C. Wang (Chen)

Invited talk at the Universidad Autonoma de Madrid, Spain Presentation

C. Wang (Chen)

Invited talk at the School of Journalism and Communication at Nanjing University Presentation

C. Wang (Chen)

Investigation of the inception cloud of positive streamers in air In Proceedings

L.C.J. Heijmans (Luuk), S. Nijdam (Sander), E.M. van Veldhuizen and U. Ebert (Ute)

On the finite conductivity of streamer channels: towards an electrodynamical model of extensive streamer coronas In Proceedings

A. Luque (Alejandro), U. Ebert (Ute) and F.J. Gordillo-Vazquez (Francisco)

Cross sections and modelling results for high-energy radiation and positron beams produced within a thundercloud In Proceedings

C. Köhn (Christoph) and U. Ebert (Ute)

Simulating streamers near dielectric materials In Proceedings

A. A. Dubinova (Anna), H.J. Teunissen (Jannis) and U. Ebert (Ute)

PumpKin: A tool to find principal pathways in plasma chemical models In Proceedings

A. Markosyan (Aram), A. Luque (Alejandro), F.J. Gordillo-Vazquez (Francisco) and U. Ebert (Ute)

Streamer to spark transition in supercritical N2 In Proceedings

A. Markosyan (Aram), J. Zhang (Jason), E.J.M. van Heesch and U. Ebert (Ute)

Analyzing atmospheric kinetic pathways using PumpKin In Proceedings

A. Markosyan (Aram), A. Luque (Alejandro), F.J. Gordillo-Vazquez (Francisco) and U. Ebert (Ute)

Streamers in air splitting into three branches Article

L.C.J. Heijmans (Luuk), S. Nijdam (Sander), E.M. van Veldhuizen and U. Ebert (Ute)

High order fluid model for streamer discharges: II. Numerical solution and investigation of planar fronts Article

A. Markosyan (Aram), S. Dujko (Sasa) and U. Ebert (Ute)

High order fluid model for streamer discharges: I. Derivation of model and transport data Article

S. Dujko (Sasa), A. Markosyan (Aram), R.D. White and U. Ebert (Ute)

Social Network Games with Obligatory Product Selection In Proceedings

K.R. Apt (Krzysztof) and S.E. Simon (Sunil)

Undominated Groves Mechanisms Article

M. Guo, V. Markakis (Vangelis), K.R. Apt (Krzysztof) and V. Conitzer (Vincent)

The H-index can be Easily Manipulated Article

B. de Keijzer (Bart) and K.R. Apt (Krzysztof)

Common Knowledge in Email Exchanges Article

F.A.G. Sietsma (Floor) and K.R. Apt (Krzysztof)

Special issue dedicated to OPTPDE2011: Fast solvers for simulation, inversion and control of wave propagation problems Miscellaneous

Valuing modular nuclear power plants in finite time decision horizon Article

S. Jain (Shashi), F. Roelofs (Ferry) and C.W. Oosterlee (Kees)

Pricing inflation products with stochastic volatility and stochastic interest rates Article

S.N. Singor (Stefan), L.A. Grzelak (Lech Aleksander), D.D.B. van Bragt and C.W. Oosterlee (Kees)

An efficient pricing algorithm for swing options based on Fourier cosine expansions Article

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

Efficient pricing of European-style Asian options under exponential L\'evy processes based on Fourier cosine expansions Article

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

Analysis of an affine version of the Heston-Hull-White option pricing partial differential equation Article

S. Guo (Shimin), L.A. Grzelak (Lech Aleksander) and C.W. Oosterlee (Kees)

On the Fourier cosine series expansion (COS) method for stochastic control problems Article

M.J. Ruijter (Marjon), C.W. Oosterlee (Kees) and R.F.T. Aalbers

Robust pricing of European options with wavelets and the characteristic function Article

L. Ortiz Gracia (Luis) and C.W. Oosterlee (Kees)

Efficient portfolio valuation incorporating liquidity risk Article

Y. Tian (Yu), R. Rood and C.W. Oosterlee (Kees)

Micropatterns in Grammars Presentation

V. Zaytsev (Vadim)

Guided Grammar Convergence Presentation

V. Zaytsev (Vadim)

Modeling Software Structures with GrammarLab Lecture

V. Zaytsev (Vadim)

Pending Evolution of Grammars Presentation

V. Zaytsev (Vadim)

Alphametic Cryptarithms and Polychromatic Coppices in Rascal Presentation

V. Zaytsev (Vadim)

Modelling Robustness with Conjunctive Grammars Presentation

V. Zaytsev (Vadim)

Modeling Software Structures with GrammarLab Presentation

V. Zaytsev (Vadim)

Software Engineering Considered Harmful Presentation

V. Zaytsev (Vadim) and J. Bézivin

A Snappy Introduction to Metaprogramming in Rascal Lecture

V. Zaytsev (Vadim)

Negotiated Transformations Presentation

V. Zaytsev (Vadim)

Universal codes from switching strategies Article

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)