Publication

Semantics of plan revision in intelligent agents Article

M.B. van Riemsdijk, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

Algebraic specification and coalgebraic synthesis of Mealy automata In Proceedings

J.J.M.M. Rutten (Jan)

Strong types for relational databases In Proceedings

A.M. Silva (Alexandra) and J.M.W. Visser (Joost)

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)

Images of PNA: Advanced Communication Networks Miscellaneous

Formal Methods for Components and Objects Book

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

Some formulations for the group Steiner tree problem Article

C.E. Ferreira and F.M. de Oliveira Filho (Fernando Mario)