Publication

Proceedings of the 3rd Interaction and Concurrency Experience. Proceedings

Time and Data Aware Analysis of Graphical Service Models in Reo In Proceedings

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

Buchi Automata for Modeling Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

Formal Methods for Components and Objects, 8th International Symposium, FMCO 2009 --- State-of-the-Art Survey Proceedings

Coloring geographical threshold graphs Article

M. Bradonjic, T. Müller (Tobias) and A.G. Percus

A J–function for inhomogeneous point processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

Overview of the wikipediaMM task at ImageCLEF 2009 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

Lightning above the clouds Article

A. Luque (Alejandro) and U. Ebert (Ute)