Below you may find selected research articles from faculty in the Fowler School of Engineering.
Submissions from 2002
Modal Predicates and Coequations, Alexander Kurz and Jiří Rosický
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