Publication

Modeling and simulation of operational risks in the finance industry In Proceedings

C. Brandt (Christoph), F. Santini (Francesco), N. Kokash (Natallia) and F. Arbab (Farhad)

Formal design and verification of long-running transactions with eclipse coordination tools Article

N. Kokash (Natallia) and F. Arbab (Farhad)

The Gram dimension of a graph In Proceedings

M. Laurent (Monique) and A. Varvitsiotis (Antonios)

Simulation of organ patterning on the floral meristem using a polar auxin transport model Article

S. van Mourik (Simon), K. Kauffman, A.D.J. van Dijk (Aalt), G.C. Angenent, R.M.H. Merks (Roeland) and J. Molenaar (Gijs)

Exponential lower bounds for polytopes in combinatorial optimization, DIAMANT/EIDMA Symposium , Nunspeet Lecture

R.M. de Wolf (Ronald)

A compositional model to reason about end-to-end QoS in stochastic Reo connectors Article

Y.-J. Moon (Young-Joo), A.M. Silva (Alexandra), C. Krause (born Köhler) (Christian) and F. Arbab (Farhad)

Post-proceedings of the 8th International Symposium on Formal Aspects of Component Software Book

Contextualization using hyperlinks and internal hierarchical structure of Wikipedia documents In Proceedings

M.A. Norozi (Muhammad), P. Arvola and A.P. de Vries (Arjen)