Publications from 2015

Programming and Deployment of Active Objects with Application-Level Scheduling In Proceedings

B. Nobakht (Behrooz), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)

Runtime revenue maximization for composite Web services with response-time commitments In Proceedings

M. Zivkovic, J.W. Bosman (Joost), J.L. van den Berg (Hans), H.B. Meeuwissen, R.D. van der Mei (Rob) and R. Núñez Queija (Rudesindo)

Treating JSON as a subset of XML In Proceedings

S. Pemberton (Steven)

Rascal Release 0.4.18 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia), T. van der Storm (Tijs) and A.H.S. Bagge (Anya)

Rascal Release 0.4.17 (alpha) Software

J.J. Vinju (Jurgen), P. Klint (Paul), D. Landman (Davy), A. Izmaylova (Anastasia) and T. van der Storm (Tijs)

Rascal Release 0.4.16 (alpha) Software

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

State Space Reduction for Model Checking Agent Programs In Proceedings

S.-S.T.Q. Jongmans (Sung), K.V. Hindriks and M.B. van Riemsdijk

Profiel: Alexander Rinnooy Kan. Human.nl, Nederland 2, 6 februari 2012 News Broadcast

J.K. Lenstra (Jan Karel)

Groeiproces bloemen verder ontrafelen. SierteeltNet, 2 februari 2012 Magazine Article

R.M.H. Merks (Roeland)

Bloemgroei in model gevangen. BioNieuws, 4 februari 2012 Magazine Article

R.M.H. Merks (Roeland)

Tensor invariants for certain subgroups of the orthogonal group Tech Report

G. Regts (Guus) and J. Draisma (Jan)

Multimodality and Multiresolution Image Fusion In Proceedings

P.M. de Zeeuw (Paul), E.J.E.M. Pauwels (Eric) and J. Han (Jungong )

Cracking Big Data Article

S. Idreos (Stratos)

Monotonicity testing and shortest-path routing on the cube Article

J. Briët (Jop), S. Chakraborty (Sourav), D. Garcia Soriano (David) and A. Matsliah (Arie)

MonetDB Dec2011-SP1 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), F.E. Groffen (Fabian), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.G. Ivanova (Milena), S. Idreos (Stratos), et al. R.A. Pereira Goncalves (Romulo Antonio), E. Sidirourgos (Eleftherios), E. Liarou (Erietta), H. Pirk (Holger), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), T.H.J. Sellam (Thibault), Y. Kargin (Yagiz), M.M. Gawade (Mrunal) and V.V. Meduri (Vamsi)

Characterizing partition functions of the vertex model Article

J. Draisma (Jan), D. Gijswijt (Dion), L. Lovász (László), G. Regts (Guus) and A. Schrijver (Lex)

Rise and Fall of Periodic Patterns for a generalized Klausmeier-Gray-Scott model Dissertation

S. van der Stelt (Sjors)

New year's speech of Jos Baeten, January 9, 2012 Miscellaneous

J.C.M. Baeten (Jos)

Fortran utilities Software

H.J. Teunissen (Jannis)

RDFa 1.1 Distiller and Parser Software

I. Herman (Ivan)

Derric Software

J.J. Vinju (Jurgen)

Turing language Software

J.J. Vinju (Jurgen)

Software Language Processing Suite Software

J.J. Vinju (Jurgen)

Snakemake Software

J. Köster (Johannes)

Lua AiR Software

J.J. Vinju (Jurgen)

IDE Meta-tooling Platform Software

J.J. Vinju (Jurgen)

Enso Software

J.J. Vinju (Jurgen)

ASTRA Toolbox Software

W.J. Palenstijn (Willem Jan)

Building virtual earth observatories using ontologies and linked geospatial data In Proceedings

M. Koubarakis (Manolis), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos), C. Nikolaou (Charalampos), S. Vassos (Stavros), G. Garbis (George), M. Sioutis (Michael), K. Bereta (Konstantina), S. Manegold (Stefan), M.L. Kersten (Martin), et al. M.G. Ivanova (Milena), H. Pirk (Holger), Y. Zhang (Ying), C. Kontoes (Charalampos), I. Papoutsis (Ioannis), T. Herekakis (Themistocles), D. Mihail (Dimitris), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), Molina, D. (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), E. Klien (Eva), T. Reitz (Thorsten) and R. Gregor (Robert)

Numerical modelling of strongly anisotropic dissipative eects in MHD In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

