Publications from 2016

Some (in)sufficient conditions for secure hybrid encryption Article

J. Herranz (Javier), D. Hofheinz (Dennis) and E. Kiltz (Eike)

Searching CLEF-IP by Strategy Book Chapter

W. Alink (Wouter), R. Cornacchia (Roberto) and A.P. de Vries (Arjen)

A semantic model for service composition with coordination time delays In Proceedings

N. Kokash (Natallia), B. Changizi (Behnaz) and F. Arbab (Farhad)

A Model of Context-Dependent Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and A.M. Silva (Alexandra)

A Decision Procedure for Bisimilarity of Generalized Regular Expressions In Proceedings

M.M. Bonsangue (Marcello), G. Caltais (Georgiana), E. Goriac, D. Lucanu (Dorel), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

Quantitative Kleene coalgebras Article

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

Ontdek variatie in de wetenschap : flyer open dag WCW, 09.10,2010 Other

RDFa Core 1.1 Standard

B. Adida (Ben), M. Birbeck (Mark), S. McCarron (Shane) and I. Herman (Ivan)

Identifying Suitable YouTube Videos for Children In Proceedings

C. Eickhoff (Carsten) and A.P. de Vries (Arjen)

Web page classification on child suitability In Proceedings

C. Eickhoff (Carsten), P. Serdyukov and A.P. de Vries (Arjen)

Entity Ranking using Wikipedia as a Pivot In Proceedings

R. Kaptein (Rianne), P. Serdyukov, A.P. de Vries (Arjen) and J. Kamps

CSS Color Module Level 3 Manual

S. Pemberton (Steven) and not CWI et al

Enhancing Social Communication Between Groups In Proceedings

T. Stevens, P. Hughes (Peter), D. Williams (Doug), I. Craigie, I. Kegel (Ian), P.S. César Garcia (Pablo Santiago), A.J. Jansen (Jack), M.F. Usrsu, M. Frantzis, N. Farber (Niko), et al. M. Lutzky and S. Vogel

Hoe is het gesteld met het vak informatica op de middelbare school? Article

P. Klint (Paul)

Computational semantics with functional programming Book

D.J.N. van Eijck (Jan) and A. C. Unger (Christina)

Onderzoek naar Duurzame Energievraagstukken Magazine Article

J.A. La Poutré (Han) and not CWI et al

Een Complexe Logistieke Kwestie Article

K. Meerman, S. Sommen, S. Kroon, C. Witteveen (Cees) and J.A. La Poutré (Han)

The Anticipated Mean Shift and Cluster Registration in Mixture-based EDAs for Multi-Objective Optimization In Proceedings

P.A.N. Bosman (Peter)

Enhanced Hospital Resource Management using Anticipatory Policies in Online Dynamic Multi-objective Optimization In Proceedings

A.K. Hutzschenreuter (Anke Kristine), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

Switching investments In Proceedings

W.M. Koolen-Wijkstra (Wouter) and S. de Rooij (Steven)

Synthesis of Reo Circuits Through Decomposition of Complete Constraint Automata In Proceedings

B. Pourvatan, M. Sirjani (Marjan), F. Arbab (Farhad) and M.M. Bonsangue (Marcello)

Elements of interaction In Proceedings

F. Arbab (Farhad)

Domain-Specific Languages for Digital Forensics In Proceedings

J. van den Bos (Jeroen)

Monitoring Method Call Sequences using Annotations In Proceedings

B. Nobakht (Behrooz), M.M. Bonsangue (Marcello), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Module discovery by exhaustive search for densely connected, co-expressed regions in biomolecular networks Article

R. Colak, F. Moser, J. Shu, A. Schönhuth (Alexander), N. Chen and M. Ester

Automatic and Manual Processes in End-User Multimedia Authoring Tools: Where is the Balance? In Proceedings

R.L. Guimarães (Rodrigo Laiola)

Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability Article

J. Byrka (Jaroslaw), K. Buchin, M. Buchin, M. Nollenburg, Y. Okamoto, R.I. Silveira and A. Wolff

Wiskunde zit in mijn genen Article

A. Schrijver (Lex)

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

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

Strict cost sharing schemes for Steiner forest Article

L. Fleischer, J. Könemann (Jochen), S. Leonardi (Stefano) and G. Schäfer (Guido)

Generalizing the powerset construction, coalgebraically Tech Report

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

On the inefficiency of equilibria in linear bottleneck congestion games In Proceedings

B. de Keijzer (Bart), G. Schäfer (Guido) and O. Telelis (Orestis)

Functional Modules in Protein-Protein Interaction Networks Book Chapter

M. Dittrich (Marcus), D. Beisser (Daniela), G.W. Klau (Gunnar) and T. Müller (Tobias)

Abstract Delta Modeling In Proceedings

D.G. Clarke (David), M. Helvensteijn (Michiel) and I. Schaefer

