Publications from 2014

Presentation Evaluation Committee MAC3 Presentation

U. Ebert (Ute)

Presentation Evaluation Committee MAC2 Presentation

C.W. Oosterlee (Kees)

Presentation Evaluation Committee MAC1 Presentation

J.E. Frank (Jason)

Presentation Evaluation Committee MAC Presentation

B. Koren (Barry)

Presentation Evaluation Committee INS Presentation

L. Hardman (Lynda)

Presentation Evaluation Committee INS3 Presentation

R. van Liere (Robert)

Presentation Evaluation Committee INS2 Presentation

A.P. de Vries (Arjen)

Presentation Evaluation Committee INS1 Presentation

S. Manegold (Stefan)

On Tree-Constrained Matchings and Generalizations Tech Report

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

A coalgebraic perspective on minimization, determinization and behavioural metrics Tech Report

F. Bonchi (Filippo), M. Huelsbusch, B. Koenig and A.M. Silva (Alexandra)

A J-function for inhomogeneous point processes Article

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

A generic optimization algorithm for the allocation of DP actuators In Proceedings

E.P.G. van Daalen, J.L. Cozijn, G. Loussouarn and P.W. Hemker (Piet)

Label-free assessment of high-affinity antibody binding constants. Comparison of bioassay, SPR, and PEIA-ellipsometry Article

T. Rispens, H. te Velthuis, P.W. Hemker (Piet), H. Speijer, W.Th. Hermens (Wim) and L. Aarden

An Exact Algorithm for Side-Chain Placement in Protein Design Article

S. Canzar (Stefan), N. Toussaint (Nora) and G.W. Klau (Gunnar)

Algorithm Engineering for Optimal Alignment of Protein Structure Distance Matrices Article

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

A specification language for Reo connectors Tech Report

A.M. Silva (Alexandra)

Parsing with Structure Preserving Categorial Grammars Dissertation

M. Capelletti

Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Article

I.M. Verloop (Maaike), U. Ayesta (Urtzi) and R. Núñez Queija (Rudesindo)

An obstacle to a decomposition theorem for near-regular matroids Article

D. Mayhew, G. Whittle (Geoff) and S.H.M. van Zwam (Stefan)

Earthquake modelling at the country level using aggregated spatio-temporal point processes Tech Report

M.N.M. van Lieshout (Marie-Colette) and A. Stein (Alfred)

HTML+RDFa 1.1 Tech Report

S. Pemberton (Steven) and not CWI et al

Disagreement graph for multi-coloured polygonal Markov fields Tech Report

K. Turkyilmaz (Kerem)

Conference Chair's Introduction and Overview In Proceedings

D.C.A. Bulterman (Dick)

Luckiness and Regret in Minimum Description Length Inference Book Chapter

S. de Rooij (Steven) and P.D. Grünwald (Peter)

Insuring against loss of evidence in game-theoretic probability Article

A.P. Dawid, S. de Rooij (Steven), G. Shafer, A. Shen (Alexander), N.K. Vereshchagin (Nikolay Konstantinovich) and V. Vovk

Markov-modulated infinite-server queues: approximations by time-scaling Tech Report

A.P. Hellings (Ton), M.R.H. Mandjes (Michel) and J.G. Blom (Joke)

Networked Television Article

C. Hesselman, P.S. César Garcia (Pablo Santiago) and D. Geerts (David)

IPTV: Challenges and Future Directions Article

O.M. Bonastre, M.J. Montpetit and P.S. César Garcia (Pablo Santiago)

Are we in Sync? Synchronization Requirements for Watching Online Video Together In Proceedings

D. Geerts (David), I. Vaishnavi (Ishan), R.N. Mekuria (Rufael), M.O. van Deventer (Oskar) and P.S. César Garcia (Pablo Santiago)

Past, Present, and Future of Social TV: A Categorization In Proceedings

P.S. César Garcia (Pablo Santiago) and D. Geerts (David)

Video Mediated Social Interaction Between Groups: System Requirements and Technology Challenges Article

D. Williams (Doug), M. Ursu (Marian), J. Meenowa, P.S. César Garcia (Pablo Santiago), I. Kegel (Ian) and K. Bergström (Karl)

