Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Torsion Limits and Riemann-Roch Systems for Function Fields and Applications Article

IEEE Transactions on Information Theory, 60(7), 3871-3888.

I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)

January 2014
On the Amortized Complexity of Zero-Knowledge Protocols Article

Journal of Cryptology, 27(2), 285-316.

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and M.K.S. Keller (Marcel)

January 2014
Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8 In Proceedings

V.N. Serbanescu (Vlad), C. Nagarajagowda (Chetan), K. Azadbakht (Keyvan), F.S. de Boer (Frank) and B. Nobakht (Behrooz)

January 2014
The social discount rate under a stochastic A2 scenario Tech Report

R.F.T. Aalbers, M.J. Ruijter (Marjon) and C.W. Oosterlee (Kees)

January 2014
Computational screening of angiogenesis model variants predicts that differential chemotaxis helps tip cells move to the sprout tip and accelerates sprouting Tech Report

M.M. Palm (Margriet), M.G. Dallinga (Marchien), E. van Dijk (Erik), I. Klaassen (Ingeborg), R.O. Schlingemann (Reinier) and R.M.H. Merks (Roeland)

January 2014
Meerkat Parsers: General Top-down Parser Combinator Library Lecture

A. Izmaylova (Anastasia), A. Afroozeh (Ali) and T. van der Storm (Tijs)

January 2014
Tools for Adapting Game Mechanics and Mixed-Initiative Level Design Lecture

R.A. van Rozen (Riemer), K.D. Karavolos (Daniël) and S. Leijnen

January 2014
What do we know about the success of MDD? An update from research Lecture

T. van der Storm (Tijs)

January 2014
Workshop Adapting Game Mechanics with Micro-Machinations Lecture

R.A. van Rozen (Riemer)

January 2014
Live Game Software Verbeteren Lecture

L. Roosendaal and R.A. van Rozen (Riemer)

January 2014
Adapting Game Mechanics with Micro-Machinations In Proceedings

R.A. van Rozen (Riemer) and J. Dormans (Joris)

January 2014
The TTC 2014 Movie Database Case: Rascal In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2014
The TTC 2014 FIXML Case: Rascal Solution In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2014
Model Differencing for Textual DSLs In Proceedings

R.A. van Rozen (Riemer) and T. van der Storm (Tijs)

January 2014
Evolving Languages with Object Algebras In Proceedings

P.A. Inostroza Valdera (Pablo) and T. van der Storm (Tijs)

January 2014
Softwarekwaliteit? Natuurlijk! Magazine Article

T. van der Storm (Tijs)

January 2014
Who's afraid of Object Algebras? Lecture

T. van der Storm (Tijs)

January 2014
Hack your DSL with Rascal Lecture

T. van der Storm (Tijs) and P.A. Inostroza Valdera (Pablo)

January 2014
Interaction Design for Fragment-Based Molecule Parameterisation Master Thesis

J.M. van der Woning (Jimi)

January 2014
FORS: Separating Configuration From Formal Specification Master Thesis

C. Peters (Chiel)

January 2014
LAPD: Language-Agnostic Program Database Master Thesis

W.A. Kwakernaak (Wouter)

January 2014
BatchJS: Implementing Batches in JavaScript Master Thesis

D. Kasemier

January 2014
Evaluation of Static JavaScript Call Graph Algorithms Master Thesis

J.-J. Dijkstra (Jorryt-Jan)

January 2014
What Programmers do with Inheritance in Java and C# Master Thesis

B. Brekelmans

January 2014
Migration of MS Access Databases to Mendix Platform Master Thesis

T. Boudale (Theodora)

January 2014
Strategies to Increase Accuracy in Text Classification Master Thesis

D. Blommesteijn (Dennis)

January 2014
Efficient Approximate JavaScript Call Graph Construction Master Thesis

S. Benschop (Sander)

January 2014
Comparing MongoDB to SQL Server, Replicated Master Thesis

K. Azizi

