Publications from 2013
-
Fouten in C en C++ oorzaak beveiligingsproblemen Article
Computable, 48(2)January 2005 -
January 2005
-
Distribution Rules for Array Database Queries In Proceedings
January 2005 -
Improving I/O Bandwidth for Data-Intensive Applications In Proceedings
January 2005 -
Surface features in video retrieval In Proceedings
January 2005 -
Structural features in content oriented XML retrieval In Proceedings
January 2005 -
January 2005
-
January 2005
-
From $\mu$ crl to mcrl2 In Proceedings
January 2005 -
Reflections on a geometry of processes In Proceedings
January 2005 -
January 2005
-
January 2005
-
TIJAH at INEX 2004: Modeling Phrases and Relevance Feedback In Proceedings
January 2005 -
A probabilistic approach to the medical retrieval task In Proceedings
January 2005 -
Ambulant 1.6 player for SMIL 2.0 Magazine Article
January 2005 -
SMIL 2.1 Extended Mobile Profile, Tech Report
January 2005 -
Distaster Preperation in the Netherlands In Proceedings
January 2005 -
Diagnosis of single and multi-agent plans In Proceedings
January 2005 -
Minimizing the total completion time on-line on a single machine, using restarts Article
Journal of Algorithms, 57(2), 95-129.January 2005 -
Self-interested planning agents using plan repair In Proceedings
January 2005 -
Coordination through plan repair In Proceedings
January 2005 -
January 2005
-
January 2005
-
An Open XML Language for Modelling Environment Capabilities in SMIL-Based Media Players In Proceedings
January 2005 -
Action-reaction in multi-agent games In Proceedings
January 2005 -
January 2005
-
Repeated auctions with complementarities: Extended abstract In Proceedings
January 2005 -
An agent strategy for automated stock market trading combining price and order book information In Proceedings
January 2005 -
Diagnosis of plan execution and the executing agent In Proceedings
January 2005 -
January 2005
-
Modeling bilateral negotiations over multiple, interdependent issues using utility graphs In Proceedings
January 2005 -
January 2005
-
January 2005
-
Decentralized reputation-based trust for assessing agent reliability under aggregate feedback In Proceedings
January 2005 -
Trusted intermediating agents in electronic trade networks In Proceedings
January 2005 -
Improved competitive guarantees for QoS buffering Article
Algorithmica, 43(1-2), 63-80.January 2005 -
On strip packing with rotations In Proceedings
January 2005 -
January 2005
-
A demonstration of the agent reputation and trust (art) testbed for experimentation and competition In Proceedings
January 2005 -
The agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies Book Chapter
January 2005 -
A specification of the agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies In Proceedings
January 2005 -
This side up! In Proceedings
January 2005 -
Optimal online algorithms for multidimensional packing problems Article
SIAM Journal on Computing, 35(2), 431-448.January 2005 -
Online square and cube packing Article
Acta Informatica, 41(9), 595-606.January 2005 -
Online bin packing with resource augmentation In Proceedings
January 2005 -
A system for analysis of multi-issue negotiation Book Chapter
January 2005 -
The naive MIDEA: a baseline multi-objective EA In Proceedings
January 2005 -
Exploiting gradient information in numerical multi-objective evolutionary optimization In Proceedings
January 2005 -
Evolutionary algorithms for medical simulations -- a case study in minimally-invasive vascular interventions In Proceedings
January 2005 -
Learning, anticipation and time-deception in evolutionary online dynamic optimization In Proceedings
January 2005 -
Learning, anticipation and time-deception in evolutionary online dynamic optimization In Proceedings
January 2005 -
Reducing spike train variability: A computational theory of spike-timing dependent plasticity In Proceedings
January 2005 -
Reducing spike-train variability: A computational theory of spike-timing dependent plasticity In Proceedings
January 2005 -
Applications of spiking neural networks Article
Information Processing Letters, 519-520.January 2005 -
Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Article
Information Sciences, 101-119.January 2005 -
January 2005
-
Strategies for the diffusion of innovations on social networks Article
Computational Economics, 25(1), 3-23.January 2005 -
The Role of Agent Interaction in Models of Computing: Panelist Reviews Article
Electronic Notes in Theoretical Computer Science, 141(5), 181-198.January 2005 -
January 2005
-
January 2005
-
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article
Journal of Universal Computer Science, 11(6), 1054-1082.January 2005 -
Controlling Object Allocation Using Creation Guards In Proceedings
January 2005 -
A proof outline logic for object-oriented programming Article
Theoretical Computer Science, 343(3), 413-442.January 2005 -
Formalizing UML Models and OCL Constraints in PVS Article
Electronic Notes in Theoretical Computer Science, 39-47.January 2005 -
A Compositional Trace Logic For Behavioral Interface Specifications Article
Nordic Journal of Computing, 12(2), 116-132.January 2005 -
Ultrafilter extensions for coalgebras Book Chapter
January 2005 -
Closure properties of coalgebra automata In Proceedings
January 2005 -
Algorithms for a No monotonic Logic of Preferences In Proceedings
January 2005 -
January 2005
-
January 2005
-
January 2005
-
January 2005
-
January 2005
-
Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings
January 2005 -
January 2005
-
Algebra, bitstreams, and circuits Book Chapter
January 2005 -
A coinductive calculus of streams Article
Mathematical Structures in Computer Science, 93-147.January 2005 -
A tutorial on coinductive stream calculus and signal flow graphs Article
Theoretical Computer Science, 343(3), 443-481.January 2005 -
Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach In Proceedings
January 2005 -
Inferring trust In Proceedings
January 2005 -
Preferences of Agents in Defeasible Logic In Proceedings
January 2005 -
Programming Cognitive Agents in Defeasible Logic In Proceedings
January 2005 -
Coordination and composition in multi-agent systems In Proceedings
January 2005 -
How to decide what to do? Article
Operations Research, 160(3), 762-784.January 2005 -
Beliefs, Obligations, Intentions and Desires as components in an agent architecture Article
International Journal of Intelligent Systems, 20(9), 893-919.January 2005 -
Dualities for Logics of Transition Systems In Proceedings
January 2005 -
Enterprise Architecture Analysis with XML In Proceedings
January 2005 -
Change Impact Analysis of Enterprise Architecture In Proceedings
January 2005 -
January 2005
-
January 2005
-
Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings
January 2005 -
January 2005
-
January 2005
-
Enforceable Social Laws In Proceedings
January 2005 -
January 2005
-
Role-based Rights in Artificial Social Systems In Proceedings
January 2005 -
Admissible Agreements among Goal-directed Agents In Proceedings
January 2005 -
A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages In Proceedings
January 2005 -
Argument games for interactive access control In Proceedings
January 2005 -
Argumentation for access control In Proceedings
January 2005