Publication

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. Mihail (Dimitris), M. Datcu (Mihai), G. Schwarz (Gottfried), O.C. Dumitru (Octavian), Molina, D. (Daniela), K. Molch (Katrin), U.D. Giammatteo (Ugo), M. Sagona (Manuela), S. Perelli (Sergio), E. Klien (Eva), T. Reitz (Thorsten) and R. Gregor (Robert)

Minimizing the Waiting Time for Emergency Surgery Article

J.T. van Essen (Theresia), J.L. Hurink (Johann), E.W. Hans and A. Oversberg

An improved algorithm and a Fortran 90 module for computing the conical function $P^m_{-1/2+i\tau}(x)$ Article

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

Questions about Voting Rules, With Some Answers In Proceedings

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO In Proceedings

H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor), S.E. Simon (Sunil) and not CWI et al

Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers Book

Contextualization using hyperlinks and internal hierarchical structure of Wikipedia documents In Proceedings

M.A. Norozi (Muhammad), P. Arvola and A.P. de Vries (Arjen)