Publications from 2014

Queueing Models for Bandwidth-Sharing Disciplines Dissertation

P.M.D. Lieshout (Pascal)

Testing Reactive Systems with Data : Enumerative Methods and Constraint Solving Dissertation

J.R. Calamé (Jens)

Liber amicorum Jan Kok Miscellaneous

CWI midterm self-evaluation 2008 Book

The Language Specification Formalism ASF+SDF Magazine Article

M.G.J. van den Brand (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

ToolBusNG 2.0 Software

P. Klint (Paul) and A.W. Lankamp (Arnold)

Doe-het-zelf PR Article

P. Klint (Paul)

A bolt form the blue Magazine Article

U. Ebert (Ute)

Bliksemboom News Broadcast

U. Ebert (Ute)

Samen flitsen Magazine Article

U. Ebert (Ute)

Semantic Multimedia In Proceedings

S. Staab, A. Scherp, R. Arndt, R. Troncy (Raphael), M. Grzegorzek, C. Saathoff, S. Schenk and L. Hardman (Lynda)

Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case In Proceedings

S. Angelov (Samuil) and not CWI et al

Column-store support for RDF data management: not all swans are white In Proceedings

E. Sidirourgos (Eleftherios), R.A. Pereira Goncalves (Romulo Antonio), M.L. Kersten (Martin), N.J. Nes (Niels) and S. Manegold (Stefan)

Generalized Key Delegation for Hierarchical Identity-Based Encryption Article

M. Abdalla, E. Kiltz (Eike) and G. Neven

The Berners-Lee Hypothesis: Power laws and Group Structure in Flickr In Proceedings

A. Baldassarri, A. Barrat, A. Capocci, H. Halpin, U. Lehner (Ulrike), J.J. Ramasco (José), V. Robu (Valentin) and D. Taraborelli

Coinductive Formal Reasoning in Exact Real Arithmetic Article

M. Niqui (Milad)

Multimedia Content Transformation: Fragmentation, Enrichment, and Adaptation In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), A.J. Jansen (Jack), M.G.C. Pimentel and L.S. Barbosa

Multimedia Adaptation in Ubiquitous Environments: Benefits of Structured Multimedia Documents In Proceedings

P.S. César Garcia (Pablo Santiago), I. Vaishnavi (Ishan), R. Kernchen, S. Meissner, M. Boussard, A. Spedalieri, B. Gao (Bo) and D.C.A. Bulterman (Dick)

Enabling adaptive time-based web applications with SMIL state In Proceedings

A.J. Jansen (Jack) and D.C.A. Bulterman (Dick)

A comparison between the ALGOL 60 implementations on the Electrologica X1 and the Electrologica X8 Tech Report

F.E.J. Kruseman Aretz

Autonomous Scheduling with Unbounded and Bounded Agents In Proceedings

C. Yadati, C. Witteveen (Cees), Y.Q. Zhang (Yingqian (Jennie)), M. Wu (Mengxiao) and J.A. La Poutré (Han)

Noise in Quantum and Classical Computation & Non-locality Dissertation

F.P. Unger (Falk)

Stochastic facility location with general long-run costs and convex short-run costs Article

P. Schütz, L. Stougie (Leen) and A. Tomasgard

Overview of the wikipediaMM task at ImageCLEF 2008 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

CWI at ImageCLEF 2008 In Proceedings

T. Tsikrika (Theodora), H. Rode (Henning) and A.P. de Vries (Arjen)

Transient characteristics of Gaussian queues Tech Report

K.G. Dȩbicki (Krzysztof), A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

Singularities of the generator of a Markov additive process with one-sided jumps Tech Report

J. Ivanovs (Jevgenijs), O.J. Boxma (Onno) and M.R.H. Mandjes (Michel)

Mechanical verification of a two-way sliding window protocol In Proceedings

B. Badban (Bahareh), W.J. Fokkink (Wan) and J.C. van de Pol (Jaco)

Lifting non-finite axiomatizability results to extensions of process algebras In Proceedings

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and M.R. Mousavi

Leader election in anonymous rings: Franklin goes probabilistic In Proceedings

R. Bakhshi (Rena), W.J. Fokkink (Wan), J. Pang and J.C. van de Pol (Jaco)

Is timed branching bisimilarity a congruence indeed? Article

W.J. Fokkink (Wan), J. Pang and A.J. Wijs (Anton)

P3C: A New Algorithm for the Simple Temporal Problem In Proceedings

L.R. Planken, M.M. de Weerdt (Mathijs) and R.P.J. van der Krogt

Decentralized Online Scheduling of Combination-Appointments in Hospitals In Proceedings

I.B. Vermeulen (Ivan), S.M. Bohte (Sander), S.G. Elkhuizen, P.J.M. Bakker and J.A. La Poutré (Han)

Inapproximability Results for Combinatorial Auctions with Submodular Utility Functions Article

S. Khot, R.J. Lipton, V. Markakis (Vangelis) and A. Mehta

