Publication

Two-Dimensional Supersymmetric Sigma Models on Almost-Product Manifolds and Non-Geometry Article

V. Stojevic (Vid)

Rascal 0.2alpha Software

J.J. Vinju (Jurgen), P. Klint (Paul), T. van der Storm (Tijs), M.A. Hills (Mark) and A.W. Lankamp (Arnold)

Overview of the wikipediaMM task at ImageCLEF 2009 In Proceedings

T. Tsikrika (Theodora) and J. Kludas

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

Uitnodiging opening van de sport en activiteitenzaal, 14.09.2010 Other

Epistemic Modelling and Protocol Dynamics Dissertation

Y. Wang (Yanjing)

Fourier analysis, linear programming, and densities of distance avoiding sets in {$R^n$} Article

F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)