Discretization methods for extremely anisotropic diffusion In Proceedings

B. van Es (Bram), B. Koren (Barry) and H.J. de Blank

New explicit Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

Linearly implicit energy-conserving Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

A new model and numerical method for compressible two-fluid flow In Proceedings

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

Immersed actuator methods for wind-turbine wake calculations In Proceedings

B. Sanderse (Benjamin) and B. Koren (Barry)

A numerical layer resolving method for the flow over a curved surface Article

A.R. Ansari, B. Hossain, B. Koren (Barry) and G.I. Shishkin (Gregori)

De Zeven Grootste Raadsels van de Wiskunde Book

A. van den Brandhof, R. van der Veen, J. van de Craats and B. Koren (Barry)

See what's enBlogue: real-time emergent topic identification in social media In Proceedings

F. Alvanaki (Foteini), S. Michel, K. Ramamritham and G. Weikum

De 10 grootste doorbraken in de wetenschap volgens 89 prominente wetenschappers Magazine Article

R.M.H. Merks (Roeland)

The medieval climate anomaly in Europe : Comparison of the summer and annual mean signals in two reconstructions and in simulations with data assimilation Article

H. Goosse, J. Guiot, M.E. Mann (Michael), S. Dubinkina (Svetlana) and Y. Sallaz-Damaz

The role of forcing and internal dynamics in explaining the ‘‘Medieval Climate Anomaly’’ Article

H. Goosse, E. Crespin, S. Dubinkina (Svetlana) and M.-F. Loutre

Minimizing the Waiting Time for Emergency Surgery Article

J.T. van Essen (Theresia), J.L. Hurink (Johann), E.W. Hans and A. Oversberg

Genome-scale modeling of Synechocystis metabolism: A status report Lecture

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

StochPy: A Stochastic modelling tool for Python Software

T.R. Maarleveld (Timo), B.E. Olivier and F.J. Bruggeman (Frank)

Towards truly integrated modelling in Systems Biology Developing the Software and Standards Presentation

B.E. Olivier, M. Swat, K.J. Wolstencroft, J.L. Snoep, J. Boele (Joost) and T.R. Maarleveld (Timo)

On a Bahadur-Kiefer representation of Von Mises statistic type for intermediate sample quantiles Article

N. Gribkova and R. Helmers (Roelof)

Rational Middle: Intelligent Networks, make them as smart as possible! Or not? Article

R. Croes and J.A. La Poutré (Han)

Using Priced Options to Solve the Exposure Problem in Sequential Auctions Article

V. Robu (Valentin), L. Mous and J.A. La Poutré (Han)

On Algorithms and Extensions of Coordination Control of Discrete-Event Systems In Proceedings

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

On-line Distributed Prediction of Traffic Flow in a Large-Scale Traffic Network In Proceedings

Y. Wang (Yanjing), J.H. van Schuppen (Jan) and J. Vrancken

Control to facet by piecewise-affine output feedback Article

L.C.G.J.M. Habets (Luc), P.J. Collins (Pieter) and J.H. van Schuppen (Jan)

On conditional decomposability Article

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

Flow-level models for wireless networks with concurrent access Master Thesis

N. Diaz Feraren (natalia)

Approximations for the waiting-time distributions in polling models Master Thesis

P. Vis (Petra)

Statistical analysis of firefighter data Master Thesis

M. Novackova (Monika)

Forecasting of ambulance call volumes Master Thesis

M. Mahfoud (Maria)

Modeling counter improvised explosive devices Master Thesis

D. van Leeuwen (Daphne)

Static Analysis of Lua Presentation

R.A. van Rozen (Riemer)

Stationary Joint Queue Lengths for Widely Heterogeneous Traffic Classes Presentation

R. Núñez Queija (Rudesindo)

High order fluid model for ionization fronts in streamer discharges In Proceedings

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

Multi-objective optimization for deformable image registration: proof of concept In Proceedings

T. Alderliesten (Tanja), J.-J. Sonke (Jan-Jakob) and P.A.N. Bosman (Peter)

High-order fluid model of streamer discharges in molecular nitrogen In Proceedings

S. Dujko (Sasa), A. Markosyan (Aram), R.D. White, Z.L. Petrović (Zoran) and U. Ebert (Ute)

Learning the Neighborhood with the Linkage Tree Genetic Algorithm In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

Linkage Neighbors, Optimal Mixing and Forced Improvements in Genetic Algorithms In Proceedings