On coordinate transformation and grid stretching for sparse grid pricing of basket options Article

C.C.W. Leentvaar and C.W. Oosterlee (Kees)

Pulse Dynamics in a Three-Component System: Existence Analysis Article

A. Doelman (Arjen), P.J.A. van Heijster (Peter) and T.J. Kaper (Tasso Joost)

Manifold mapping: a two-level optimization technique Article

D. Echeverria (David) and P.W. Hemker (Piet)

A Brief Introduction to Fourier Analysis on the Boolean Cube Article

R.M. de Wolf (Ronald)

Refinement of Kripke Models for Dynamics In Proceedings

F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela) and Y. Wang (Yanjing)

Lecture notes: Semidefinite programs and harmonic analysis Tech Report

F. Vallentin (Frank)

Contact-inhibited chemotaxis in de novo and sprouting blood-vessel growth Article

R.M.H. Merks (Roeland), E.D. Perryn, A. Shirinifard and J.A. Glazier

Parameter estimation and determinability analysis applied to Drosophila gap gene circuits Article

M. Ashyraliyev (Maksat), J. Jaeger and J.G. Blom (Joke)

Multimodal identification and localization of users in a smart environment Article

A.A. Salah (Albert Ali), R. Morros, J. Luque, C. Segura, J. Hernando, O. Ambekar (Onkar), B.A.M. Schouten (Ben) and E.J.E.M. Pauwels (Eric)

Kolmogorov complexity theory over the reals In Proceedings

M. Ziegler and W.M. Koolen-Wijkstra (Wouter)

Donder en bliksem News Broadcast

U. Ebert (Ute)

Strange Behaviors of Interior-point Methods for Solving Semidefinite Programming Problems in Polynomial Optimization Tech Report

M. Nakata, M. Muramatsu and H. Waki (Hayato)

Efficient Secure Linear Algebra in the Presence of Covert or Computationally Unbounded Adversaries In Proceedings

P. Mohassel and E. Weinreb (Enav)

Compression from Collisions, or Why CRHF Combiners Have a Long Output In Proceedings

K.Z. Pietrzak (Krzysztof)

Possibility, impossibility, and cheat sensitivity of quantum-bit string commitment Article

H.M. Buhrman (Harry), M. Christandl (Matthias), P. Hayden, H. Lo and S.D.C. Wehner (Stephanie)

Bidding Strategies in Agent-based Continuous Double Auctions Book

H. Ma (Huiye) and H.-F. Leung

Noise Threshold for Universality of Two-Input Gates Article

F.P. Unger (Falk)

Asymptotically optimal parallel resource assignment with interference Tech Report

I.M. Verloop (Maaike) and R. Núñez Queija (Rudesindo)

M/M/infinity transience: tail asymptotics of congestion periods Tech Report

M.R.H. Mandjes (Michel) and F. Roijers (Frank)

Performance analysis of differentiated resource-sharing in a wireless ad-hoc network Tech Report

F. Roijers (Frank), J.L. van den Berg (Hans) and M.R.H. Mandjes (Michel)

State-dependent importance sampling for a slow-down tandem queue Tech Report

D.I. Miretskiy, W.R.W. Scheinhardt (Werner) and M.R.H. Mandjes (Michel)

The INEX 2007 Multimedia Track In Proceedings

T. Tsikrika (Theodora) and T.H.W. Westerveld (Thijs)

Structured Document Retrieval, Multimedia Retrieval, and Entity Ranking Using PF/Tijah In Proceedings

T. Tsikrika (Theodora), P. Serdyukov, H. Rode (Henning), T.H.W. Westerveld (Thijs), R. Aly, D. Hiemstra and A.P. de Vries (Arjen)

Improving the parallel performance of a domain decomposition preconditioning technique in the Jacobi-Davidson method for large scale eigenvalue problems Tech Report

M. Genseberger (Menno)

Festschrift in Honor of Jorma Rissanen on the Occasion of his 75th Birthday Book

That Simple Device already used by Gauss Book Chapter

P.D. Grünwald (Peter)

Vakantiecursus 2008 - Wiskunde en profil : het gezicht van de wiskunde Book

Multiple gamma bursts from long discharges in air Article

C.V. Nguyen, A. van Deursen (Arie) and U. Ebert (Ute)

Interaction of streamers in air: The evolution of the space-charge layer in their heads Article

A. Luque (Alejandro) and U. Ebert (Ute)

Avalanche to streamer transition in particle simulations Article

C. Li (Chao), U. Ebert (Ute) and W.J.M. Brok

Time resolved measurements of streamer inception in air Article

T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)

Positive streamers in ambient air and in a nitrogen-oxygen-mixture (99.8:0.2) Article

T.M.P. Briels (Tanja), E.M. van Veldhuizen and U. Ebert (Ute)

Interaction of streamers in air and other oxygen-nitrogen mixtures Article

A. Luque (Alejandro), U. Ebert (Ute) and W. Hundsdorfer (Willem)

Subgrid-scale parameterization with conditional Markov chains Article

