Below you may find selected research articles from faculty in the Fowler School of Engineering.
Submissions from 2001
Modal Rules are Co-Implications, Alexander Kurz
Specifying Coalgebras with Modal Logic, Alexander Kurz
Submissions from 2000
Notes on Coalgebras, Cofibrations and Concurrency, Alexander Kurz and Dirk Pattinson
Submissions from 1999
(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications, Rolf Hennicker and Alexander Kurz
Submissions from 1998
Specifying Coalgebras with Modal Logic, Alexander Kurz