Publications from 2014

Abstract Syntax Sucks! Presentation

T. van der Storm (Tijs)

Modularizing a DSL implementation with Rascal Master Thesis

J.J.W. Timmer (Jasper)

Interfacing RASCAL with Java APIs. Automated mapping with Apache POI Master Thesis

G. Marmanidis (George)

The accuracy of text classification algorithms used in NLP Master Thesis

D. Blommesteijn (Dennis)

Generieke syntax versus domeinspecieke syntax : learnability en understandability van notatiewijzen Master Thesis

B. van Eijkelenburg

Conflict resolution in an event sourcing environment: Which method performs best? Master Thesis

J. Klamer (Jeremy)

A DSL in 36 lines of code Lecture

T. van der Storm (Tijs)

Marvol Software

T. van der Storm (Tijs), A.J. van der Ploeg (Atze) and J.J. Vinju (Jurgen)

DSLs for Questionnaires Presentation

T. van der Storm (Tijs)

SWOT of Rascal as a Language Workbench Presentation

T. van der Storm (Tijs)

Implementing Domain-specific languages using Rascal Presentation

T. van der Storm (Tijs)

Domain-Specific Languages Presentation

T. van der Storm (Tijs)

Inefficiency of Games with Social Context In Proceedings

A. Anagnostopoulos (Aris), L. Becchetti, B. de Keijzer (Bart) and G. Schäfer (Guido)

Inefficiency of Standard Multi-unit Auctions In Proceedings

B. de Keijzer (Bart), V. Markakis (Vangelis), G. Schäfer (Guido) and O. Telelis (Orestis)

Genetic algorithm for prediction of optimal nutrient combinations for cultivation of unknown bacteria Presentation

D.G. de Koning (Daniël), T.R. Maarleveld (Timo), G. Muyzer and R.M.H. Merks (Roeland)

Boosting performance of wireless networks with concurrent access by smart traffic splitting Article

G.J. Hoekstra (Gerard) and R.D. van der Mei (Rob)

Digital road authority for coordination between in-car navigation systems and traffic control centres Article

R.D. van der Mei (Rob), F. Ottenhof (Frank) and M. Bots

Een wiskundig model voor het analyseren van de prestatie en efficiency van ambulance-meldkamers Article

P. Dwars (Peter), M. van Buuren (Martin), G.J. Kommer (Geert Jan), R.D. van der Mei (Rob) and S. Bhulai (Sandjai)

A data integration and visualization resource for the metabolic network of Synechocystis sp. PCC 6803 Lecture

T.R. Maarleveld (Timo)

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