Centrum Wiskunde & Informatica

Task Scheduling in Rebeca (Extended Abstract) In Proceedings

M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank) and M. Sirjani (Marjan)

January 2007
Coalgebraic automata theory: basic results Tech Report

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

January 2007
Adaptive Agents for Sequential English Auctions with a Fixed Deadline In Proceedings

H. Ma (Huiye) and H.-F. Leung

January 2007
An adaptive attitude bidding strategy for agents in continuous double auctions Article

Electronic Commerce Research and Applications, 6(4), 383-398.

H. Ma (Huiye) and H.-F. Leung

January 2007
Ownership, Uniqueness and Immutability In Proceedings

J. Östlund, T. Wrigstad, D.G. Clarke (David) and B. Akerblom

January 2007
Symmetry and partial order reduction techniques in model checking Rebeca Tech Report

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi and A. Movaghar (Ali)

January 2007
The Coordination Game: Find the Black Box Manual

D.G. Clarke (David)

January 2007
Coordination Models Orc and Reo Compared In Proceedings

J.M.P. Proença (Jose) and D.G. Clarke (David)

January 2007

Previous

Next