Publication

Using data assimilation to investigate the causes of Southern Hemisphere high latitude cooling from 10 to 8 ka BP Article

P. Mathiot, H. Goosse, X. Crosta, B. Stenni, M. Braida, A. Mairesse and S. Dubinkina (Svetlana)

A weakest precondition calculus for BUnity Article

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

The future of a missed deadline In Proceedings

B. Nobakht (Behrooz), F.S. de Boer (Frank) and M.M. Jaghoori (Mohammad Mahdi)

Engineering virtualized services In Proceedings

E. Albert (Elvira), F.S. de Boer (Frank), R. Hähnle (Reiner), E.B. Johnsen (Einar Broch) and C. Laneve (Cosimo)

Formal methods for components and objects : 11th international symposium, FMCO 2012 Proceedings

Scalable, continuous tracking of tag co-occurrences between short sets using (almost) disjoint tag partitions In Proceedings

F. Alvanaki (Foteini) and S. Michel

SexTant: Visualizing Time-Evolving Linked Geospatial Data In Proceedings

K. Bereta (Konstantina), C. Nikolaou (Charalampos), M. Karpathiotakis (Manos), K. Kyzirakos (Konstantinos) and M. Koubarakis (Manolis)

Formal methods for components and objects : 10th international symposium, FMCO 2011 Proceedings