Devnology Podcast 013 - Interview met Paul Klint Magazine Article

P. Klint (Paul)

Here are my data files. Here are my queries. Where are my results? In Proceedings

S. Idreos (Stratos), I. Alagiannis, R. Johnson and A. Ailamaki (Anastasia)

Demo Light Software

D.J.N. van Eijck (Jan)

SciBORQ: Scientific data management with Bounds On Runtime and Quality In Proceedings

E. Sidirourgos (Eleftherios), M.L. Kersten (Martin) and P.A. Boncz (Peter)

Equivariant Gröbner bases and the two-factor model Article

A.E. Brouwer (Andries) and J. Draisma (Jan)

A fast quartet tree heuristic for hierarchical clustering Article

R.L. Cilibrasi (Rudi) and P.M.B. Vitányi (Paul)

Knowledge and Interaction in Social and Economic Networks Article

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

Time Discounting and Time Consistency Book Chapter

N. Dimitri and D.J.N. van Eijck (Jan)

Perception and Change in Update Logic Book Chapter

D.J.N. van Eijck (Jan)

On the Logic of Lying Book Chapter

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor) and Y. Wang (Yanjing)

Verifying one hundred prisoners and a lightbulb Article

D.J.N. van Eijck (Jan), H. van Ditmarsch (Hans) and W. Wu

Discourse representation in context Book Chapter

D.J.N. van Eijck (Jan) and H. Kamp

EASY meta-programming with Rascal In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

Cycle detection, order finding and discrete log with jumps In Proceedings

S. Chakraborty (Sourav), D. Garcia Soriano (David) and A. Matsliah (Arie)

Nearly tight bounds for testing function isomorphism In Proceedings

S. Chakraborty (Sourav), D. Garcia Soriano (David) and A. Matsliah (Arie)

Three-dimensional atomic imaging of crystalline nanoparticles Article

S. van Aert (Sandra), K.J. Batenburg (Joost), M.D. Rossell, R. Erni and G. Van Tendeloo (Gustaaf)

Traffic generated by a semi-Markov additive process Article

J.G. Blom (Joke) and M.R.H. Mandjes (Michel)

The Galois closure of Drinfeld modular towers Article

A. Bassa (Alp) and P. Beelen

Sharpness of the percolation transition in the two-dimensional contact process Article

J. van den Berg (Rob)

Modeling dynamic reconfiguration in Reo using high-level replacement systems Article

C. Krause (born Köhler) (Christian), Z. Maraikar (Ziyan), A. Lazovik (Aliaksandr) and F. Arbab (Farhad)

VirtualLeaf: an open source framework for cell-based modeling of plant tissue growth and development Article

R.M.H. Merks (Roeland), M.A. Guravage (Michael), D. Inze and G.T.S. Beemster

Bringing Domain-Specific Languages to Digital Forensics In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

Graphs with four boundary vertices Article

T. Müller (Tobias), A. Por and J.-S. Sereni

Multiple scales in streamer discharges, with an emphasis on moving boundary approximations Article

U. Ebert (Ute), F. Brau (Fabian), G. Derks (Gianne), W. Hundsdorfer (Willem), C.-Y. Kao, C. Li (Chao), A. Luque (Alejandro), B.J. Meulenbroek (Bernard), S. Nijdam (Sander), V. Ratushna (Valeriya Igorivna), et al. L. Schäfer and S. Tanveer

Pointwise Extensions of GSOS-Defined Operations Article

H.H. Hansen (Helle) and B. Klin

Nieuwjaarskaart CWI voor 2010 Other

Kleene coalgebra Dissertation

A.M. Silva (Alexandra)

Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services Dissertation

M.M. Jaghoori (Mohammad Mahdi)

Kerstbijeenkomst = Christmas party, 14.12.2010 Other

Formal Models for Component Connectors Dissertation

D.F. de Oliveira Costa (David)

Understanding and Supporting Information Seeking Tasks among Multiple Sources Dissertation

A.K. Amin (Alia)

The COS method: An efficient Fourier method for pricing financial derivatives Dissertation

F. Fang

Personalised Access to Social Media Dissertation

M. Clements (Maarten)

Electron transport data in N2-O2 streamer plasma discharges In Proceedings

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

