| |
| 2006 | ||
|---|---|---|
| 4 | EE | Greg O'Keefe: Dynamic Logic Semantics for UML Consistency. ECMDA-FA 2006: 113-127 |
| 3 | EE | Greg O'Keefe: Improving the Definition of UML. MoDELS 2006: 42-56 |
| 2004 | ||
| 2 | EE | Greg O'Keefe: Towards a Readable Formalisation of Category Theory. Electr. Notes Theor. Comput. Sci. 91: 212-228 (2004) |
| 2002 | ||
| 1 | Greg O'Keefe: Gregory J. Chaitin, The Unknowable, Springer-Verlag, Singapore 1999. Studia Logica 70(2): 299-302 (2002) | |