January 2014
"What Programmers Do with Inheritance in Java" Replicated on Source Code Master Thesis

C. Aytekin (Cigdem)

January 2014
A metrics-based comparison of secondary user quality between iOS and Android Master Thesis

T. Amman

January 2014
Extensible language implementation with object algebras (short paper) In Proceedings

M. Gouseti (Mary), C. Peters (Chiel) and T. van der Storm (Tijs)

January 2014
Tracing program transformations with string origins In Proceedings

P.A. Inostroza Valdera (Pablo), T. van der Storm (Tijs) and S. Erdweg (Sebastian)

January 2014
Capture-avoiding and hygienic program transformations In Proceedings

S. Erdweg (Sebastian), T. van der Storm (Tijs) and Y. Dai (Yi)

January 2014
Orentation master's plant sciences and natural products Presentation

R.M.H. Merks (Roeland)

January 2014
Implicit Particle-in-Cell simulations of wave-particle interactions between electrons and whistler waves in the radiation belt In Proceedings

E. Camporeale (Enrico)

January 2014
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study Book Chapter

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

January 2014
Integrating Testing into Agile Software Development Processes In Proceedings

M.M. Bonsangue (Marcello), R. van den Broek, M. Chaudron and H. van Merode

January 2014
Combining Bialgebraic Semantics and Equations In Proceedings

J.C. Rot (Jurriaan) and M.M. Bonsangue (Marcello)

January 2014
Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs In Proceedings

F.S. de Boer (Frank) and M. Gabbrielli

January 2014
Algebra-coalgebra duality in Brzozowski's minimization algorithm Article

ACM Transactions on Computational Logic, 15(1)

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), H.H. Hansen (Helle), P. Panangaden, J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2014
A note on typed behavioural differential equations In Proceedings

H.H. Hansen (Helle), H. Basold (Henning) and J.J.M.M. Rutten (Jan)

January 2014
A final coalgebra for k-regular sequences In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens), J.J.M.M. Rutten (Jan) and J. Winter (Joost)

January 2014
(Co)algebraic chraracterizations of signal flow graphs In Proceedings

H.H. Hansen (Helle), H. Basold (Henning), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2014
Strong completeness for iteration-free coalgebraic dynamic logics In Proceedings

H.H. Hansen (Helle), C.A. Kupke (Clemens) and R.A. Leal

January 2014
Scaling future software: the manycore challenge Article

ERCIM News

F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), D.G. Clarke (David), S. Drossopoulou, N. Yoshida (Nobuko) and T. Wrigstad

January 2014
Programming with actors in Java 8 In Proceedings

B. Nobakht (Behrooz) and F.S. de Boer (Frank)

January 2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS Article

Service Oriented Computing and Applications, 8(4), 323-339.

E. Albert (Elvira), F.S. de Boer (Frank), R Haehnle, E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L.T. Tarifa and P.Y.H. Wong

January 2014
Proof Pearl: the KeY to correct and stable sorting Article

Journal of Automated Reasoning, 53(2), 129-139.

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)

January 2014
The next boom of big data in biology: multicellular datasets Article

ERCIM News, 11-12.

R.M.H. Merks (Roeland)

January 2014
Pipage Rounding, Pessimistic Estimators and Matrix Concentration In Proceedings

N.J.A. Harvey and N.K. Olver (Neil)

January 2014
Accomplishments in Virtual Reality Lecture

R. van Liere (Robert)

January 2014
A Novel Population-based Multi-Objective CMA-ES and the Impact of Different Constraint Handling Techniques In Proceedings

S.F. Rodrigues (Sílvio), P. Bauer (Pavol) and P.A.N. Bosman (Peter)

January 2014
Market Garden: a Simulation Environment for Research and User Experience in Smart Grids In Proceedings

B.J. Liefers (Bart), F.N. Claessen (Felix), E.J.E.M. Pauwels (Eric), P.A.N. Bosman (Peter) and J.A. La Poutré (Han)