Numerical Solutions to Noisy Systems In Proceedings

S. Živanovic (Sanja) and P.J. Collins (Pieter)

Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification Manual

S. Pemberton (Steven) and not CWI et al

XHTML Access Module Manual

S. Pemberton (Steven) and not CWI et al

XHTML Role Attribute Module Manual

S. Pemberton (Steven) and not CWI et al

XHTML Modularization for RelaxNG Manual

S. Pemberton (Steven) and not CWI et al

CURIE Syntax 1.0 Manual

S. Pemberton (Steven) and not CWI et al

XML Events 2: An Events Syntax for XML Manual

S. Pemberton (Steven)

XFrames Manual

S. Pemberton (Steven)

XHTML™ 2.0 Manual

S. Pemberton (Steven)

Generalizing the powerset construction, coalgebraically In Proceedings

A.M. Silva (Alexandra), F. Bonchi (Filippo), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

Emergence of tissue polarization from synergy of intracellular and extracellular auxin signaling Article

K. Wabnik, J. Kleine-Vehn, J. Balla, M. Sauer, S. Naramoto, V. Reinöhl, R.M.H. Merks (Roeland), W. Govaerts and J. Friml

A comparison between coral colonies of the genus Madracis and simulated forms Article

M. Filatov, J.A. Kaandorp (Jaap), M. Postma, R. Vermeij, R. Bak, R. van Liere (Robert) and G. Steekstra

Letter from the Special Issue Editor Article

P.A. Boncz (Peter)

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

Fractionally predictive spiking neurons In Proceedings

S.M. Bohte (Sander) and J.O. Rombouts (Jaldert)

A Unified Format for Language Documents In Proceedings

V. Zaytsev (Vadim) and R. Lämmel (Ralf)

On the Efficiency of Restricted Tolls in Non-atomic Network Routing Games Tech Report

V. Bonifaci (Vincenzo), M. Salek (Mahyar) and G. Schäfer (Guido)

Generalized Incremental Mechanisms for Scheduling Games Tech Report

J. A. Brenner (Janina) and G. Schäfer (Guido)

SciQL, A query language for science applications Tech Report

M.L. Kersten (Martin), N.J. Nes (Niels), Y. Zhang (Ying) and M.G. Ivanova (Milena)

Strategic Scheduling Games: Equilibria and Efficiency Tech Report

L. Gourves, J. Monnot and O. Telelis (Orestis)

Discrete Strategies in Keyword Auctions and Their Inefficiency for Locally Aware Bidders In Proceedings

V. Markakis (Vangelis) and O. Telelis (Orestis)

Video Analysis Tools for Annotating User-Generated Content from Social Events In Proceedings

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

Matroïden en hun representaties Article

S.H.M. van Zwam (Stefan)

Complete sets of cooperations Article

C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)

Connected facility location via random facility sampling and core detouring Article

F. Eisenbrand, F. Grandoni, T. Rothvoß and G. Schäfer (Guido)

Double Q-learning In Proceedings

H. P. van Hasselt (Hado)

An architecture for recycling intermediates in a column-store Article

M.G. Ivanova (Milena), M.L. Kersten (Martin), N.J. Nes (Niels) and R.A. Pereira Goncalves (Romulo Antonio)

On Leonid Gurvits's proof for permanents Article

M. Laurent (Monique) and A. Schrijver (Lex)

When Data Compression and Statistics Disagree: Two Frequentist Challenges for the Minimum Description Length Principle Dissertation

T.A.L. van Erven (Tim)

Energie, wiskunde & informatica : informatiemap CWI in bedrijf 11.11.2010 Other

Energie, wiskunde & informatica : programma CWI in bedrijf, 11.11.2010 Other

Energie, wiskunde & informatica : vooraankondiging en uitnodiging CWI in bedrijf, 11.11.2010 Other

XHTML-Print - Second Edition Standard

M. Grant, J Bigelow and S. Pemberton (Steven)

XHTML™ 1.1 - Module-based XHTML - Second Edition Standard

S. McCarron (Shane), M. Ishikawa and S. Pemberton (Steven)

XHTML™ Basic 1.1 - Second Edition Standard

S. McCarron (Shane), M. Ishikawa and S. Pemberton (Steven)