Publication

Proceedings of the First International Workshop on Security and Trust Management Proceedings

Compositional Semantics of an Actor-Based Language Using constraint automata In Proceedings

M. Sirjani (Marjan), M.M. Jaghoori (Mohammad Mahdi), C. Baier and F. Arbab (Farhad)

Using XML Transformations for Enterprise Architectures In Proceedings

A. Stam, J.F. Jacob (Joost), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and L.W.N. van der Torre (Leon)

Formal Methods for Components and Objects Book

F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

Formal Methods for Components and Objects Book

F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

Proceedings of the first international workshop on Algebra and Coalgebra in Computer Science Book

J. Fiadeiro, N. Harman, M. Roggenbach and J.J.M.M. Rutten (Jan)

Robust Evolutionary Algorithm Design for Socio-Economic Simulation Article

F. Alkemade (Floortje), J.A. La Poutré (Han) and H.M. Amman (Hans)

A toolbox for the lifting scheme on 2D quincunx grids, supplied with various examples Software

P.M. de Zeeuw (Paul)