Publications from 2017

Scaling limits via excursion theory: Interplay between Crump-Mode-Jagers branching processes and Processor-Sharing queues Article

A. Lambert, F.B.R.A. Simatos (Florian) and A.P. Zwart (Bert)

Steady-state analysis for multi-server queues under size-based task assignment in the Quality-Driven regime Article

B. Zhang (Bo) and A.P. Zwart (Bert)

Proceedings of the 2013 IEEE Conference on Computational Intelligence for Financial Engineering & Economics (CIFEr) Book

Smart Energy Systems Article

Designing Socially-Aware Video Exploration Interfaces: A Case Study using School Concert Assets In Proceedings

D.C. Pedrosa (Diogo de Carvalho), R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Personalized presentations from community assets In Proceedings

R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

Book Review: Basic Phylogenetic Combinatorics. -- Andreas Dress, Katharina T. Huber, Jacobus Koolen, Vincent Moulton and Andreas Spillner Article

L.J.J. van Iersel (Leo)

Onweer – veel nieuws van de plasmas boven onze hoofden Presentation

U. Ebert (Ute)

Hoe werkt bliksem? Presentation

U. Ebert (Ute)

How transient should a discharge be? On terrestrial gamma-ray flashes and disinfection Presentation

U. Ebert (Ute)

From Streamer Discharges To Thermalization Presentation

U. Ebert (Ute)

Energetic radiation from streamers and leaders in lab and nature Presentation

U. Ebert (Ute)

Learning Reductions to Sparse Sets In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance), J.M. Hitchcock (John) and B. S. Loff Barreto (Bruno Serra)

On the heating dynamics in sparks Presentation

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

Numerical study of high order fluid model for streamer discharges. Presentation

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

Investigating heating dynamics in sparks Presentation

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

Challenges in fluid modeling of streamer discharges. Presentation

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

High order fluid model for streamer discharges in rare gases Presentation

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

Non-conservative electron transport in gases and its application in modelling of non-equilibrium plasmas and particle detectors Presentation

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

Numerical investigation of voltage recovery after breakdown supercritical nitrogen Presentation

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

Investigation of positive streamers by double pulse experiments Presentation

S. Nijdam (Sander), E. Takahashi, A. Markosyan (Aram) and U. Ebert (Ute)

Comparing fluid models for streamer discharges Presentation

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

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

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

Investigating streamer to spark transition in supercritical N2. Presentation

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

Temporal Relevance Profiles for Tweet Search In Proceedings

J.J.P. Lin (Jimmy) and M. Efron

Ibidas: Querying Flexible Data Structures to Explore Heterogeneous Bioinformatics Data In Proceedings

M. Hulsman, J. Bot (Jan), A.P. de Vries (Arjen) and M.J.T. Reinders

Copulas for information retrieval In Proceedings

C. Eickhoff (Carsten), A.P. de Vries (Arjen) and K. Collins-Thompson

Topic modelling of clickthrough data in image search Article

D. Morrison (Donn), T. Tsikrika (Theodora), V. Hollink (Vera), A.P. de Vries (Arjen), E. Bruno and S. Marchand-Maillet

Runtime Optimizations for Prediction with Tree-Based Models Article

N. Asadi, J.J.P. Lin (Jimmy) and A.P. de Vries (Arjen)

Dutch-Belgian Workshop on Information Retrieval DIR 2013 Proceedings

Sprint methods for web archive research In Proceedings

H.C. Huurdeman, A. Ben David and T. Samar (Thaer)

Formal methods for components and objects : 10th international symposium, FMCO 2011 Proceedings

Formal methods for components and objects : 11th international symposium, FMCO 2012 Proceedings

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study In Proceedings

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), E.B. Johnsen (Einar Broch) and P.Y.H. Wong

Engineering virtualized services In Proceedings

E. Albert (Elvira), F.S. de Boer (Frank), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch) and C. Laneve (Cosimo)

Unbounded allocation in bounded heaps In Proceedings

J.C. Rot (Jurriaan), F.S. de Boer (Frank) and M. Sirjani (Marjan)

The future of a missed deadline In Proceedings

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

A weakest precondition calculus for BUnity Article

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

User-defined schedulers for real-time concurrent objects Article

J. Björk, F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf) and S.L.T. Tarifa

A coinductive treatment of infinitary rewriting Article

