CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Analyzing a -model of a turntable system using Spin, CADP and UPPAAL Article
Journal of Logic and Algebraic Programming, 65(2), 51-104.A.J. Wijs (Anton), S.P. Luttik (Bas), W.J. Fokkink (Wan) and not CWI et al
January 2005 -
Cruising the Semantic Web with Noadster Magazine Article
January 2005
-
Distributed state space minimization Article
International Journal on Software Tools for Technology Transfer, 7(3), 280-291.January 2005 -
Diagnosis of plan execution and the executing agent In Proceedings
January 2005 -
A distributed algorithm for strong bisimulation reduction of state spaces Article
International Journal on Software Tools for Technology Transfer, 7(1), 74-86.January 2005 -
An agent strategy for automated stock market trading combining price and order book information In Proceedings
January 2005
-
Repeated auctions with complementarities: Extended abstract In Proceedings
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