Publications from 2013
-
January 2012
-
Herman te Riele: een bijzonder mens Miscellaneous
January 2012 -
Leven met getallen : liber amicorum ter gelegenheid van de pensionering van Herman te Riele Miscellaneous
January 2012 -
January 2012
-
Notation-Parametric Grammar Recovery Presentation
January 2012 -
BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic Definitions Presentation
January 2012 -
Towards Dynamic Catalogues In Proceedings
January 2012 -
Sphere and dot product representations of graphs Article
Discrete and Computational Geometry, 47(3), 548-568.January 2012 -
Improving Future Research Communication and e-Scholarship: A Summary of Findings Article
Informatik Spektrum, 35(1), 56-58.January 2012 -
Random Oracles in a Quantum World In Proceedings
January 2012 -
MonetDB Dec2011 feature release Software
January 2012 -
Stepsize Restrictions for Boundedness and Monotonicity of Multistep Methods Article
Journal of Scientific Computing, 265-286.January 2012 -
Lopen vissen gevaar als bliksem in zee slaat? U. Ebert responds in De Pers, Jan. 10, 2012. Magazine Article
January 2012 -
January 2012
-
January 2012
-
Hoeveel wegen eentjes en nulletjes? Beantwoorden van de kettingvraag in Hoe?Zo! Radio, 12.01.2012 [6:07] News Broadcast
January 2012 -
Density models for streamer discharges: beyond cylindrical symmetry and homogeneous media Article
Journal of Computational Physics, 904-918.January 2012 -
Spatially hybrid computations for streamer discharges: II. Fully 3D simulations Article
Journal of Computational Physics, 1020-1050.January 2012 -
An integer linear programming approach for finding deregulated subgraphs in regulatory networks Article
Nucleic acids research, 40(6), 1-13.January 2012 -
Invasion from a cell aggregate—the roles of active cell motion and mechanical equilibrium Article
Physical BiologyJanuary 2012 -
Convective tissue movements play a major role in avian endocardial morphogenesis Article
Developmental BiologyJanuary 2012 -
January 2012
-
January 2012
-
Simulation of organ patterning on the floral meristem using a polar auxin transport model Article
PLoS ONE, 7(1)January 2012 -
On the evolution of morphogenetic models: mechano-chemical interactions and an integrated view of cell differentiation, growth, pattern formation and morphogenesis Article
Biological ReviewsJanuary 2012 -
January 2012
-
The effect of toroidal plasma rotation on low-frequency reversed shear Alfvén eigenmodes in tokamaks Article
Plasma Physics and Controlled FusionJanuary 2012 -
An improved algorithm and a Fortran 90 module for computing the conical function $P^m_{-1/2+i\tau}(x)$ Article
Computer Physics Communications, 794-799.January 2012 -
Invariant semidefinite programs Book Chapter
January 2012 -
Linking user-generated video annotations to the web of data In Proceedings
January 2012 -
Natalie-WEB. Network alignment Software
January 2012 -
Every ternary permutation constraint satisfaction problem parameterized above average has a kernel with a quadratic number of variables Article
Journal of Computer and System Sciences, 78(1), 151-163.January 2012 -
Efficient pricing of commodity options with early-exercise under the Ornstein-Uhlenbeck process Article
Applied Numerical Mathematics, 91-111.January 2012 -
Towards Role Detection in Virtual Worlds Article
ACM Computers in EntertainmentJanuary 2012 -
Automated Verification of Executable UML Models In Proceedings
January 2012 -
January 2012
-
Earthquake modelling at the country level using aggregated spatio-temporal point processes Article
Computational Geosciences, 309-326.January 2012 -
On estimation of the intensity function of a point process Article
Methodology and Computing in Applied Probability, 14(3), 567-578.January 2012 -
Polyhedra with the integer Caratheodory property Article
Journal of Combinatorial Theory - Series B, 102(1), 62-70.January 2012 -
Polling systems with batch service Article
OR Spectrum, 743-761.January 2012 -
Optimal job splitting in parallel processor sharing queues Article
Stochastic ModelsJanuary 2012 -
Dynamic traffic splitting to parallel wireless networks with partial information: a Bayesian approach. Article
Performance Evaluation, 41-52.January 2012 -
January 2012
-
A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs Article
Mathematical Programming, 112(1-2), 203-225.January 2012 -
Modelling and Analysis of Real-Time Coordination Patterns Dissertation
Computer SecurityDecember 2011 -
Basis reduction for layered lattices Dissertation
CryptologyDecember 2011 -
Stochastic models for resource sharing in wireless networks Dissertation
StochasticsDecember 2011 -
December 2011
-
December 2011
-
December 2011
-
Ambiguity Detection for Programming Language Grammars Dissertation
Software Analysis and TransformationDecember 2011 -
Model checking of component connectors Dissertation
Computer SecurityDecember 2011 -
December 2011
-
December 2011
-
December 2011
-
Abstract delta modeling Tech Report
December 2011 -
December 2011
-
December 2011
-
The Database Architectures Research Group at CWI Article
ACM SIGMOD Record, 40(4), 39-44.December 2011 -
Learning Eigenvectors for Free In Proceedings
December 2011 -
How molecular competition influences fluxes in gene expression networks Article
PLoS ONE, 6(12)December 2011 -
December 2011
-
Hydrostatic Hamiltonian particle-mesh (HPM) methods for atmospheric modelling Article
Quarterly Journal of the Royal Meteorological SocietyDecember 2011 -
Under review Article
I/O ICT Onderzoek, 8(4), 19-19.December 2011 -
Analysis of a Model for Ship Maneuvering In Proceedings
December 2011 -
The Gram dimension of a graph Tech Report
December 2011 -
The Robust Price of Anarchy of Altruistic Games In Proceedings
December 2011 -
The Data Cyclotron query processing scheme. Article
ACM Transactions on Database Systems, 36(4), 27:1-27:35.December 2011 -
The Meaningful Use of Big Data: Four Perspectives - Four Challenges Article
ACM SIGMOD Record, 40(4)December 2011 -
Brzozowski's algorithm (co)algebraically Tech Report
December 2011 -
December 2011
-
December 2011
-
December 2011
-
December 2011
-
An introduction to (co)algebras and (co)induction. Book Chapter
December 2011 -
December 2011
-
On the final coalgebra of automatic sequences Tech Report
December 2011 -
Modeling Three-Dimensional Interaction Tasks for Desktop Virtual Reality Dissertation
Software Analysis and TransformationNovember 2011 -
Unassigned codons, nonsense suppression, and anticodon modifications in the evolution of the genetic code Article
Journal of Molecular Evolution, 73(combined 3-4), 59-69.November 2011 -
November 2011
-
November 2011
-
November 2011
-
Over kwantumcryptografie : telefonisch gesprek in het radioprogramma Hoe?Zo! Radio, 22.11.2011 (NTR) [6:18] News Broadcast
November 2011 -
November 2011
-
Sprites op Venus, Saturnus en Jupiter, kennislink.nl, Nov. 24, 2011. Magazine Article
November 2011 -
Sprites op Saturnus : telefonisch interview in Hoe?Zo! Radio, 20 - 21 uur, Nov. 24, 2011 (NTR) [4:10] News Broadcast
November 2011 -
Bliksem kan ook op Venus omhoog. Peter van Ammelrooy, halve pagina in de Volkskrant, 28 november 2011. Magazine Article
November 2011 -
MonetDB Aug2011-SP3 bugfix release Software
November 2011 -
November 2011
-
Field of inserted charges during Scanning Electron Microscopy of non-conducting samples In Proceedings
November 2011 -
The Rascal meta-programming language - a lab for software analysis, transformation, generation & visualization In Proceedings
November 2011 -
Typography in process algebra Miscellaneous
November 2011 -
Conservation Properties of the Hamiltonian Particle-Mesh method for the Quasi-Geostrophic Equations on a sphere Master Thesis
November 2011 -
Integrating power and reserve trade in electricity networks In Proceedings
November 2011 -
Adaptive Strategies for Dynamic Pricing Agents In Proceedings
November 2011 -
November 2011
-
Stochastic-Dynamical Thermostats for Constraints and Stiff Restraints Article
The European Physical Journal, 131-152.November 2011 -
DMIR on Microblog Track 2011 In Proceedings
November 2011 -
GeAnn at TREC 2011 In Proceedings
November 2011 -
November 2011