Centrum Wiskunde & Informatica

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
Programming Cognitive Agents in Defeasible Logic In Proceedings

M. Dastani, G. Governatori, A. Rotolo 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
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

Previous

Next