January 2014
Collection Network Cable Routing and Wake Losses Optimization in Offshore Wind Farms In Proceedings

S.F. Rodrigues (Sílvio), P. Bauer (Pavol), P.A.N. Bosman (Peter) and J. Pierik

January 2014
A multi-resolution strategy for a multi-objective deformable image registration framework that accommodates large anatomical differences In Proceedings

T. Alderliesten (Tanja), P.A.N. Bosman (Peter), J.-J. Sonke (Jan-Jakob) and A. Bel (Arjan)

January 2014
On the Shadow Simplex Method for Curved Polyhedra Tech Report

D.N. Dadush (Daniel) and N. Hähnle

January 2014
Solving the Shortest Vector Problem in 2^n Time via Discrete Gaussian Sampling Tech Report

D. Aggarwal (Divesh), D.N. Dadush (Daniel), O. Regev (Oded) and N. Stephens-Davidowitz (Noah)

January 2014
Parallel repetition of entangled games with exponential decay via the superposed information cost In Proceedings

A.G. Chailloux (André) and G. Scarpa (Giannicola)

January 2014
Graph-theoretical bounds on the entangled value of non-local games In Proceedings

A.G. Chailloux (André), L. Mančinska (Laura), G. Scarpa (Giannicola) and S. Severini (Simone)

January 2014
Difficult instances of the counting problem for 2-quantum-SAT are very atypical In Proceedings

J.R.N. de Beaudrap (Jonathan)

January 2014
Quantum linear network coding as one-way quantum computation In Proceedings

J.R.N. de Beaudrap (Jonathan) and M. Roetteler

January 2014
Quantumalgoritmes en cryptografie Article

Nederlands Tijdschrift voor Natuurkunde, 80(6), 183-185.

R.M. de Wolf (Ronald)

January 2014
Kwantumcomputers (verslag van Vidi project) Article

Nieuw Archief voor Wiskunde, 15(3), 173-175.

R.M. de Wolf (Ronald)

January 2014
Inference Lecture

E. Quaeghebeur (Erik) and G. de Cooman

January 2014
How low can approximate degree and quantum query complexity be for total Boolean functions? Article

Computational Complexity, 23(2), 305-322.

A. Ambainis (Andris) and R.M. de Wolf (Ronald)

January 2014
Modelling risk & uncertainty using accept & reject statements Lecture

E. Quaeghebeur (Erik)

January 2014
Connecting choice functions and sets of desirable gambles Lecture

A. Van Camp (Arthur), G. de Cooman and E. Quaeghebeur (Erik)

January 2014
Exact Reconciliation of undated trees Tech Report

L.J.J. van Iersel (Leo), C. Scornavacca and S.M. Kelk (Steven)

January 2014
Kernelizations for the hybridization number problem on multiple nonbinary trees In Proceedings

L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and C. Scornavacca

January 2014
The agreement problem for unrooted phylogenetic trees is FPT Article

Journal of Graph Algorithms and Applications, 18(3), 385-392.

C. Scornavacca, L.J.J. van Iersel (Leo), S.M. Kelk (Steven) and D. Bryant

January 2014
Spatial computing in interactive architecture Book Chapter

S.O. Dulman (Stefan)

January 2014
Applying Spatial Computing to Everyday Interactive Designs In Proceedings

S.O. Dulman (Stefan) and C. Kievid

January 2014
Knowledge, Belief, Probabilities, Updates, Model Checking Presentation

D.J.N. van Eijck (Jan)

January 2014
Belief, Probabilities, Updates, and Model Checking Presentation

D.J.N. van Eijck (Jan)

January 2014
Logic, (Functional) Programming, Model Checking Presentation

D.J.N. van Eijck (Jan)

January 2014
Programming for DEL Tutorial Day Presentation

D.J.N. van Eijck (Jan)

January 2014
Logic, Languages and Programming Presentation

D.J.N. van Eijck (Jan)

January 2014
Logic in Action Book

