- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 4 |      | Greg O'Keefe: Dynamic Logic Semantics for UML Consistency. ECMDA-FA 2006: 113-127 |
| 3 | | Greg O'Keefe: Improving the Definition of UML. MoDELS 2006: 42-56 |
| 2004 | ||
| 2 | | 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) |