J. Endrullis (Jörg), H.H. Hansen (Helle), D. Hendriks, A. Polonsky and A.M. Silva (Alexandra)

On Moessner's theorem Article

D. Kozen and A.M. Silva (Alexandra)

Sound and complete axiomatizations of coalgebraic language equivalence Article

M.M. Bonsangue (Marcello), S. Milius and A.M. Silva (Alexandra)

Language constructs for non-well-founded computations In Proceedings

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

Well-founded coalgebras, revisited Tech Report

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

A coalgebraic view of epsilon-transitions In Proceedings

A.M. Silva (Alexandra) and B. Westerbaan (Bas)

Brzozowski's and up-to algorithms for must testing In Proceedings

F. Bonchi (Filippo), G. Caltais (Georgiana), D. Pous (Damien) and A.M. Silva (Alexandra)

QStream: A Suite of Streams In Proceedings

J. Winter (Joost)

PMG: Multicore metabolite identification Article

M.M. Jaghoori (Mohammad Mahdi), S.-S.T.Q. Jongmans (Sung), F.S. de Boer (Frank), J.E. Peironcely, J-L. Faulon and T. Hankemeier (Thomas)

Formal design and verification of long-running transactions with extensible coordination tools Article

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

Fundamentals of Software Engineering Book

From timed Reo networks to networks of timed automata Article

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

Reo: a dataflow inspired language for multicore In Proceedings

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

Global consensus through local synchronization In Proceedings

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

A tool for behavior-based discovery of approximately matching web services In Proceedings

M Sargolzaei, F. Santini (Francesco), F. Arbab (Farhad) and H. Afsarmanesh

Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES In Proceedings

T. Brys, M.M. Drugan, P.A.N. Bosman (Peter), M. de Cock and A. Nowé

More Concise and Robust Linkage Learning by Filtering and Combining Linkage Hierarchies In Proceedings

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

W-methods in optimal control Article

J. Lang (Jens) and J.G. Verwer (Jan)

Hypergraph covering problems motivated by genome assembly questions In Proceedings

C. Chauve, M.D. Patterson (Murray) and A. Rajaraman

New attacks on SHA-1: optimal joint local collision analysis Lecture

M.M.J. Stevens (Marc)

De supermalware Flame: wat is het en hoe kan cryptanalyse de volgende Flame-achtige aanval voorkomen? Lecture

M.M.J. Stevens (Marc)

Counter-cryptanalysis: fire retardant for the next Flame-like attack on MD5 & SHA-1 Lecture

M.M.J. Stevens (Marc)

Complexity of the positive semidefinite matrix completion problem with a rank constraint. Book Chapter

M. Eisenberg-Nagy (Marianna), M. Laurent (Monique) and A. Varvitsiotis (Antonios)

Addressing the Policy-bias of Q-learning by Repeating Updates In Proceedings

S. Abdallah (Sherief) and M. Kaisers (Michael)

A multi-agent approach to professional software engineering In Proceedings

M. Lützenberger, T. Küster, T. Konnerth, A. Thiele, N. Masuch, A. Heßler, J. Keiser, M. Burkhardt, S. Kaiser (Silvan), J. Tonn, et al. M. Kaisers (Michael) and S. Albayrak

Cell-based modeling of cell-cel and cell-ECM interactions during angiogenesis Presentation

R.M.H. Merks (Roeland)

Stochastic, self-organized growth of branched tissues: the growth of blood vessels and glands Presentation

R.M.H. Merks (Roeland)

Cell-based computational models of collective cell behavior, tip-cell selection and cell-ECM interactions during angiogenesis Presentation

R.M.H. Merks (Roeland)

The morphogenesis of branched tissues Presentation

R.M.H. Merks (Roeland)

Stigmergy in blood vessel growth: how indirect mechanical and chemical signaling, via the extra-cellular matrix, can coordinate collective cell behavior Presentation

R.M.H. Merks (Roeland)

Cell-based computational modeling of morphogenesis Presentation

R.M.H. Merks (Roeland)

Cell-based modeling of plant tissue growth and phytohormone transport using VirtualLeaf Presentation

R.M.H. Merks (Roeland)

Cell-based computational modeling of morphogenesis Presentation

R.M.H. Merks (Roeland)

Multiscale modeling of biological development and disease: Blood vessel development, gut microbiota and tumor progression Presentation