J. F. A. K. van Benthem (Johan), H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and J.O.M. Jaspars

January 2014
Epistemic Probability Logic Simplified Book Chapter

D.J.N. van Eijck (Jan) and F. Schwarzentruber

January 2014
Formal Approaches to Social Procedures Book Chapter

D.J.N. van Eijck (Jan) and R. Verbrugge (Rineke)

January 2014
Dynamic Epistemic Logics Book Chapter

D.J.N. van Eijck (Jan)

January 2014
Rational approximations and quantum algorithms with postselection Article

Quantum Information and Computation, 15(3&4), 297-309.

U. Mahadev and R.M. de Wolf (Ronald)

January 2014
Optimal parallel quantum query algorithms In Proceedings

S. Jeffery (Stacey), F. Magniez and R.M. de Wolf (Ronald)

January 2014
WhatsHap: Haplotype Assembly for Future-Generation Sequencing Reads In Proceedings

M.D. Patterson (Murray), T. Marschall (Tobias), N. Pisanti (Nadia), L.J.J. van Iersel (Leo), L. Stougie (Leen), G.W. Klau (Gunnar) and A. Schönhuth (Alexander)

January 2014
Exact protein structure classification using the maximum contact map overlap metric In Proceedings

I. Wohlers (Inken), M. Le Boudic-Jamin (Mathilde), H. Djidjev (Hristo), G.W. Klau (Gunnar) and R. Andonov (Rumen)

January 2014
NatalieQ: a web server for protein-protein interaction network querying Article

BMC Systems Biology, 8(40)

M. El-Kebir (Mohammed), B.W. Brandt (Bernd), J. Heringa (Jaap) and G.W. Klau (Gunnar)

January 2014
eXamine: Exploring annotated modules in networks In Proceedings

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

January 2014
Synergy of vacuolation and cell-cell repulsion in lumen formation Presentation

S.E.M. Boas (Sonja) and R.M.H. Merks (Roeland)

January 2014
Tip cell overtaking arises spontaneously in computational models of angiogenic sprouting Presentation

S.E.M. Boas (Sonja) and R.M.H. Merks (Roeland)

January 2014
Mechanical cell-ECM interactions amplifies response to substrate stretch and induces cell alignment Presentation

E.G. Rens (Lisanne) and R.M.H. Merks (Roeland)

January 2014
Semidefinite Optimization Lecture

E. de Klerk (Etienne) and M. Laurent (Monique)

January 2014
Functional module search in protein networks based on semantic similarity improves the analysis of proteomics data Article

Molecular & Cellular Proteomics, 1877-1889.

D. Boyanova, S. Nilla, G.W. Klau (Gunnar), T. Dandekar, T. Müller (Tobias) and M. Dittrich (Marcus)

January 2014
Kugelblitz in freier Wildbahn Article

Physik Journal, 13(3), 22-34.

U. Ebert (Ute)

January 2014
Advanced 3-D Reconstruction Algorithms for Electron Tomography In Proceedings

T. Sanders, J.D. Roehling, K.J. Batenburg (Joost), B.C. Gates, A. Katz, P. Binev and I. Arslan

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

January 2014
Adaptive Grid Refinement for Discrete Tomography In Proceedings

T. van Leeuwen (Tristan) and K.J. Batenburg (Joost)

January 2014
A compositional model to reason about end-to-end QoS in Stochastic Reo Connectors Article

Science of Computer Programming, 80(A), 3-24.

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

January 2014
Mechanisms for Hiring a Matroid Base Without Money In Proceedings

E. Pountourakis and G. Schäfer (Guido)

January 2014
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code Article

Service Oriented Computing and Applications, 8(4), 277-297.

S.-S.T.Q. Jongmans (Sung), F. Santini (Francesco), M Sargolzaei, F. Arbab (Farhad) and H. Afsarmanesh

January 2014
Partially-distributed coordination with Reo In Proceedings

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

January 2014

Previous

Next

Available Years