Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

MonetDB Software

M.L. Kersten (Martin), N.J. Nes (Niels), Y. Zhang (Ying), A.J. Koning (Aris), J. van Ruth (Joeri), P. Koutsourakis (Panagiotis), K.S. Mullender (Sjoerd), P.E. Silva Ferreira (Pedro), S.G. Stalinov (Svetlin) and T. Zois (Thodoris)

January 2013
Monadic FRP Software

T. van der Storm (Tijs)

January 2013
LTGA Software

P.A.N. Bosman (Peter)

January 2013
LiveQL Software

T. van der Storm (Tijs)

January 2013
Invisible XML Software

S. Pemberton (Steven)

January 2013
Hygienic Transformations Software

T. van der Storm (Tijs)

January 2013
Counter-Cryptanalysis Software

M.M.J. Stevens (Marc)

January 2013
Wiskunde en energieonderzoek: een uitstekende combinatie Article

Het Beste Idee

B. Koren (Barry)

January 2013
Shell V-power Article

Nieuw Archief voor Wiskunde, 5(14), 83-83.

B. Koren (Barry)

January 2013
Over de grote rivieren Article

Nieuw Archief voor Wiskunde, 5(14), 83-83.

B. Koren (Barry)

January 2013
Navier-Stokes Article

Nieuw Archief voor Wiskunde, 5(14), 244-250.

B. Koren (Barry)

January 2013
Runge-Kutta methods for the incompressible Navier-Stokes equations In Proceedings

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

January 2013
Thema Film 26: Saving Lives With Mathematics Magazine Article

R.D. van der Mei (Rob) and C.J. Jagtenberg (Caroline)

January 2013
Thema Film 19: 3D Tele-Immersive Streaming of live reconstructed geometry Magazine Article

R.N. Mekuria (Rufael)

January 2013
Thema Film 17: Dick Bulterman on Media Annotation Magazine Article

D.C.A. Bulterman (Dick)

January 2013
Optimal control of end-user energy storage Article

IEEE Transactions on Smart Grid, 4(2), 789-797.

P.M. van de Ven (Peter), N. Hegde, L. Massoulie and T. Salonidis

January 2013
Thema Film 16: Image Processing Using MonetDB/SciQL Magazine Article

CWI CWI

January 2013
Thema Film 15: MonetDB/DataCell demo Magazine Article

E. Liarou (Erietta)

January 2013
Thema Film 11: Galvanic Skin Response Trials Magazine Article

CWI CWI

January 2013
Thema Film 4: Big Data: Get value from your information Magazine Article

CWI CWI

January 2013
Galvanic Skin Response Trials Magazine Article

P.S. César Garcia (Pablo Santiago)

January 2013
Do you need experts in the crowd? A case study in image annotation for marine biology In Proceedings

J. He (Jiyin), J.R. van Ossenbruggen (Jacco) and A.P. de Vries (Arjen)

January 2013
Fast Cartography for Data Explorers In Proceedings

T.H.J. Sellam (Thibault) and M.L. Kersten (Martin)

January 2013
Representing some non-representable matroids Article

Advances in Applied Mathematics, 50(1), 201-227.

S.H.M. van Zwam (Stefan) and R. Pendavingh

January 2013
Scalable, continuous tracking of tag co-occurrences between short sets using (almost) disjoint tag partitions In Proceedings

F. Alvanaki (Foteini) and S. Michel

January 2013
Fish4Knowledge - Demo Presentation

E.M.A.L. Beauxis-Aussalet (Emmanuelle), E. Arslanova (Elvira), T. Perrucci (Tiziano), J. He (Jiyin), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2013
Fish4Knowledge- large scale coral reef fish monitoring using undersea computer vision methods Presentation

B.J. Boom (Bas), C. Spampinato (Concetto), S. Palazzo, P.X. Huang, C. Beyan, J. He (Jiyin), E.M.A.L. Beauxis-Aussalet (Emmanuelle), S.-I. Lin, H.-M. Chou, G. Nadarajan, et al. R.B. Fisher (Robert)

January 2013
Understanding Social Media Engagement: Have Expectations Exceeded Results? Lecture

D.C.A. Bulterman (Dick)

January 2013
SIGMM Technical Achievement Award Lecture: Reflections on the past, present and future of multimedia research Lecture

D.C.A. Bulterman (Dick)

January 2013
An assessment of particle filtering methods and nudging for climate state reconstructions Article

Climate of the Past, 1141-1152.

S. Dubinkina (Svetlana) and H. Goosse

January 2013
Investigating the consistency between proxy-based reconstructions and climate models using data assimilation: a mid-Holocene case study Article

Climate of the Past, 9(6), 2741-2757.

