Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

A probabilistic approach to the medical retrieval task In Proceedings

K. Lubbers, A.P. de Vries (Arjen), T. Huibers and P. van der Vet

January 2005
Ambulant 1.6 player for SMIL 2.0 Magazine Article

D.C.A. Bulterman (Dick) and A.J. Jansen (Jack)

January 2005
SMIL 2.1 Extended Mobile Profile, Tech Report

D.C.A. Bulterman (Dick) and D. Zucker

January 2005
Distaster Preperation in the Netherlands In Proceedings

A.J. Jansen (Jack)

January 2005
Diagnosis of single and multi-agent plans In Proceedings

C. Witteveen (Cees), N. Roos, R.P.J. van der Krogt and M.M. de Weerdt (Mathijs)

January 2005
Minimizing the total completion time on-line on a single machine, using restarts Article

Journal of Algorithms, 57(2), 95-129.

J.A. La Poutré (Han) and R. van Stee (Rob)

January 2005
Self-interested planning agents using plan repair In Proceedings

R.P.J. van der Krogt and M.M. de Weerdt (Mathijs)

January 2005
Coordination through plan repair In Proceedings

R.P.J. van der Krogt and M.M. de Weerdt (Mathijs)

January 2005
Complexity of task coordination for non cooperative planning agents. In Proceedings

A. ter Mors, J. Valk and C. Witteveen (Cees)

January 2005
Engineering Information in Documents: Leaving Room for Uncertainty In Proceedings

D.C.A. Bulterman (Dick)

January 2005
An Open XML Language for Modelling Environment Capabilities in SMIL-Based Media Players In Proceedings

D.C.A. Bulterman (Dick)

January 2005
Action-reaction in multi-agent games In Proceedings

P.J. 't Hoen (Pieter Jan), S.M. Bohte (Sander) and J.A. La Poutré (Han)

January 2005
Decommitment in a competitive multi-agent transportation setting Book Chapter

P.J. 't Hoen (Pieter Jan), G. Redekar, V. Robu (Valentin) and J.A. La Poutré (Han)

January 2005
Repeated auctions with complementarities: Extended abstract In Proceedings

P.J. 't Hoen (Pieter Jan) and J.A. La Poutré (Han)

January 2005
An agent strategy for automated stock market trading combining price and order book information In Proceedings

G. Silaghi and V. Robu (Valentin)

January 2005
Diagnosis of plan execution and the executing agent In Proceedings

N. Roos and C. Witteveen (Cees)

January 2005
Modeling complex multi-issue negotiations using utility graphs In Proceedings

V. Robu (Valentin), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2005
Modeling bilateral negotiations over multiple, interdependent issues using utility graphs In Proceedings

V. Robu (Valentin), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2005
Market-based task allocation and control for distributed logistics In Proceedings

V. Robu (Valentin)

January 2005
Utile coordination: Learning interdependencies among cooperative agents In Proceedings

J.R. Kok (Jelle), P.J. 't Hoen (Pieter Jan), B.M. Bakker and N. Vlassis

January 2005
Decentralized reputation-based trust for assessing agent reliability under aggregate feedback In Proceedings

T.B. Klos (Tomas) and J.A. La Poutré (Han)

January 2005
Trusted intermediating agents in electronic trade networks In Proceedings

T.B. Klos (Tomas) and F. Alkemade (Floortje)

January 2005
Improved competitive guarantees for QoS buffering Article

Algorithmica, 43(1-2), 63-80.

A. Kesselman, Y. Mansour and R. van Stee (Rob)

January 2005
On strip packing with rotations In Proceedings

K. Jansen and R. van Stee (Rob)

January 2005
Multi-attribute bilateral bargaining in a one-to-many setting In Proceedings

E.H. Gerding (Enrico), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

January 2005
A demonstration of the agent reputation and trust (art) testbed for experimentation and competition In Proceedings

K.K. Fullam, T.B. Klos (Tomas) and not CWI et al

January 2005
The agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies Book Chapter

K.K. Fullam, T.B. Klos (Tomas) and not CWI et al

January 2005
A specification of the agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies In Proceedings

K.K. Fullam, T.B. Klos (Tomas) and not CWI et al

January 2005
This side up! In Proceedings

L. Epstein (Lea) and R. van Stee (Rob)

January 2005
Optimal online algorithms for multidimensional packing problems Article

SIAM Journal on Computing, 35(2), 431-448.

L. Epstein (Lea) and R. van Stee (Rob)

January 2005
Online square and cube packing Article

Acta Informatica, 41(9), 595-606.