D.T. Crommelin (Daan) and E. Vanden-Eijnden (Eric)

Fourier analysis, linear programming, and densities of distance avoiding sets in {$R^n$} Tech Report

F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Positional Delta Trees to reconcile updates with read-optimized data storage Tech Report

S. A. B. C. Héman (Sándor), N.J. Nes (Niels), M. Zukowski (Marcin) and P.A. Boncz (Peter)

XHTML™ Basic 1.1 Standard

M. Baker, S. Pemberton (Steven) and not CWI et al

XHTML™ Basic 1.1 In Proceedings

S. Pemberton (Steven) and not CWI et al

Knippen en plakken Article

P. Klint (Paul)

Multimedia systems, languages, and infrastructures for interactive television Article

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), K. Chorianopoulos and J.F. Jensen

Thinning and information projection In Proceedings

P. Harremoës (Peter), O. Johnson (Oliver) and I. Kontoyiannis (Ioannis)

On the role of information theoretic uncertainty relations in quantum physics In Proceedings

P. Harremoës (Peter) and P. Jizba

Efficiency of entropy testing In Proceedings

P. Harremoës (Peter) and I. Vajda

Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions Article

M. Abdalla, M. Bellare, D. Catalano, E. Kiltz (Eike), T. Kohno, T. Lange, G. Neven, P. Paillier and H. Shi

The mCRL2 Toolset In Proceedings

J.F. Groote (Jan Friso), J.J.A. Keiren, A.H.J. Mathijssen (Aad), S.C.W. Ploeger, F.P.M. Stappers, C. Tankink, Y.S. Usenko (Yaroslav), M.J. van Weerdenburg (Muck), W. Wesselink, T.A.C. Willemse, et al. J. van der Wulp

Usages of the Secondary Screen in an Interactive Television Environment: control, enrich, share, and transfer television content In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)

Composer: Authoring Tool for iTV Programs In Proceedings

R.L. Guimarães (Rodrigo), R.M.R. Costa and L.F.G. Soares

Authoring from the Couch: Research Directions and Possibilities In Proceedings

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

Design issues of a back-pressure-based congestion control mechanism Tech Report

R. Malhotra, M.R.H. Mandjes (Michel), W.R.W. Scheinhardt (Werner) and J.L. van den Berg (Hans)

The software invention cube: A classification scheme for software inventions Article

J.A. Bergstra (Jan) and P. Klint (Paul)

Catching Up Faster by Switching Sooner: A Prequential Solution to the AIC-BIC Dilemma Unpublished

T.A.L. van Erven (Tim), P.D. Grünwald (Peter) and S. de Rooij (Steven)

Symbolic Dynamics for a Piecewise-Affine System with Hysteresis In Proceedings

L. Sella (Lorenzo) and P.J. Collins (Pieter)

A Game-Theoretic Analysis of Updating Sets of Probabilities In Proceedings

P.D. Grünwald (Peter) and J.Y. Halpern

Agent Coordination with Regret Clearing In Proceedings

S. Koening, X. Zheng, C. Tovey, R. Borie, P. Kilby, V. Markakis (Vangelis) and P. Keskinocak

Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Tech Report

L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and M. Mnich (Matthias)

Towards Formal Verification of Toolbus Scripts In Proceedings

W.J. Fokkink (Wan), P. Klint (Paul), B. Lisser (Bert) and Y.S. Usenko (Yaroslav)

Symmetric and Synchronous Communication in Peer-to-Peer Networks In Proceedings

S. A. Witzel (Andreas)

The operator $\Psi$ for the Chromatic Number of a Graph Article

N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

Computing semidefinite programming lower bounds for the (fractional) chromatic number via block-diagonalization Article

N. Gvozdenovic (Nebojsa) and M. Laurent (Monique)

A note on stability of the integral-differential equation of the hyperbolic type in a Hilbert space Article

M. Ashyraliyev (Maksat)

New upper bounds for kissing numbers from semidefinite programming Article

C. Bachoc and F. Vallentin (Frank)

Depth map calculation for a variable number of moving objects using Markov sequential object processes Article

M.N.M. van Lieshout (Marie-Colette)

Semantics-driven Recommendations in Cross-Media Museum Applications In Proceedings

N. Stash, L. Aroyo (Lora), Y. Wang (Yanjing), L. Rutledge (Lloyd) and P. Gorgels

Accuracy in Rating and Recommending Item Features In Proceedings

L. Rutledge (Lloyd), N. Stash, Y. Wang (Yanjing) and L. Aroyo (Lora)

Robust Cryptography in the Noisy-Quantum-Storage Model Tech Report

C. Schaffner (Christian), B.M. Terhal (Barbara) and S.D.C. Wehner (Stephanie)

Sound ranking algorithms for XML search in PF/Tijah In Proceedings

Hiemstra, D. (Djoerd), S. Klinger (Stefan), H. Rode (Henning), Flokstra, J. (Jan) and P.M.G. Apers (Peter)