A. Mairesse, H. Goosse, P. Mathiot, H. Wanner and S. Dubinkina (Svetlana)

January 2013
Using data assimilation to investigate the causes of Southern Hemisphere high latitude cooling from 10 to 8 ka BP Article

Climate of the Past, 9(2), 887-901.

P. Mathiot, H. Goosse, X. Crosta, B. Stenni, M. Braida, A. Mairesse and S. Dubinkina (Svetlana)

January 2013
SexTant: Visualizing Time-Evolving Linked Geospatial Data In Proceedings

K. Bereta (Konstantina), C. Nikolaou (Charalampos), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos) and M. Koubarakis (Manolis)

January 2013
Asymptotics of hybrid fluid queues with Lévy input Article

Journal of Applied Probability, 103-113.

K.G. Dȩbicki (Krzysztof), I. Sierpinska and A.P. Zwart (Bert)

January 2013
Corrected phase-type approximations of heavy-tailed risk models using perturbation analysis Article

Insurance: Mathematics and Economics, 366-378.

E. Vatamidou (Eleni), I.J.B.F. Adan, M. Vlasiou (Maria) and A.P. Zwart (Bert)

January 2013
Network iso-elasticity and weighted alpha-fairness Article

Performance Evaluation, 995-1000.

S.C. Borst (Sem), N. Walton and A.P. Zwart (Bert)

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

Annals of Applied Probability, 2357-2381.

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

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

Mathematics of Operations Research, 504-525.

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

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

January 2013
Smart Energy Systems Article

ERCIM News

January 2013
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), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)

January 2013
Personalized presentations from community assets In Proceedings

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

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

Systematic Biology, 62(2), 346-348.

L.J.J. van Iersel (Leo)

January 2013
Onweer – veel nieuws van de plasmas boven onze hoofden Presentation

U. Ebert (Ute)

January 2013
Hoe werkt bliksem? Presentation

U. Ebert (Ute)

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

U. Ebert (Ute)

January 2013
From Streamer Discharges To Thermalization Presentation

U. Ebert (Ute)

January 2013
Energetic radiation from streamers and leaders in lab and nature Presentation

U. Ebert (Ute)

January 2013
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)

January 2013
On the heating dynamics in sparks Presentation

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

January 2013
Numerical study of high order ﬂuid model for streamer discharges. Presentation

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

January 2013
Investigating heating dynamics in sparks Presentation

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

January 2013
Challenges in ﬂuid modeling of streamer discharges. Presentation

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

January 2013
High order ﬂuid model for streamer discharges in rare gases Presentation

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

January 2013
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)

January 2013
Numerical investigation of voltage recovery after breakdown supercritical nitrogen Presentation

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

January 2013
Investigation of positive streamers by double pulse experiments Presentation

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

January 2013
Comparing ﬂuid models for streamer discharges Presentation

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

January 2013
PumpKin: A tool to ﬁnd principal pathways in plasma chemical models Presentation

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

January 2013
Investigating streamer to spark transition in supercritical N2. Presentation

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

January 2013
Temporal Relevance Profiles for Tweet Search In Proceedings

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

January 2013
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

January 2013
Copulas for information retrieval In Proceedings

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

January 2013
Topic modelling of clickthrough data in image search Article

Multimedia Tools and Applications, 66(3), 493-515.

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

January 2013
Runtime Optimizations for Prediction with Tree-Based Models Article

IEEE Transactions on Knowledge and Data Engineering

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

January 2013
Dutch-Belgian Workshop on Information Retrieval DIR 2013 Proceedings

January 2013
Sprint methods for web archive research In Proceedings

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

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

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

January 2013
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

January 2013
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)

January 2013
Unbounded allocation in bounded heaps In Proceedings

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

January 2013
The future of a missed deadline In Proceedings

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

January 2013
A weakest precondition calculus for BUnity Article

Science of Computer Programming, 78(9), 1278-1293.

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

January 2013
User-defined schedulers for real-time concurrent objects Article

Innovations in Systems and Software Engineering, 9(1), 29-43.

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

January 2013
A coinductive treatment of infinitary rewriting Article

Computing Research Repository

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

January 2013
On Moessner's theorem Article

American Mathematical Monthly, 120(2), 131-139.

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

January 2013
Sound and complete axiomatizations of coalgebraic language equivalence Article

ACM Transactions on Computational Logic, 14(1)

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

January 2013
Language constructs for non-well-founded computations In Proceedings

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

January 2013
Well-founded coalgebras, revisited Tech Report

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

January 2013
A coalgebraic view of epsilon-transitions In Proceedings

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

January 2013
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)

January 2013
QStream: A Suite of Streams In Proceedings

J. Winter (Joost)

January 2013
PMG: Multicore metabolite identification Article

