Publications from 2013
-
XRPC: Interoperable and Efficient Distributed XQuery In Proceedings
September 2007 -
Computation of VaR and VaR contribution in the Vasicek portfolio credit loss model -- a comparative study Article
Journal of Credit Risk, 3(3), 75-96.September 2007 -
September 2007
-
Opportunistic Sensing and Learning in Sensor Networks In Proceedings
September 2007 -
September 2007
-
September 2007
-
September 2007
-
August 2007
-
Ambiguity Detection Methods for Context-Free Grammars Master Thesis
August 2007 -
On queues with service and interarrival times depending on waiting times Article
Queueing Systems, 56(3-4), 121-132.August 2007 -
Bliksem uit de ruimte? Article
Kijk, 7-11.August 2007 -
August 2007
-
August 2007
-
Ready to preorder: get your BCCSP axiomatization for free! In Proceedings
August 2007 -
Adapting the UPPAAL model of a distributed lift system In Proceedings
August 2007 -
August 2007
-
August 2007
-
August 2007
-
Generalizing DPLL and satisfiability for equalities Article
Information and Computation, 205(8), 1117-1294.August 2007 -
August 2007
-
An optimal bifactor approximation algorithm for the metric uncapacitated facility location problem In Proceedings
August 2007 -
A Knapsack Secretary Problem with Applications In Proceedings
August 2007 -
Coordination of Emergency Communication in Safe Hands Article
ERCIM News 106 -- July 2016 -- Special theme: CybersecurityJuly 2007 -
July 2007
-
Minimal systems of binomial generators and the indispensable complex of a toric ideal Article
Proceedings of the American Mathematical Society, 138(9), 3443-3451.July 2007 -
The ToolBus: A Service-oriented Architecture for Language processing Tools Article
ERCIM News, 32-33.July 2007 -
Nog een stukje taart? Article
I/O ICT Onderzoek, 4(3), 3-3.July 2007 -
XHTML™ Basic 1.1 Tech Report
July 2007 -
Effective computation for nonlinear systems In Proceedings
July 2007 -
Inverting Onto Functions and Polynomial Hierarchy In Proceedings
July 2007 -
July 2007
-
July 2007
-
Clique partitioning of interval graphs with submodular costs on the cliques Article
RAIRO Operations Research, 41(3), 275-287.July 2007 -
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems In Proceedings
July 2007 -
A Database Approach to Distributed State Space Generation In Proceedings
July 2007 -
July 2007
-
Numerically satisfactory solutions of hypergeometric recursions Article
Mathematics of Computation, 76(259), 1449-1468.July 2007 -
Bug Hunting with False Negatives In Proceedings
July 2007 -
Edge corrected non-parametric intensity function estimators for heterogeneous Poisson point processes Tech Report
July 2007 -
On Collisions for MD5 Master Thesis
June 2007 -
What multigrid and Poisson do to one's image News Broadcast
June 2007 -
June 2007
-
Interactive User Modeling for Personalized Access to Museum Collections: The Rijksmuseum Case Study In Proceedings
June 2007 -
Preface Article
Journal of Computational Physics, 1-2.June 2007 -
Kolmogorov complexity of enumerating finite sets Article
Information Processing Letters, 103(1), 34-39.June 2007 -
Entropy Testing is Efficient In Proceedings
June 2007 -
June 2007
-
How to keep on changing your mind, dynamically In Proceedings
June 2007 -
June 2007
-
Alternative Average Face Models for 3D Face Registration In Proceedings
June 2007 -
Integrating Architectural Models: Symbolic, Semantics and Subjective Models in Enterprise Architectures Article
Enterprise Modelling and Information Systems Architectures, 2(1), 40-57.June 2007 -
June 2007
-
June 2007
-
Symmetry in semidefinite programs Tech Report
June 2007 -
June 2007
-
Adaptive Test Case Execution in Practice Tech Report
June 2007 -
June 2007
-
Optimizing an objective function under a bivariate probability model Article
European Journal of Operational Research, 179(2), 444-458.June 2007 -
Semidefinite bounds for the stability number of a graph via sums of squares of polynomials Article
Mathematical Programming, 110(1), 145-173.June 2007 -
June 2007
-
June 2007
-
On the multisymplecticity of partitioned Runge-Kutta and splitting methods Article
International Journal of Computer Mathematics, 84(6), 847-869.June 2007 -
Equivalences in design of experiments Dissertation
May 2007 -
May 2007
-
Goal-oriented modelling-error estimation for hierarchical models of a different type Dissertation
Modelling, Analysis and ComputationMay 2007 -
May 2007
-
A trust-region strategy for manifold-mapping optimization Article
Journal of Computational Physics, 224(1), 464-475.May 2007 -
Coalition Formation under Uncertainty: Bargaining Equilibria and the Bayesian Core Stability Concept In Proceedings
May 2007 -
May 2007
-
May 2007
-
Adjoint-based aerodynamic shape optimization on unstructured meshes Article
Journal of Computational Physics, 224(1), 267-287.May 2007 -
May 2007
-
Proceedings of IPT/ EGVE 2007 Proceedings
May 2007 -
Introduction to iTV: State of the Art and Future Directions In Proceedings
May 2007 -
May 2007
-
Connector Colouring I: Synchronization and Context Dependency Article
Science of Computer Programming, 66(3), 205-225.May 2007 -
New Upper Bounds on Codes via Association Schemes and Linear Programming Article
Advances in Mathematics of Communications, 1(2), 173-195.May 2007 -
The approximation gap for the metric facility location problem is not yet closed Article
Operations Research Letters, 35(3), 379-384.May 2007 -
May 2007
-
On stabilized integration for time-dependent PDEs Article
Journal of Computational Physics, 224(1), 3-16.May 2007 -
April 2007
-
Op zoek naar het zwarte gat? Article
I/O ICT Onderzoek, 4(2), 3-3.April 2007 -
Classification of eight dimensional perfect forms Article
Electronic Research Announcements of the American Mathematical Society, 21-32.April 2007 -
Arbres et coupes de poids minimum Book Chapter
April 2007 -
Evaluating Viewer-Side Enrichment of Television Content In Proceedings
April 2007 -
Entangled games are hard to approximate Tech Report
April 2007 -
SOS formats and meta-theory: SOS formats and meta-theory: 20 years after Article
Theoretical Computer Science, 238-272.April 2007 -
Asymptotic behaviour of three-dimensional singularly perturbed convection–diffusion problems with discontinuous data Article
Journal of Mathematical Analysis and Applications, 328(2), 931-945.April 2007 -
Universal Trellises Article
Journal of Knot Theory and its Ramifications, 16(4), 97-114.April 2007 -
March 2007
-
Multi-level optimization. Space mapping and manifold mapping Dissertation
Scientific ComputingMarch 2007 -
Armada: A reference model for an evolving database system In Proceedings
March 2007 -
Effici\"{e}nt verzenden van digitale bestanden over het internet Article
StatOR, 2007(1), 28-31.March 2007 -
Personalized Museum Experience: The Rijksmuseum Use Case In Proceedings
March 2007 -
Model checking a cache coherence protocol for a Java DSM implementation Article
Journal of Logic and Algebraic Programming, 71(1), 1-43.March 2007 -
March 2007
-
Language Parametric Module Management for IDEs In Proceedings
March 2007 -
User-centered control within multimedia presentations Article
ACM Multimedia Systems Journal, 12(4-5), 423-438.March 2007 -
Models and temporal logical specifications for timed component connectors Article
Software and System Modelling, 6(1), 59-82.March 2007 -
Reduction of symmetric semidefinite programs using the regular $*$-representation Article
Mathematical Programming, 109(2-3), 613-624.March 2007