Publications from 2013
-
Presentation Evaluation Committee MAC3 Presentation
January 2011 -
Presentation Evaluation Committee MAC2 Presentation
January 2011 -
Presentation Evaluation Committee MAC1 Presentation
January 2011 -
Presentation Evaluation Committee MAC Presentation
January 2011 -
Presentation Evaluation Committee INS Presentation
January 2011 -
Presentation Evaluation Committee INS3 Presentation
January 2011 -
Presentation Evaluation Committee INS2 Presentation
January 2011 -
Presentation Evaluation Committee INS1 Presentation
January 2011 -
January 2011
-
January 2011
-
A J-function for inhomogeneous point processes Article
Statistica Neerlandica, 65(2), 183-201.January 2011 -
January 2011
-
Label-free assessment of high-affinity antibody binding constants. Comparison of bioassay, SPR, and PEIA-ellipsometry Article
Journal of Immunological Methods, 365(1-2), 50-57.January 2011 -
An Exact Algorithm for Side-Chain Placement in Protein Design Article
Optimization Letters, 1-14.January 2011 -
Algorithm Engineering for Optimal Alignment of Protein Structure Distance Matrices Article
Optimization Letters, 1-14.January 2011 -
A specification language for Reo connectors Tech Report
January 2011 -
Parsing with Structure Preserving Categorial Grammars Dissertation
Software Analysis and TransformationJanuary 2011 -
Heavy-traffic analysis of a multiple-phase network with discriminatory processor sharing Article
Operations ResearchJanuary 2011 -
An obstacle to a decomposition theorem for near-regular matroids Article
SIAM Journal on Discrete Mathematics, 25(1), 271-279.January 2011 -
Earthquake modelling at the country level using aggregated spatio-temporal point processes Tech Report
January 2011 -
HTML+RDFa 1.1 Tech Report
January 2011 -
January 2011
-
Conference Chair's Introduction and Overview In Proceedings
January 2011 -
January 2011
-
Insuring against loss of evidence in game-theoretic probability Article
Statistics and Probability Letters, 81(1), 157-162.January 2011 -
January 2011
-
Networked Television Article
ACM Multimedia Systems Journal, 17(1)January 2011 -
IPTV: Challenges and Future Directions Article
International Journal on Multimedia Tools and Applications, 53(3)January 2011 -
January 2011
-
Past, Present, and Future of Social TV: A Categorization In Proceedings
January 2011 -
Video Mediated Social Interaction Between Groups: System Requirements and Technology Challenges Article
Telematics and InformaticsJanuary 2011 -
Devnology Podcast 013 - Interview met Paul Klint Magazine Article
January 2011 -
January 2011
-
Demo Light Software
January 2011 -
January 2011
-
Equivariant Gröbner bases and the two-factor model Article
Mathematics of Computation, 80(0908.1530), 1123-1133.January 2011 -
A fast quartet tree heuristic for hierarchical clustering Article
Pattern Recognition, 662-677.January 2011 -
Knowledge and Interaction in Social and Economic Networks Article
ERCIM NewsJanuary 2011 -
Time Discounting and Time Consistency Book Chapter
January 2011 -
Perception and Change in Update Logic Book Chapter
January 2011 -
On the Logic of Lying Book Chapter
January 2011 -
Verifying one hundred prisoners and a lightbulb Article
Journal of Applied Non Classical LogicsJanuary 2011 -
Discourse representation in context Book Chapter
January 2011 -
EASY meta-programming with Rascal In Proceedings
January 2011 -
Cycle detection, order finding and discrete log with jumps In Proceedings
January 2011 -
Nearly tight bounds for testing function isomorphism In Proceedings
January 2011 -
Three-dimensional atomic imaging of crystalline nanoparticles Article
Nature, 374-377.January 2011 -
Traffic generated by a semi-Markov additive process Article
Probability in the Engineering and Informational Sciences, 1-7.January 2011 -
The Galois closure of Drinfeld modular towers Article
Journal of Number Theory, 561-577.January 2011 -
Sharpness of the percolation transition in the two-dimensional contact process Article
Annals of Applied Probability, 21(1), 374-395.January 2011 -
Modeling dynamic reconfiguration in Reo using high-level replacement systems Article
Science of Computer Programming, 76(1), 23-36.January 2011 -
VirtualLeaf: an open source framework for cell-based modeling of plant tissue growth and development Article
Plant Physiology, 1-11.January 2011 -
Bringing Domain-Specific Languages to Digital Forensics In Proceedings
January 2011 -
Graphs with four boundary vertices Article
Electronic Journal of Combinatorics, 18(1)January 2011 -
Multiple scales in streamer discharges, with an emphasis on moving boundary approximations Article
Nonlinearity, C1-C26.January 2011 -
Pointwise Extensions of GSOS-Defined Operations Article
Mathematical Structures in Computer Science, 21(2), 321-361.January 2011 -
December 2010
-
Kleene coalgebra Dissertation
Computer SecurityDecember 2010 -
Time At Your Service: Schedulability Analysis of Real-Time and Distributed Services Dissertation
Computer SecurityDecember 2010 -
December 2010
-
Formal Models for Component Connectors Dissertation
Computer SecurityDecember 2010 -
Understanding and Supporting Information Seeking Tasks among Multiple Sources Dissertation
Human-Centered Data AnalyticsDecember 2010 -
The COS method: An efficient Fourier method for pricing financial derivatives Dissertation
Scientific ComputingDecember 2010 -
Personalised Access to Social Media Dissertation
Human-Centered Data AnalyticsDecember 2010 -
Electron transport data in N2-O2 streamer plasma discharges In Proceedings
December 2010 -
Numerical Solutions to Noisy Systems In Proceedings
December 2010 -
December 2010
-
XHTML Access Module Manual
December 2010 -
XHTML Role Attribute Module Manual
December 2010 -
December 2010
-
CURIE Syntax 1.0 Manual
December 2010 -
December 2010
-
XFrames Manual
December 2010 -
XHTML™ 2.0 Manual
December 2010 -
Generalizing the powerset construction, coalgebraically In Proceedings
December 2010 -
Emergence of tissue polarization from synergy of intracellular and extracellular auxin signaling Article
Molecular Systems BiologyDecember 2010 -
A comparison between coral colonies of the genus Madracis and simulated forms Article
Proceedings of the Royal Society of London. Series B, 277(1700), 3555-3561.December 2010 -
Letter from the Special Issue Editor Article
IEEE Data Engineering Bulletin, 34(3), 3-3.December 2010 -
December 2010
-
Fractionally predictive spiking neurons In Proceedings
December 2010 -
A Unified Format for Language Documents In Proceedings
December 2010 -
December 2010
-
December 2010
-
SciQL, A query language for science applications Tech Report
December 2010 -
December 2010
-
Discrete Strategies in Keyword Auctions and Their Inefficiency for Locally Aware Bidders In Proceedings
December 2010 -
December 2010
-
Matroïden en hun representaties Article
Nieuw Archief voor Wiskunde, 5/11(4), 278-282.December 2010 -
Complete sets of cooperations Article
Information and Computation, 1398-1420.December 2010 -
Connected facility location via random facility sampling and core detouring Article
Journal of Computer and System Sciences, 76(8), 709-726.December 2010 -
Double Q-learning In Proceedings
December 2010 -
An architecture for recycling intermediates in a column-store Article
ACM Transactions on Database Systems, 35(4), 1-41.December 2010 -
On Leonid Gurvits's proof for permanents Article
American Mathematical Monthly, 117(10), 903-911.December 2010 -
When Data Compression and Statistics Disagree: Two Frequentist Challenges for the Minimum Description Length Principle Dissertation
Algorithms and ComplexityNovember 2010 -
November 2010
-
November 2010
-
November 2010
-
XHTML-Print - Second Edition Standard
November 2010 -
November 2010
-
XHTML™ Basic 1.1 - Second Edition Standard
November 2010