L. Epstein (Lea) and R. van Stee (Rob)

January 2005
Online bin packing with resource augmentation In Proceedings

L. Epstein (Lea) and R. van Stee (Rob)

January 2005
A system for analysis of multi-issue negotiation Book Chapter

T. Bosse, C.M. Jonker (Catholijn), L. van der Meij, V. Robu (Valentin) and J. Treur

January 2005
The naive MIDEA: a baseline multi-objective EA In Proceedings

P.A.N. Bosman (Peter) and D. Thierens (Dirk)

January 2005
Exploiting gradient information in numerical multi-objective evolutionary optimization In Proceedings

P.A.N. Bosman (Peter) and E. de Jong (Edwin)

January 2005
Evolutionary algorithms for medical simulations -- a case study in minimally-invasive vascular interventions In Proceedings

P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

January 2005
Learning, anticipation and time-deception in evolutionary online dynamic optimization In Proceedings

P.A.N. Bosman (Peter)

January 2005
Learning, anticipation and time-deception in evolutionary online dynamic optimization In Proceedings

P.A.N. Bosman (Peter)

January 2005
Reducing spike train variability: A computational theory of spike-timing dependent plasticity In Proceedings

S.M. Bohte (Sander) and M.C. Mozer

January 2005
Reducing spike-train variability: A computational theory of spike-timing dependent plasticity In Proceedings

S.M. Bohte (Sander) and M.C. Mozer

January 2005
Applications of spiking neural networks Article

Information Processing Letters, 519-520.

S.M. Bohte (Sander) and J.N. Kok (Joost)

January 2005
Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Article

Information Sciences, 101-119.

F. Alkemade (Floortje), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2005
On social learning and robust evolutionary algorithm design in economic games In Proceedings

F. Alkemade (Floortje), J.A. La Poutré (Han) and H.M. Amman (Hans)

January 2005
Strategies for the diffusion of innovations on social networks Article

Computational Economics, 25(1), 3-23.

F. Alkemade (Floortje) and C. Castaldi

January 2005
The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

Electronic Notes in Theoretical Computer Science, 141(5), 181-198.

P. Wegner, F. Arbab (Farhad), D. Goldin, P. McBurney, M. Luck and D.S. Robertson (Dave)

January 2005
Observability, connectivity, and replay in a sequential calculus of classes In Proceedings

M. Steffen, S. Gruner, E. Abraham (Erika), M.M. Bonsangue (Marcello) and F.S. de Boer (Frank)

January 2005
Extended Rebeca: a component-based actor language with synchronous message passing In Proceedings

M. Sirjani (Marjan), A. Movaghar (Ali), A. Shali and F.S. de Boer (Frank)

January 2005
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article

Journal of Universal Computer Science, 11(6), 1054-1082.

M. Sirjani (Marjan), A. Movaghar (Ali), A. Shali and F.S. de Boer (Frank)

January 2005
Controlling Object Allocation Using Creation Guards In Proceedings

C. Pierik, D.G. Clarke (David) and F.S. de Boer (Frank)

January 2005
A proof outline logic for object-oriented programming Article

Theoretical Computer Science, 343(3), 413-442.

C. Pierik and F.S. de Boer (Frank)

January 2005
Formalizing UML Models and OCL Constraints in PVS Article

Electronic Notes in Theoretical Computer Science, 39-47.

M. Kyas (Marcel), H. Fecher, F.S. de Boer (Frank), J.F. Jacob (Joost), J. Hooman, M.B. van der Zwaag, T. Arons and H. Kugler

January 2005
A Compositional Trace Logic For Behavioral Interface Specifications Article

Nordic Journal of Computing, 12(2), 116-132.

M. Kyas (Marcel), F.S. de Boer (Frank) and W.P. de Roever

January 2005
Ultrafilter extensions for coalgebras Book Chapter

C.A. Kupke (Clemens), A. Kurz (Alexander) and D. Pattinson

January 2005
Closure properties of coalgebra automata In Proceedings

C.A. Kupke (Clemens) and Y. Venema

January 2005
Algorithms for a No monotonic Logic of Preferences In Proceedings

S. Kaci and L.W.N. van der Torre (Leon)

January 2005
Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Tech Report

K. Schwarz

January 2005
On global error estimation and control for initial value problems Tech Report

J. Lang (Jens) and J.G. Verwer (Jan)

January 2005
Reduced mixing generates oscillations and chaos in the deep chlorophyll maximum Tech Report

J. Huisman, N.N. Pham Thi (Nga), D. Karl and B.P. Sommeijer (Ben)