R.M.H. Merks (Roeland)

Multiscale modeling of angiogenesis: Perspectives for pharmacology Presentation

R.M.H. Merks (Roeland)

Uncertainty Quantification for Computational Energy Systems Presentation

J.A.S. Witteveen (Jeroen)

Cell-based modelling of cancerous tissues Presentation

A. Szabó (Andras) and R.M.H. Merks (Roeland)

Open graph drawing framework (OGDF) Book Chapter

M. Chimani, C. Gutwenger, M. Juenger, G.W. Klau (Gunnar), C.C. Klein (Cecilia) and P. Mutzel

Optimal DALI protein structure alignment Article

I. Wohlers (Inken), R. Andonov (Rumen) and G.W. Klau (Gunnar)

On tree-constrained matchings and generalizations Article

S. Canzar (Stefan), K. Elbassioni, G.W. Klau (Gunnar) and J. Mestre

The generalized Robinson-Foulds metric In Proceedings

S. Böcker (Sebastian), S. Canzar (Stefan) and G.W. Klau (Gunnar)

Reconstructing consensus Bayesian network structures with application to learning molecular interaction networks In Proceedings

H. Fröhlich and G.W. Klau (Gunnar)

Current composite-feature classification methods do not outperform simple single-genes classifiers in breast cancer prognosis Article

C. Staiger (Christine), S. Cadot, B. Györffy, L.F.A. Wessels (Lodewyk) and G.W. Klau (Gunnar)

eXamine: a Cytoscape app for exploring annotated modules in networks Tech Report

K. Dinkla, M. El-Kebir (Mohammed), C.I. Bucur (Cristina-Iulia), M. Siderius, M.J. Smit, M.A. Westenberg and G.W. Klau (Gunnar)

On the Adaptivity Gap of Stochastic Orienteering Tech Report

N. Bansal (Nikhil) and V. Nagarajan

On the number of matroids In Proceedings

N. Bansal (Nikhil), R. Pendavingh and J.G. van der Pol (Jorn)

A Harmonic Algorithm for the 3D Strip Packing Problem Article

N. Bansal (Nikhil), X. Han, K. Iwama, M. Sviridenko and G. Zhang (Guochuan)

Deterministic Discrepancy Minimization Article

N. Bansal (Nikhil) and J.H. Spencer (Joel)

Observation and evolution of finite-dimensional Markov systems In Proceedings

U. Faigle and A. Schönhuth (Alexander)

Mendelian-inheritance-aware discovery and genotyping of midsize and long indels Article

T. Marschall (Tobias), I. Hajirasouliha and A. Schönhuth (Alexander)

Stable Sets and Graphs with no Even Holes Tech Report

M. Conforti, A.M.H. Gerards (Bert) and K. Pashkovich (Kanstantsin)

The Highly Connected Matroids in Minor-closed Classes Tech Report

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

Structure in minor-closed-classes of matroids Book Chapter

J. Geelen (Jim), A.M.H. Gerards (Bert) and G. Whittle (Geoff)

LASER: Sensitive long-Indel-aware alignment of sequencing reads Tech Report

T. Marschall (Tobias) and A. Schönhuth (Alexander)

Next generation cluster editing Tech Report

T. Bellitto (Thomas), T. Marschall (Tobias), A. Schönhuth (Alexander) and G.W. Klau (Gunnar)

Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings

N.R. Viganò (Nicola), W. Ludwig (Wolfgang) and K.J. Batenburg (Joost)

A method for feature detection in binary tomography In Proceedings

W.R. Fortes (Wagner) and K.J. Batenburg (Joost)

Practical error bounds for binary tomography In Proceedings

W.R. Fortes (Wagner), J. Sijbers (Jan) and K.J. Batenburg (Joost)

An algebraic reconstruction technique for the study of local structural changes during CT In Proceedings

G. Van Eyndhoven (Geert), K.J. Batenburg (Joost) and J. Sijbers (Jan)

Localizing DART using the Reconstructed Residual Error In Proceedings

T. Roelandts (Tom), K.J. Batenburg (Joost) and J. Sijbers (Jan)

Adaptive zooming in X-ray computed tomography In Proceedings

A. Dabravolski (Andrei), K.J. Batenburg (Joost) and J. Sijbers (Jan)