Publications from 2013
-
January 2009
-
Semidefinite programming approximations for stable sets, colouring, and cuts in graphs Article
Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 49-60.January 2009 -
Using AI to Access and Experience Cultural Heritage Article
IEEE Intelligent systems, 24(2), 23-25.January 2009 -
On the construction of Galois towers Article
Contemporary Mathematics, 9-20.January 2009 -
Asymptotically good ideal linear secret sharing schemes with strong multiplication over any fixed finite field In Proceedings
January 2009 -
Signing a subspace: Signatures for network coding In Proceedings
January 2009 -
January 2009
-
A Leakage-Resilient Mode of Operation In Proceedings
January 2009 -
January 2009
-
On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings
January 2009 -
January 2009
-
A New Randomness Extraction Paradigm for Hybrid Encryption In Proceedings
January 2009 -
On the Security of Padding-Based Encryption Schemes (Or: Why we cannot prove OAEP secure in the Standard Model) In Proceedings
January 2009 -
The Group of Signed Quadratic Residues and Applications In Proceedings
January 2009 -
Polynomial runtime in simulatability definitions Article
Computer Security Journal, 17(5), 703-735.January 2009 -
Practical Chosen Ciphertext Secure Encryption from Factoring In Proceedings
January 2009 -
Possibility and impossibility results for encryption and commitment secure under selective opening In Proceedings
January 2009 -
CoSP: A general framework for computational soundness proofs In Proceedings
January 2009 -
Percolation for the vacant set of random interlacements. Article
Communications on Pure and Applied Mathematics, 62(6), 831-858.January 2009 -
The structure of typical clusters in large sparse random configurations. Article
Journal of Statistical Physics, 135(1), 87-105.January 2009 -
January 2009
-
January 2009
-
January 2009
-
EASY Meta-Programming with RASCAL In Proceedings
January 2009 -
Formalizing Adaptation On-the-Fly In Proceedings
January 2009 -
Proceedings of the Second International Workshop on Computational Models for Cell Processes Proceedings
January 2009 -
Coalgebraic Weak Bisimulation for Action-Type Systems Article
Scientific Annals of Computer Science, 93-144.January 2009 -
Compositionality for Markov Reward Chains with Fast Transitions Article
Performance Evaluation, 435-452.January 2009 -
Performance Evaluation of Distributed Systems based on a Discrete Real- and Stochastic-Time Process Algebra Article
Fundamenta Informaticae, 157-186.January 2009 -
Distributed Computing Techniques Article
Theoretical Computer Science, 410(2-3), 113-280.January 2009 -
The Next Generation of Multimedia Authoring Tools: Telling Stories and Commenting on Media In Proceedings
January 2009 -
Estimate and Serve: Scheduling Soft Real-Time Packets for Delay Sensitive Media Applications on the Internet In Proceedings
January 2009 -
Enhancing Social Communication and Belonging by Integrating TV Narrativity and Game-Play In Proceedings
January 2009 -
An Emergent Role for TV In Social Communication In Proceedings
January 2009 -
January 2009
-
January 2009
-
From photos to memories: A user-centric authoring tool for telling stories with your photos In Proceedings
January 2009 -
SMIL State: an architecture and implementation for adaptive time-based web applications Article
International Journal on Multimedia Tools and Applications, 43(3), 203-224.January 2009 -
Leveraging the user impact: an architecture for secondary screens usage in an interactive television environment Article
ACM Multimedia Systems Journal, 15(3), 127-142.January 2009 -
Fragment, tag, enrich, and send: Enhancing the social sharing of videos Article
ACM Transactions on Multimedia Computing, Communications, and Applications, 5(3)January 2009 -
The evolution of TV systems, content, and users towards interactivity Article
Foundations and Trends in Human-Computer Interaction, 2(4), 279-373.January 2009 -
January 2009
-
January 2009
-
Reconfiguration Distributed Reo Connectors In Proceedings
January 2009 -
Dynamic Consistency in Process Algebra: From Paradigm to ACP In Proceedings
January 2009 -
Rewriting agent societies strategically In Proceedings
January 2009 -
On coordination, autonomy and time In Proceedings
January 2009 -
January 2009
-
January 2009
-
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata Article
Fundamenta Informaticae, 95(1), 103-128.January 2009 -
Static Validation of WS-CDL Documents Article
Simulation Modelling Practice and Theory, 17(8), 1367-1377.January 2009 -
On the Semantics and Verification of Normative Multi-Agent Systems Article
Journal of Universal Computer Science, 15(13), 2629-2652.January 2009 -
Coalgebraic Symbolic Semantics In Proceedings
January 2009 -
Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings
January 2009 -
Minimization Algorithm for Symbolic Bisimilarity In Proceedings
January 2009 -
Achievable performance of resource allocations in bandwidth sharing networks Article
Performance Evaluation, 59-77.January 2009 -
Admission control for differentiated services in future generation CDMA networks Article
Performance Evaluation, 488-504.January 2009 -
Heavy-traffic analysis of the M/PH/1 discriminatory processor sharing queue with phase-dependent weights Article
ACM SIGMETRICS Performance Evaluation Review, 37(2), 42-44.January 2009 -
January 2009
-
Adaptive resource allocation for efficient patient scheduling Article
Artificial Intelligence in Medicine, 46(1), 67-80.January 2009 -
A Qualitative Vickrey Auction In Proceedings
January 2009 -
The Merit of Agents in Freight Transport Book Chapter
January 2009 -
Introduction to Planning in Multiagent Systems Article
Multiagent and Grid Systems, 5(4), 345-355.January 2009 -
January 2009
-
January 2009
-
On Empirical Memory Design, Faster Selection of Bayesian Factorizations and Parameter-Free Gaussian EDAs In Proceedings
January 2009 -
January 2009
-
January 2009
-
January 2009
-
Faster scannerless GLR parsing In Proceedings
January 2009 -
January 2009
-
Decomposing port automata In Proceedings
January 2009 -
Schedulability of Asynchronous Real-Time Concurrent Objects Article
Journal of Logic and Algebraic Programming, 402-416.January 2009 -
January 2009
-
January 2009
-
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article
Acta Informatica, 47(1), 33-66.January 2009 -
January 2009
-
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article
Logical Methods in Computer Science, 5(2)January 2009 -
Multigrid Methods based on improved Coarse Grid Correction Techniques Dissertation
Scientific ComputingJanuary 2009 -
Credit Portfolio Losses Dissertation
Scientific ComputingJanuary 2009 -
The role of (stem) cell division in leaf growth In Proceedings
January 2009 -
January 2009
-
A framework for evaluating statistical dependencies and rank correlations in power law graphs In Proceedings
January 2009 -
A Basic Parallel Process as a Parallel Pushdown Automaton Article
Electronic Notes in Theoretical Computer Science, 242(1), 35-48.January 2009 -
Automata for Context-Dependent Connectors In Proceedings
January 2009 -
Flat directions and Minkowski's $3^d$-theorem Tech Report
January 2009 -
Algebras for Kripke polynomial coalgebras In Proceedings
January 2009 -
January 2009
-
A Kleene theorem for polynomial coalgebras In Proceedings
January 2009 -
The singular lines of alternating three-forms Tech Report
January 2009 -
January 2009
-
January 2009
-
Normalized Web Distance and Word Similarity Tech Report
January 2009 -
Simplified yet highly accurate enzyme kinetics for cases of low substrate concentrations Article
FEBS Journal, 276(19), 5491-5506.January 2009 -
January 2009
-
Data, Information, and Knowledge in Visualization Article
IEEE Computer Graphics and Applications, 29(1), 12-19.January 2009 -
Tangible Props for Scientific Visualization: Concept, Requirements, Application Article
Virtual Reality, 13(4), 235-244.January 2009 -
Insights into Diviing 3D goal-directed movements into meaningful phases Article
IEEE Computer Graphics and Applications, 26(6), 44-53.January 2009 -
January 2009
-
January 2009