Publications from 2013
-
Fault-Based Test Case Generation for Component Connectors In Proceedings
July 2009 -
Synthesis of Reo Circuits from Scenario-based Specifications In Proceedings
July 2009 -
Deconstructing Reo In Proceedings
July 2009 -
Non-locality and Communication Complexity Tech Report
July 2009 -
July 2009
-
Option pricing with COS method on Graphics Processing Units In Proceedings
July 2009 -
Fast pricing of hybrid derivative products Article
ERCIM News, 22-22.July 2009 -
Improving banks' credit risk management Article
ERCIM News, 20-21.July 2009 -
Depth as Randomness Deficiency Article
Theory of Computing Systems, 45(4), 724-739.July 2009 -
Locating the transition from periodic oscillations to spatiotemporal chaos in the wake of invasion Article
Proceedings of the National Academy of Sciences of the United States of America, 106(27), 10890-10895.July 2009 -
Image annotation using clickthrough data In Proceedings
July 2009 -
Diameters of positive streamers in pure N2/O2 mixtures In Proceedings
July 2009 -
Thief Belief (Extended Abstract) In Proceedings
July 2009 -
Common Knowledge in Interaction Structures In Proceedings
July 2009 -
A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs Tech Report
July 2009 -
A generalized flat extension theorem for moment matrices Article
Archiv der Mathematik = Archives of Mathematics, 93(1), 87-98.July 2009 -
July 2009
-
Information Rate Loss from Radiation Decoherence In Proceedings
July 2009 -
July 2009
-
Modeling Morphogenesis in silico and in vitro: Towards Quantitative, Predictive, Cell-based Modeling Article
Mathematical Modelling of Natural Phenomena, 4(4), 149-171.July 2009 -
User Variance and its Impact on Video Retrieval Benchmarking In Proceedings
July 2009 -
July 2009
-
June 2009
-
June 2009
-
Optimization and Approximation on Systems of Geometric Objects Dissertation
Networks and OptimizationJune 2009 -
Armada, an Evolving Database System Dissertation
Database ArchitecturesJune 2009 -
June 2009
-
June 2009
-
June 2009
-
Publieke Werken -- Freudenthal's Som en productraadsel Article
Nieuw Archief voor Wiskunde, 10(2)June 2009 -
A feedback fluid queue with two congestion control thresholds Article
Mathematical Methods of Operations Research, 149-169.June 2009 -
Moving-boundary approximation for curved streamer ionization fronts: Numerical tests Article
Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, 79(6)June 2009 -
The contact polytope of the Leech lattice Tech Report
June 2009 -
Amplitude Phase Shift Keying Constellation Design and its Applications to Satellite Digital Video Broadcasting Book Chapter
June 2009 -
Bit-Interleaved Coded Modulation Revisited: A Mismatched Decoding Perspective Article
IEEE Transactions on Information Theory, 55(6), 2756-2765.June 2009 -
Self-organizing tuple reconstruction in column-stores In Proceedings
June 2009 -
June 2009
-
ROX: Run-time optimization of XQueries In Proceedings
June 2009 -
First passage process of a Markov additive process, with applications to reflection problems Tech Report
June 2009 -
June 2009
-
June 2009
-
A note on pooling of labels in random fields Tech Report
June 2009 -
A physical five-equation model for compressible two-fluid flow, and its numerical treatment Tech Report
June 2009 -
Front interactions in a three-component system Dissertation
Modelling, Analysis and ComputationMay 2009 -
Coalgebraic Modelling: Applications in Automata Theory and Modal Logic Dissertation
Computer SecurityMay 2009 -
RDFa for HTML Authors Manual
May 2009 -
Properties of classical and quantum Jensen-Shannon divergence Article
Physical Review A: Atomic, Molecular and Optical Physics, 79(5)May 2009 -
A1-brug Article
I/O ICT Onderzoek, 6(2), 3-3.May 2009 -
Information distance in multiples Tech Report
May 2009 -
Normalized Web Distance and Word Similarity Book Chapter
May 2009 -
May 2009
-
A moving boundary problem motivated by electric breakdown, I: Spectrum of linear perturbations Article
Physica - D, Nonlinear Phenomena, 23(9-10), 888-901.May 2009 -
Modular Verification of Recursive Programs Book Chapter
May 2009 -
Optimal strategies in sequential bidding In Proceedings
May 2009 -
Solving Simple Stochastic Games with Few Random Vertices Article
Logical Methods in Computer Science, 5(2)May 2009 -
Parameter estimation for a model of gap gene circuits with time-variable external inputs in Drosophila Tech Report
May 2009 -
Automatic Metadata Enrichment in News Production In Proceedings
May 2009 -
May 2009
-
Explorer des actualités multimédia dans le web de données In Proceedings
May 2009 -
Runge–Kutta methods and viscous wave equations Article
Numerische Mathematik, 112(3), 485-507.May 2009 -
Queueing Networks with Shared Resources Dissertation
Probability, Networks and AlgorithmsApril 2009 -
Efficient and robust uncertainty quantification for computational fluid dynamics and fluid-structure interaction Dissertation
April 2009 -
Breaking the Weakest Link: Becoming a Trusted Authority on the Internet Article
ERCIM News, 2009(77), 29-30.April 2009 -
Ambulant 2.0 Software
April 2009 -
April 2009
-
Magnetohydrodynamics of insulating spheres Article
Magnetohydrodynamics, 45(1), 111-126.April 2009 -
Fighting Lymph Cancer with Mathematics Article
ERCIM News, 58-59.April 2009 -
Semidefinite programming, multivariate orthogonal polynomials, and codes in spherical caps Article
European Journal of Combinatorics, 625-637.April 2009 -
StreetTiVo: Using a P2P XML Database System to Manage Multimedia Data in Your Living Room In Proceedings
April 2009 -
Efficient Distribution of Full-Fledged XQuery In Proceedings
April 2009 -
Organizing Suggestions in Autocompletion Interfaces In Proceedings
April 2009 -
‘Give me a hug': the effects of touch and autonomy on people's responses to embodied social agents Tech Report
April 2009 -
April 2009
-
Asymptotic inversion of the Erlang B formula Article
SIAM Journal on Applied Mathematics, 70(1), 1-23.April 2009 -
End-user Programming of Ambient Narratives for Smart Retail Environments Dissertation
Human-Centered Data AnalyticsMarch 2009 -
Algebraic Techniques for Low Communication Secure Protocols Dissertation
CryptologyMarch 2009 -
Feature Visualization in Large Scale Imaging Mass Spectrometry Data Dissertation
Visualization and 3D User InterfacesMarch 2009 -
March 2009
-
From coordination to stochastic models of QoS Tech Report
March 2009 -
March 2009
-
BNN today News Broadcast
March 2009 -
March 2009
-
A hierarchical network model for road traffic control In Proceedings
March 2009 -
Interactive Information Access on the Web of Data In Proceedings
March 2009 -
Normal forms for reduced stochastic climate models Article
Proceedings of the National Academy of Sciences of the United States of America, 106(10), 3649-3653.March 2009 -
A prolongation-projection algorithm for computing the finite real variety of an ideal Article
Theoretical Computer Science, 410(27/29), 2685-2700.March 2009 -
March 2009
-
March 2009
-
Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Tech Report
March 2009 -
March 2009
-
March 2009
-
March 2009
-
March 2009
-
March 2009
-
Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Tech Report
March 2009 -
March 2009
-
February 2009
-
February 2009
-
February 2009
-
Using options with set exercise prices to reduce bidder exposure in sequential auctions In Proceedings
February 2009