Jan de Witt's Elementa Curvarum Linearum Liber Secundus - annotated English translation from Latin Book

A.W. Grootendorst (Albert)

Epistemic Modelling and Protocol Dynamics Dissertation

Y. Wang (Yanjing)

Uitnodiging opening van de sport en activiteitenzaal, 14.09.2010 Other

Binomial generation of the radical of a lattice ideal Article

A. Katsampekis (Anargyros), M. Morales and A. Thoma

Lightning above the clouds Article

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

A compositional semantics for stochastic Reo connectors In Proceedings

Y.-J. Moon (Young-Joo), A.M. Silva (Alexandra), C. Krause (born Köhler) (Christian) and F. Arbab (Farhad)

Inferring cancer subnetwork markers using density-constrained biclustering Article

P. Dao, R. Colak, R. Salari, F. Moser, A. Schönhuth (Alexander) and M. Ester

Two-Dimensional Supersymmetric Sigma Models on Almost-Product Manifolds and Non-Geometry Article

V. Stojevic (Vid)

Covariantly constant forms on torsionful geometries from world-sheet and spacetime perspectives Article

V. Stojevic (Vid)

Rascal 0.2alpha Software

J.J. Vinju (Jurgen), P. Klint (Paul), T. van der Storm (Tijs), M.A. Hills (Mark) and A.W. Lankamp (Arnold)

Pair HMM based gap statistics for re-evaluation of indels in alignments with affine gap penalties In Proceedings

A. Schönhuth (Alexander), R. Salari and S.C. Sahinalp

Graph-Based Analysis of the Metabolic Exchanges between Two Co-Resident Intracellular Symbionts, Baumannia cicadellinicola and Sulcia muelleri with Their Insect Host, Homalodisca coagulata Article

L. Cottret, P.V. Milreu (Paulo), V. Acuña (Vicente), A. Marchetti Spaccamela (Alberto), L. Stougie (Leen), H. Charles and M.-F. Sagot (Marie-France)

Coalgebraic Representation Theory of Fractals In Proceedings

I. Hasuo, B.P.F. Jacobs and M. Niqui (Milad)

From IPTV Services to Shared Experiences: Challenges in Architecture Design In Proceedings

I. Vaishnavi (Ishan), P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick) and O. Friedrich

Multiple timescale Continuous-time Coding with Spiking Neurons In Proceedings

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

The effect of varying path properties in path steering tasks In Proceedings

L. Liu (Lei) and R. van Liere (Robert)

Creating and Sharing Personalized Time-Based Annotations of Videos on the Web In Proceedings

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

Analyzing the Effect of Tagging by Combining Automatic and Manual Annotation Processes In Proceedings

R.L. Guimarães (Rodrigo Laiola)

Tracking Down the Origins of Ambiguity in Context-Free Grammars In Proceedings

H.J.S. Basten (Bas)

Overview of the wikipedia retrieval task at ImageCLEF 2010 In Proceedings

A. Popescu, T. Tsikrika (Theodora) and J. Kludas

Enumerating Chemical Organisations in Consistent Metabolic Networks: Complexity and Algorithms In Proceedings

P.V. Milreu (Paulo), V. Acuña (Vicente), E. Birmele, P. Crescenzi, A. Marchetti Spaccamela (Alberto), M.-F. Sagot (Marie-France), L. Stougie (Leen) and V. Lacroix

Designing comprehensible self-organising systems In Proceedings

N.F. Höning (Nicolas) and J.A. La Poutré (Han)

Towards optimal alignment of protein structure distance matrices Article

I. Wohlers (Inken), F.S. Domingues and G.W. Klau (Gunnar)

Escape of resources in a distributed clustering process Article

J. van den Berg (Rob), M.R. Hilario and A.E. Holroyd

Coloring geographical threshold graphs Article

M. Bradonjic, T. Müller (Tobias) and A.G. Percus

A J–function for inhomogeneous point processes Tech Report

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

Overview of the wikipediaMM task at ImageCLEF 2009 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

Benchmarking adaptive indexing In Proceedings

G. Goetz, S. Idreos (Stratos), H. Kuno and S. Manegold (Stefan)

Buchi Automata for Modeling Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

Formal Methods for Components and Objects, 8th International Symposium, FMCO 2009 --- State-of-the-Art Survey Proceedings

Proceedings CMCS 2010 Proceedings

Proceedings of the 3rd Interaction and Concurrency Experience. Proceedings

Time and Data Aware Analysis of Graphical Service Models in Reo In Proceedings

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

A Note on Pooling of Labels in Random Fields Article

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

Wiskunde: de uitdaging : vakantiecursus 2010 : Amsterdam, 27-28.08.2010 en Eindhoven, 03-04.09.2010 Other

Reliability and effectiveness of clickthrough data for automatic image annotation Article

T. Tsikrika (Theodora), C. Diou, A.P. de Vries (Arjen) and A. Delopoulos

