Publications from 2013
-
Scheduling Real-Time Mixed-criticality Jobs In Proceedings
August 2010 -
Factorization of a 768-bit RSA modulus In Proceedings
August 2010 -
Leakage-Resilient Pseudorandom Functions and Side-Channel Attacks on Feistel Networks In Proceedings
August 2010 -
Instantiability of RSA-OAEP under Chosen-Plaintext Attack In Proceedings
August 2010 -
Sampling in a quantum population, and applications In Proceedings
August 2010 -
Run-time Optimization for Pipelined Systems In Proceedings
August 2010 -
Blackhole State-Controlled Regulated Pushdown Automata In Proceedings
August 2010 -
T-patterns revisited: Mining for temporal patterns in sensor data Article
Sensors, 10(8), 7496-7513.August 2010 -
August 2010
-
Projective Distribution of XQuery with Updates Article
IEEE Transactions on Knowledge and Data Engineering, 22(8), 1059-1076.August 2010 -
A J-function for inhomogeneous point processes Tech Report
August 2010 -
A generalisation of orbit algebras Tech Report
August 2010 -
The Approach of Moments for Polynomial Equations Tech Report
August 2010 -
August 2010
-
Non-deterministic Kleene coalgebras Article
Logical Methods in Computer ScienceAugust 2010 -
August 2010
-
July 2010
-
On asymptotically good strongly multiplicative linear secret sharing Dissertation
CryptologyJuly 2010 -
XRPC - Efficient Distributed Query Processing on Heterogeneous XQuery Engines Dissertation
Database ArchitecturesJuly 2010 -
July 2010
-
ERCIM NEWS Special Theme Computational Biology Miscellaneous
July 2010 -
Eureka: A methodology for measuring bandwidth usage of networked games, environments and applications In Proceedings
July 2010 -
XHTML™ Modularization 1.1 - Second edition Book Chapter
July 2010 -
July 2010
-
Introduction to the Special Theme Computational Biology Article
ERCIM NewsJuly 2010 -
Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings
July 2010 -
July 2010
-
July 2010
-
Prequential Plug-In Codes that Achieve Optimal Redundancy Rates even if the Model is Wrong In Proceedings
July 2010 -
Following the Flattened Leader In Proceedings
July 2010 -
Aggregative synthesis of distributed supervisors based on automata abstraction Article
IEEE Transactions on Automatic Control, 55(7), 1627-1640.July 2010 -
Numerical Methods Book Chapter
July 2010 -
Parabolic Cylinder Functions Book Chapter
July 2010 -
Error Functions, Dawson’s and Fresnel Integrals Book Chapter
July 2010 -
Exponential, Logarithmic, Sine, and Cosine Integrals Book Chapter
July 2010 -
Invariant semidefinite programs Tech Report
July 2010 -
A problem in last-passage percolation. Article
Brazilian Journal of Probability and Statistics, 24(2), 300-320.July 2010 -
July 2010
-
July 2010
-
July 2010
-
On Estimation of the Intensity Function of a Point Process In Proceedings
July 2010 -
Asymptotics and Numerics of Polynomials Used in Tricomi and Buchholz Expansions of Kummer functions Article
Numerische MathematikJuly 2010 -
Fast and Accurate Computation of the Weber Parabolic Cylinder Function $W(a,x)$ Article
IMA Journal of Numerical Analysis, 31(3), 1194-1216.July 2010 -
Handling biological complexity: as simple as possible but not simpler Dissertation
Scientific ComputingJune 2010 -
June 2010
-
Database Cracking: Towards Auto-tuning Database Kernels Dissertation
Database ArchitecturesJune 2010 -
Exploring Visual Bookmarks and Layered Visualizations Master Thesis
June 2010 -
Bedankkaart Heerenveen en Middelberg voor mensen die bij hun jubileum aanwezig waren, Juni 2010 Other
June 2010 -
Extra back-off flow control in wireless mesh networks In Proceedings
June 2010 -
June 2010
-
June 2010
-
Sharing Enriched Multimedia Experiences across Heterogeneous Network Infrastructures Article
IEEE Communications Magazine, 48(6), 54-65.June 2010 -
NOSSDAV 2010: Introduction and Overview In Proceedings
June 2010 -
Ambulant 2.2 Software
June 2010 -
Partial order reduction for branching security protocols In Proceedings
June 2010 -
Kan een pop informatica voor vrouwen aantrekkelijk maken? Article
I/O ICT Onderzoek, 7(1), 17-17.June 2010 -
Derandomizing from Random Strings In Proceedings
June 2010 -
A cell-based model of extracellular-matrix-guided endothelial cell migration during angiogenesis Master Thesis
June 2010 -
A 3-dimensional discrete tomography approach for superresolution micro-CT images:application to foams In Proceedings
June 2010 -
Hedging structured concepts In Proceedings
June 2010 -
June 2010
-
June 2010
-
High accuracy semidefinite programming bounds for kissing numbers Article
Experimental Mathematics, 174-178.June 2010 -
The contact polytope of the Leech lattice Article
Discrete and Computational Geometry, 44(4), 904-911.June 2010 -
Nonconflict check by using sequential automaton abstractions Article
Automatica, 46(6), 968-978.June 2010 -
Stability, fragility, and Rota's Conjecture Tech Report
June 2010 -
June 2010
-
Introduction to the Special Theme Computational Biology Magazine Article
June 2010 -
Universal Sequencing on a Single Machine In Proceedings
June 2010 -
June 2010
-
A spinning join that does not get dizzy In Proceedings
June 2010 -
June 2010
-
A two-dimensional embedded-boundary method for convection problems with moving boundaries Tech Report
June 2010 -
June 2010
-
Extremes of multidimensional Gaussian processes Tech Report
June 2010 -
Simulation-based computation of the workload correlation function in a Lévy-driven queue Tech Report
June 2010 -
June 2010
-
Disagreement loop and path creation/annihilation algorithms for binary planar Markov fields with applications to image segmentation Article
Scandinavian Journal of Statistics, 264-285.June 2010 -
Positional update handling in column stores In Proceedings
June 2010 -
Statistical Mechanics and Numerical Modelling of Geophysical Fluid Dynamics Dissertation
Computational DynamicsMay 2010 -
A Computational Approach to Patient Flow Logistics in Hospitals Dissertation
Intelligent and autonomous systemsMay 2010 -
Truthful Mechanism Design for Cooperative Cost Sharing and Congestion Games Dissertation
Networks and OptimizationMay 2010 -
Arithmetical rank of toric ideals associated to graphs Article
Proceedings of the American Mathematical Society, 138(9), 3111-3123.May 2010 -
Specializations of multigradings and the arithmetical rank of lattice ideals Article
Communications in Algebra, 38(5)May 2010 -
May 2010
-
May 2010
-
Energieke Agenten Magazine Article
May 2010 -
Modeling lignin polymerization. Part 1: simulation model of dehydrogenation polymers. Article
Plant Physiology, 1332-1344.May 2010 -
Obituary of Amir Pnueli (1941-2009) Magazine Article
May 2010 -
Explaining strange features of sprite lightning Magazine Article
May 2010 -
How can MBUI help me? Web of Things and Multimedia In Proceedings
May 2010 -
Aligning large SKOS-like vocabularies In Proceedings
May 2010 -
A quantitative version of Steinhaus’ theorem for compact, connected, rank-one symmetric spaces Tech Report
May 2010 -
May 2010
-
Stackelberg routing in arbitrary networks Article
Mathematics of Operations Research, 35(2), 330-346.May 2010 -
A coinductive calculus of binary trees Article
Information and Computation, 208(5), 578-593.May 2010 -
May 2010
-
Integrating and Ranking Interests From User Profiles In Proceedings
May 2010 -
End-user support for access to heterogeneous linked data Dissertation
Human-Centered Data AnalyticsApril 2010 -
Applications of exponential decay and geometric series in effective medicine dosage Article
Advances in Bioscience and Biotechnology, 51-54.April 2010