January 2005
Integral representations for computing real parabolic cylinder functions Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2005
MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels In Proceedings

J.V. Guillen Scholten (Juan), F. Arbab (Farhad), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2005
Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings

January 2005
Composition of Negotiation Protocols for E-Commerce Applications In Proceedings

N.K. Diakov (Nikolay), Z.V. Zlatev and S. Pokraev

January 2005
Algebra, bitstreams, and circuits Book Chapter

J.J.M.M. Rutten (Jan)

January 2005
A coinductive calculus of streams Article

Mathematical Structures in Computer Science, 93-147.

J.J.M.M. Rutten (Jan)

January 2005
A tutorial on coinductive stream calculus and signal flow graphs Article

Theoretical Computer Science, 343(3), 443-481.

J.J.M.M. Rutten (Jan)

January 2005
Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach In Proceedings

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

January 2005
Inferring trust In Proceedings

M. Dastani, A. Herzig, J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Preferences of Agents in Defeasible Logic In Proceedings

M. Dastani, G. Governatori, A. Rotolo and L.W.N. van der Torre (Leon)

January 2005
Programming Cognitive Agents in Defeasible Logic In Proceedings

M. Dastani, G. Governatori, A. Rotolo and L.W.N. van der Torre (Leon)

January 2005
Coordination and composition in multi-agent systems In Proceedings

M. Dastani, F. Arbab (Farhad) and F.S. de Boer (Frank)

January 2005
How to decide what to do? Article

Operations Research, 160(3), 762-784.

M. Dastani, J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Beliefs, Obligations, Intentions and Desires as components in an agent architecture Article

International Journal of Intelligent Systems, 20(9), 893-919.

J. Broersen, M. Dastani and L.W.N. van der Torre (Leon)

January 2005
Dualities for Logics of Transition Systems In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

January 2005
Enterprise Architecture Analysis with XML In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello), J.F. Jacob (Joost), A. Stam and L.W.N. van der Torre (Leon)

January 2005
Change Impact Analysis of Enterprise Architecture In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.P.J. Groenewegen (Luuk), A. Stam, S. Stevens and L.W.N. van der Torre (Leon)

January 2005
Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

January 2005
Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

January 2005
Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

January 2005
Permission and Authorization in Policies for Virtual Communities of Agents In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Organizations as Socially Constructed Agents in the Agent Oriented Paradigm In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Enforceable Social Laws In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
From the Theory of Mind to the Construction of Social Reality In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Role-based Rights in Artificial Social Systems In Proceedings

G. Boella (Guido) and L.W.N. van der Torre (Leon)

January 2005
Admissible Agreements among Goal-directed Agents In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Argument games for interactive access control In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Argumentation for access control In Proceedings

G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)

January 2005
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Coordination Models and Languages In Proceedings

F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

January 2005
Abstract Behavior Types: a foundation model for components and their composition Article

Science of Computer Programming, 55(1-3), 3-52.

F. Arbab (Farhad)

January 2005
Foundations - chapter III Book Chapter

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.W.N. van der Torre (Leon) and not CWI et al

January 2005
An assertion-based proof system for multithreaded Java Article

Theoretical Computer Science, 331(2-3), 251-290.

E. Abraham (Erika), F.S. de Boer (Frank), W.P. de Roever and M. Steffen

January 2005
Solving scheduling problems by untimed model checking In Proceedings

A.J. Wijs (Anton), J.C. van de Pol (Jaco) and E. Bortnik

January 2005
Formal methods impact on ANSI standard HL7/IM: filling gaps in MSC theory In Proceedings

W. Wesselink, N. Goga (Nicolae), A.J. Mooij (Arjan) and R. Spronk

January 2005
Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings

January 2005
Generalized innermost rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

January 2005
A BDD-representation for the logic of equality and uninterpreted functions In Proceedings

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
An abstract interpretation toolkit for µ CRL In Proceedings

J.C. van de Pol (Jaco) and M.V. Espada

January 2005
A state space distribution policy based on abstract interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.V. Espada

January 2005
XML security in the next generation optical disc context In Proceedings

G.G. Nair, A. Gopalakrishnan, S. Mauw (Sjouke) and E. Moll

January 2005
A syntactic commutativity format for SOS Article

Information Processing Letters, 93(5), 217-223.

M.R. Mousavi, M.A. Reniers (Michel) and J.F. Groote (Jan Friso)

January 2005

Available Years

Publications from 2019

A probabilistic approach to the medical retrieval task In Proceedings

Ambulant 1.6 player for SMIL 2.0 Magazine Article

