CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Building Virtual Earth Observatories using Ontologies and Linked Geospatial Data In Proceedings
M. Koubarakis (Manolis), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos), C. Nikolaou (Charalampos), S. Vassos (Stavros), G. Garbis (George), M. Sioutis (Michael), K. Bereta (Konstantina), S. Manegold (Stefan), M.L. Kersten (Martin), et al. M.G. Ivanova (Milena), H. Pirk (Holger), Y. Zhang (Ying), C. Kontoes (Charalampos), I. Papoutsis (Ioannis), T. Herekakis (Themistocles), D. Michail (Dimitrios), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), D.E. Molina (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), E. Klien (Eva), T. Reitz (Thorsten) and R. Gregor (Robert)
September 2012
-
A Modal Logic for Abstract Delta Modeling In Proceedings
F.S. de Boer (Frank), M. Helvensteijn (Michiel) and J. Winter (Joost)
September 2012
-
RepoSE: An On-Line Repository for Simulation Experiment Descriptions Magazine Article
September 2012 -
Turing-machine van LEGO, PC-Active, 30 september 2012 Magazine Article
September 2012 -
Het best bewaarde geheim van de stad. Parool, 8 september 2012 Magazine Article
September 2012 -
The arithmetic codex In Proceedings
I. Cascudo (Ignacio), R.J.F. Cramer (Ronald) and C. Xing (Chaoping)
September 2012
-
September 2012
-
A Procedure for Splitting Processes and its Application to Coordination In Proceedings
S.-S.T.Q. Jongmans (Sung), D.G. Clarke (David) and J.M.P. Proença (Jose)
September 2012