Projection and backprojection in tomography: design choices and considerations In Proceedings

K.J. Batenburg (Joost), W.J. Palenstijn (Willem Jan) and J. Sijbers (Jan)

Dutch-French research team searches for errors in software - interview met P. Klint en J.K. Lenstra Magazine Article

P. Klint (Paul) and J.K. Lenstra (Jan Karel)

Non-Uniform Reductions Article

H.M. Buhrman (Harry), B. Hescott, S. Homer and L. Torenvliet (Leen)

Bit-interleaved coded modulation with shaping In Proceedings

A. Guillén i Fàbregas and A. Martinez (Alfonso)

SHORT-ROOT and SCARECROW regulate leaf growth in Arabidopsis by stimulating S-phase progression of the cell cycle. Article

S. Dhondt, F. Coppens, F. de Winter, K. Swarup, R.M.H. Merks (Roeland), D. Inze, M.J. Bennett and G.T.S. Beemster

Modeling Tuberculosis in Lung and Central Nervous System Master Thesis

M. El-Kebir (Mohammed)

Beyond the playlist: seamless playback of structured video clips Article

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

Computer assisted photo identification of Dermochelys coriacea In Proceedings

P.M. de Zeeuw (Paul), E.J.E.M. Pauwels (Eric), E.B. Ranguelova (Elena), D.M. Buonantony and S.A. Eckert

Inhomogeneous extreme forms Tech Report

M. Dutour Sikirić (Mathieu), A. Schuermann and F. Vallentin (Frank)

Magnetohydrodynamic Effects on Insulating Bubbles and Inclusions in the Continuous Casting of Steel Article

J.W. Haverkort (Willem) and T.W.J. Peeters

Better Search Applications Through Domain Specific Context Descriptions: a Position Paper In Proceedings

C. Boscarino (Corrado), A.P. de Vries (Arjen) and J.R. van Ossenbruggen (Jacco)

Search for journalists: New York Times challenge report In Proceedings

C. Boscarino (Corrado), A.P. de Vries (Arjen) and W. Alink (Wouter)

Scheduling Real-Time Mixed-criticality Jobs In Proceedings

S.K. Baruah (Sanjoy), V. Bonifaci (Vincenzo), G. Del'Angelo, A. Marchetti Spaccamela (Alberto), N. Megow (Nicole) and L. Stougie (Leen)

Factorization of a 768-bit RSA modulus In Proceedings

T. Kleinjung (Thorsten), K. Aoki, J. Franke, A.K. Lenstra (Arjen), E. Thomee, J.W. Bos (Joppe), P. Gaudry, A. Kruppa (Alexander), P.L. Montgomery, D.A. Osvik, et al. H.J.J. te Riele (Herman), A. Timofeev (Andrey) and P. Zimmermann

Leakage-Resilient Pseudorandom Functions and Side-Channel Attacks on Feistel Networks In Proceedings

E. Kiltz (Eike), A. O'Neill and A. Smith (Adam)

Instantiability of RSA-OAEP under Chosen-Plaintext Attack In Proceedings

E. Kiltz (Eike), A. O'Neill and A. Smith (Adam)

Sampling in a quantum population, and applications In Proceedings

N.J. Bouman (Niek) and S. Fehr (Serge)

Run-time Optimization for Pipelined Systems In Proceedings

R. Abdel Kader, M. van Keulen, P.A. Boncz (Peter) and S. Manegold (Stefan)

Blackhole State-Controlled Regulated Pushdown Automata In Proceedings

E. Csuhaj-Varju, T. Masopust (Tomas) and G. Vaszil (György)

T-patterns revisited: Mining for temporal patterns in sensor data Article

A.A. Salah (Albert Ali), E.J.E.M. Pauwels (Eric), R. Tavenard (Romain) and T. Gevers

Stepsize Restrictions for Boundedness and Monotonicity of Multistep Methods Tech Report

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Projective Distribution of XQuery with Updates Article

Y. Zhang (Ying), N. Tang (Nan) and P.A. Boncz (Peter)

A J-function for inhomogeneous point processes Tech Report

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

A generalisation of orbit algebras Tech Report

X.P.J. Buchwalder (Xavier)

The Approach of Moments for Polynomial Equations Tech Report

M. Laurent (Monique) and P. Rostalski

Special boundedness properties in numerical initial value problems Tech Report

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Non-deterministic Kleene coalgebras Article

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

Verification of Context-Dependent Channel-Based Service Models In Proceedings

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

Some mathematical refinements concerning error minimization in the genetic code Tech Report

H.M. Buhrman (Harry), P.T.S. van der Gulik (Peter), S.M. Kelk (Steven), W.M. Koolen-Wijkstra (Wouter) and L. Stougie (Leen)

On asymptotically good strongly multiplicative linear secret sharing Dissertation

I. Cascudo (Ignacio)