Centrum Wiskunde & Informatica

A comparison between the ALGOL 60 implementations on the Electrologica X1 and the Electrologica X8 Tech Report

F.E.J. Kruseman Aretz

September 2008
Autonomous Scheduling with Unbounded and Bounded Agents In Proceedings

C. Yadati, C. Witteveen (Cees), Y.Q. Zhang (Yingqian (Jennie)), M. Wu (Mengxiao) and J.A. La Poutré (Han)

September 2008
Coinductive Formal Reasoning in Exact Real Arithmetic Article

Logical Methods in Computer Science, 4(3)

M. Niqui (Milad)

September 2008
Refinement of Kripke Models for Dynamics In Proceedings

F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela) and Y. Wang (Yanjing)

September 2008
Is timed branching bisimilarity a congruence indeed? Article

Fundamenta Informaticae, 87(3/4), 287-311.

W.J. Fokkink (Wan), J. Pang (Jun) and A.J. Wijs (Anton)

September 2008
Inapproximability Results for Combinatorial Auctions with Submodular Utility Functions Article

Algorithmica, 52(1), 3-18.

S. Khot, R.J. Lipton, V. Markakis (Vangelis) and A. Mehta

September 2008
Overview of the wikipediaMM task at ImageCLEF 2008 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

September 2008
CWI at ImageCLEF 2008 In Proceedings

T. Tsikrika (Theodora), H. Rode (Henning) and A.P. de Vries (Arjen)

September 2008

Previous

Next