Electronic Notes in Theoretical Computer Science, 53-60.

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)

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

IEEE Transactions on Services Computing, 6(2), 186-200.

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

January 2013
Fundamentals of Software Engineering Book

January 2013
From timed Reo networks to networks of timed automata Article

Electronic Notes in Theoretical Computer Science, 11-29.

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

January 2013
Reo: a dataflow inspired language for multicore In Proceedings

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

January 2013
Global consensus through local synchronization In Proceedings

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

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

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

January 2013
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é

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

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

January 2013
W-methods in optimal control Article

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

January 2013
Hypergraph covering problems motivated by genome assembly questions In Proceedings

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

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

M.M.J. Stevens (Marc)

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

M.M.J. Stevens (Marc)

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

M.M.J. Stevens (Marc)

January 2013
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)

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

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

January 2013
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. S. Albayrak

January 2013

Available Years

Publications from 2017

MonetDB Software

Monadic FRP Software

LTGA Software

LiveQL Software

Invisible XML Software

Hygienic Transformations Software

Counter-Cryptanalysis Software

Wiskunde en energieonderzoek: een uitstekende combinatie Article

Shell V-power Article

Over de grote rivieren Article

Navier-Stokes Article

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

Thema Film 26: Saving Lives With Mathematics Magazine Article

Thema Film 19: 3D Tele-Immersive Streaming of live reconstructed geometry Magazine Article

Thema Film 17: Dick Bulterman on Media Annotation Magazine Article

Optimal control of end-user energy storage Article

Thema Film 16: Image Processing Using MonetDB/SciQL Magazine Article

Thema Film 15: MonetDB/DataCell demo Magazine Article

Thema Film 11: Galvanic Skin Response Trials Magazine Article

Thema Film 4: Big Data: Get value from your information Magazine Article

Galvanic Skin Response Trials Magazine Article

Do you need experts in the crowd? A case study in image annotation for marine biology In Proceedings

Fast Cartography for Data Explorers In Proceedings

Representing some non-representable matroids Article

Scalable, continuous tracking of tag co-occurrences between short sets using (almost) disjoint tag partitions In Proceedings

Fish4Knowledge - Demo Presentation

Fish4Knowledge- large scale coral reef fish monitoring using undersea computer vision methods Presentation

Understanding Social Media Engagement: Have Expectations Exceeded Results? Lecture

SIGMM Technical Achievement Award Lecture: Reflections on the past, present and future of multimedia research Lecture

An assessment of particle filtering methods and nudging for climate state reconstructions Article

Investigating the consistency between proxy-based reconstructions and climate models using data assimilation: a mid-Holocene case study Article

Using data assimilation to investigate the causes of Southern Hemisphere high latitude cooling from 10 to 8 ka BP Article

SexTant: Visualizing Time-Evolving Linked Geospatial Data In Proceedings

Asymptotics of hybrid fluid queues with Lévy input Article

Corrected phase-type approximations of heavy-tailed risk models using perturbation analysis Article

Network iso-elasticity and weighted alpha-fairness Article

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

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

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

Personalized presentations from community assets In Proceedings

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

Onweer – veel nieuws van de plasmas boven onze hoofden Presentation

Hoe werkt bliksem? Presentation

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

From Streamer Discharges To Thermalization Presentation

Energetic radiation from streamers and leaders in lab and nature Presentation

Learning Reductions to Sparse Sets In Proceedings

On the heating dynamics in sparks Presentation

Numerical study of high order ﬂuid model for streamer discharges. Presentation

Investigating heating dynamics in sparks Presentation

Challenges in ﬂuid modeling of streamer discharges. Presentation

High order ﬂuid model for streamer discharges in rare gases Presentation

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

Numerical investigation of voltage recovery after breakdown supercritical nitrogen Presentation

Investigation of positive streamers by double pulse experiments Presentation

Comparing ﬂuid models for streamer discharges Presentation

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

Investigating streamer to spark transition in supercritical N2. Presentation

Temporal Relevance Profiles for Tweet Search In Proceedings

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

Copulas for information retrieval In Proceedings

Topic modelling of clickthrough data in image search Article

Runtime Optimizations for Prediction with Tree-Based Models Article

Dutch-Belgian Workshop on Information Retrieval DIR 2013 Proceedings

Sprint methods for web archive research In Proceedings

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

Engineering virtualized services In Proceedings

Unbounded allocation in bounded heaps In Proceedings

The future of a missed deadline In Proceedings

A weakest precondition calculus for BUnity Article

User-defined schedulers for real-time concurrent objects Article

A coinductive treatment of infinitary rewriting Article

On Moessner's theorem Article

Sound and complete axiomatizations of coalgebraic language equivalence Article

Language constructs for non-well-founded computations In Proceedings