Greg O'Keefe: Publications and other Writings


Improving the Definition of UML
pdf bibtex SpringerLink
presentation slides pdf
Proceedings of Model Driven Engineering Languages and Systems (MoDELS) 2006, Springer LNCS 4199, Pages 42-56.

Dynamic Logic for UML Consistency
pdf bibtex SpringerLink
presentation slides pdf
Proceedings of the European Conference on Model Driven Engineering (ECMDA-FA) 2006, Springer LNCS 4066, Pages 113-127.


Lecture slides and other materials for the Introduction to Formal Logic course I taught several times at Macquarie University.

Formalised Maths

Towards a Readable Formalisation of Category Theory
pdf ps.gz bibtex
Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, pp 212-228, Vol. 91 Electronic Notes in Theoretical Computer Science, Elsevier.

For Isabelle/HOL sources and formal text of the above, see Category Theory to Yoneda's Lemma in the Archive of Formal Proofs.

Topologies and Closures are Equivalent pdf
An Isabelle/HOL/Isar development that closely follows part of a basic topology text
Also, the upward closed sets of a preorder are a topology pdf


My Honours thesis on Inconsistent Maths .ps .pdf

Some Category Theory Homework

Equivalence of Categories is an Equivalence Relation
Horizontal Composition of Natural Transformations


From Power Up to Bash Prompt is a Linux HOWTO I wrote, and it's high time I updated it.

This stuff is brought to you by Greg O'Keefe
Last updated 15 January 2008