Publication

Language constructs for non-well-founded computations In Proceedings

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

Well-founded coalgebras, revisited Tech Report

J. Jeannin, D. Kozen and A.M. Silva (Alexandra)

A coalgebraic view of epsilon-transitions In Proceedings

A.M. Silva (Alexandra) and B. Westerbaan (Bas)

Brzozowski's and up-to algorithms for must testing In Proceedings

F. Bonchi (Filippo), G. Caltais (Georgiana), D. Pous (Damien) and A.M. Silva (Alexandra)

PMG: Multicore metabolite identification Article

M.M. Jaghoori (Mohammad Mahdi), S.-S.T.Q. Jongmans (Sung), F.S. de Boer (Frank), J.E. Peironcely, J-L. Faulon and T. Hankemeier (Thomas)

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

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

Fundamentals of Software Engineering Book

From timed Reo networks to networks of timed automata Article

N. Kokash (Natallia), M.M. Jaghoori (Mohammad Mahdi) and F. Arbab (Farhad)