SMIL 2.1 Extended Mobile Profile, Tech Report

Distaster Preperation in the Netherlands In Proceedings

Diagnosis of single and multi-agent plans In Proceedings

Minimizing the total completion time on-line on a single machine, using restarts Article

Self-interested planning agents using plan repair In Proceedings

Coordination through plan repair In Proceedings

Complexity of task coordination for non cooperative planning agents. In Proceedings

Engineering Information in Documents: Leaving Room for Uncertainty In Proceedings

An Open XML Language for Modelling Environment Capabilities in SMIL-Based Media Players In Proceedings

Action-reaction in multi-agent games In Proceedings

Decommitment in a competitive multi-agent transportation setting Book Chapter

Repeated auctions with complementarities: Extended abstract In Proceedings

An agent strategy for automated stock market trading combining price and order book information In Proceedings

Diagnosis of plan execution and the executing agent In Proceedings

Modeling complex multi-issue negotiations using utility graphs In Proceedings

Modeling bilateral negotiations over multiple, interdependent issues using utility graphs In Proceedings

Market-based task allocation and control for distributed logistics In Proceedings

Utile coordination: Learning interdependencies among cooperative agents In Proceedings

Decentralized reputation-based trust for assessing agent reliability under aggregate feedback In Proceedings

Trusted intermediating agents in electronic trade networks In Proceedings

Improved competitive guarantees for QoS buffering Article

On strip packing with rotations In Proceedings

Multi-attribute bilateral bargaining in a one-to-many setting In Proceedings

A demonstration of the agent reputation and trust (art) testbed for experimentation and competition In Proceedings

The agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies Book Chapter

A specification of the agent reputation and trust (art) testbed: Experimentation and competition for trust in agent societies In Proceedings

This side up! In Proceedings

Optimal online algorithms for multidimensional packing problems Article

Online square and cube packing Article

Online bin packing with resource augmentation In Proceedings

A system for analysis of multi-issue negotiation Book Chapter

The naive MIDEA: a baseline multi-objective EA In Proceedings

Exploiting gradient information in numerical multi-objective evolutionary optimization In Proceedings

Evolutionary algorithms for medical simulations -- a case study in minimally-invasive vascular interventions In Proceedings

Learning, anticipation and time-deception in evolutionary online dynamic optimization In Proceedings

Learning, anticipation and time-deception in evolutionary online dynamic optimization In Proceedings

Reducing spike train variability: A computational theory of spike-timing dependent plasticity In Proceedings

Reducing spike-train variability: A computational theory of spike-timing dependent plasticity In Proceedings

Applications of spiking neural networks Article

Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Article

On social learning and robust evolutionary algorithm design in economic games In Proceedings

Strategies for the diffusion of innovations on social networks Article

The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

Observability, connectivity, and replay in a sequential calculus of classes In Proceedings

Extended Rebeca: a component-based actor language with synchronous message passing In Proceedings

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article

Controlling Object Allocation Using Creation Guards In Proceedings

A proof outline logic for object-oriented programming Article

Formalizing UML Models and OCL Constraints in PVS Article

A Compositional Trace Logic For Behavioral Interface Specifications Article

Ultrafilter extensions for coalgebras Book Chapter

Closure properties of coalgebra automata In Proceedings

Algorithms for a No monotonic Logic of Preferences In Proceedings

Domain model enhanced search - A comparison of taxonomy, thesaurus and ontology Tech Report

On global error estimation and control for initial value problems Tech Report

Reduced mixing generates oscillations and chaos in the deep chlorophyll maximum Tech Report

Integral representations for computing real parabolic cylinder functions Tech Report

MoCha-pi, an Exogenous Coordination Calculus based on Mobile Channels In Proceedings

Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings

Composition of Negotiation Protocols for E-Commerce Applications In Proceedings

Algebra, bitstreams, and circuits Book Chapter

A coinductive calculus of streams Article

A tutorial on coinductive stream calculus and signal flow graphs Article

Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach In Proceedings

Inferring trust In Proceedings

Preferences of Agents in Defeasible Logic In Proceedings

Programming Cognitive Agents in Defeasible Logic In Proceedings

Coordination and composition in multi-agent systems In Proceedings

How to decide what to do? Article

Beliefs, Obligations, Intentions and Desires as components in an agent architecture Article

Dualities for Logics of Transition Systems In Proceedings

Enterprise Architecture Analysis with XML In Proceedings

Change Impact Analysis of Enterprise Architecture In Proceedings

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

Permission and Authorization in Policies for Virtual Communities of Agents In Proceedings