Coloring geographical threshold graphs Article

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

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)

Proceedings CMCS 2010 Proceedings

A J–function for inhomogeneous point processes Tech Report

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

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

Buchi Automata for Modeling Component Connectors Article

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

Creating and Sharing Personalized Time-Based Annotations of Videos on the Web In Proceedings

R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago) and D.C.A. Bulterman (Dick)