P.A.N. Bosman (Peter) and D. Thierens (Dirk)

High order fluid model for simulations of streamer and sprites In Proceedings

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

Linkage Neighbors, Optimal Mixing and Forced Improvements in Genetic Algorithms In Proceedings

P.A.N. Bosman (Peter) and D. Thierens (Dirk)

Why do we need high order fluid model for streamer discharges? Presentation

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

Predetermined versus Learned Linkage Models In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

Incremental Gaussian Model-Building in Multi-Objective EDAs with an Application to Deformable Image Registration In Proceedings

P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

High order fluid model for streamer discharges In Proceedings

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

Evolvability Analysis of the Linkage Tree Genetic Algorithm In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

On Measures to Build Linkage Trees in LTGA In Proceedings

P.A.N. Bosman (Peter) and D. Thierens (Dirk)

On Gradients and Hybrid Evolutionary Algorithms for Real-Valued Multi-Objective Optimization Article

P.A.N. Bosman (Peter)

Investigating voltage recovery after breakdown supercritical nitrogen In Proceedings

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

The downside of markup: examining the harmful effects of CSS and javascript on indexing today's web In Proceedings

K. Gyllstrom, C. Eickhoff (Carsten), A.P. de Vries (Arjen) and M.-F. Moens

Contextualization using hyperlinks and internal hierarchical structure of Wikipedia documents In Proceedings

M.A. Norozi (Muhammad), P. Arvola and A.P. de Vries (Arjen)

Building simulation models of growing plant tissues using VirtualLeaf Book Chapter

R.M.H. Merks (Roeland) and M.A. Guravage (Michael)

Integrating two patterning processes in the flower Article

S. van Mourik (Simon), A.D.J. van Dijk (Aalt), G.C. Angenent, R.M.H. Merks (Roeland) and J. Molenaar (Gijs)

Redox balance is key to explaining full vs. partial switching to low-yield metabolism Article

M.J.A. van Hoek (Milan) and R.M.H. Merks (Roeland)

Fast Approximation of Algebraic Reconstruction Methods for Tomography Article

K.J. Batenburg (Joost) and L. Plantagie (Linda)

TyMoRe - modular type based refactoring Software

A. Izmaylova (Anastasia) and J.J. Vinju (Jurgen)

Type based modular refactoring Presentation

A. Izmaylova (Anastasia)

TyMoRe: towards a modular, language-parametric refactoring framework Presentation

A. Izmaylova (Anastasia)

Type based Refactorings with TyMoRe Presentation

A. Izmaylova (Anastasia)

Software refactorings Presentation

A. Izmaylova (Anastasia)

TyMoRe - Modular Type based Refactoring Software

A. Izmaylova (Anastasia) and J.J. Vinju (Jurgen)

Quantitative analysis of venation patterns of Arabidopsis leaves by supervised image analysis Article

S. Dhondt, D. van Haerenborgh, C. van Cauwenbergh, R.M.H. Merks (Roeland), W. Philips, G.T.S. Beemster and D. Inze

Serialisation, Abstraction and XML Applications Lecture

S. Pemberton (Steven)

There is no yellow in this presentation (on Colour and Reality) Lecture

S. Pemberton (Steven)

Abstract delta modeling: my research plan In Proceedings

M. Helvensteijn (Michiel)

Dynamic delta modeling In Proceedings

M. Helvensteijn (Michiel)

Delta modeling in practice In Proceedings

M. Helvensteijn (Michiel), R. Muschevici and P.Y.H. Wong

Delta modeling workflow In Proceedings

M. Helvensteijn (Michiel)

Socially-aware multimedia: Adding personal and temporal contexts to media In Proceedings

D.C.A. Bulterman (Dick)

Highly-personal multimedia: supporting the user-in-the-small In Proceedings

D.C.A. Bulterman (Dick)

Together Anywhere, Together Anytime: Technologies for Intimate Interactions Book

New collision attacks on SHA-1 based on optimal joint local-collision analysis Unpublished

M.M.J. Stevens (Marc)

Will the real service-oriented computing please stand up? In Proceedings

F. Arbab (Farhad)

From timed Reo networks to networks of timed automata In Proceedings

N. Kokash (Natallia), M.M. Jaghoori (Mohammad Mahdi) and F. Arbab (Farhad)

Modularizing and specifying protocols among threads In Proceedings

S.-S.T.Q. Jongmans (Sung) and F. Arbab (Farhad)