CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Searching in the cultural heritage domain: capturing cultural heritage expert information seeking needs Tech Report
A.K. Amin (Alia), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)
January 2007
-
January 2007
-
Computational Depth of Infinite Strings Revisited In Proceedings
L.F. Antunes (Luis), A. Costa, A. Matos and P.M.B. Vitányi (Paul)
January 2007 -
New reduction techniques for the group Steiner tree problem Article
SIAM Journal on Optimization, 17(4), 1176-1188.January 2007 -
Bisimulation for Neighbourhood Structures Tech Report
January 2007 -
SAT-based Abstraction Refinement for Real-time Systems Article
Electronic Notes in Theoretical Computer Science, 107-122.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
-
Task Scheduling in Rebeca (Extended Abstract) In Proceedings
M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank) and M. Sirjani (Marjan)
January 2007