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

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves Article

F. Bonchi (Filippo) and U. Montanari

Noise management by molecular networks Article

F.J. Bruggeman (Frank), N. Bluethgen and H.V. Westerhoff (Hans)

A Multi-disciplinary Approach to Interactive Information Retrieval upon Semi-structured Data Sets In Proceedings

C. Boscarino (Corrado)

Formal aspects of component software Tech Report

M. Sun (Meng) and B. Schatz

Prior Information and the Determination of Event Spaces in Probabilistic Information Retrieval Models Book Chapter

C. Boscarino (Corrado) and A.P. de Vries (Arjen)

Emergence of consensus and shared vocabularies in collaborative tagging systems Article

V. Robu (Valentin), H. Halpin and H. Shepherd

Decision Problems for Nash Equilibria in Stochastic Games In Proceedings

M. Ummels and D.K. Wojtczak (Dominik)