Theses

• Shen W. (2006) Automated Proofs of Equivalence of Modal Logic Systems
• Moynihan K. (2006) Lascaux - An Intelligent Artistic Agent
• Trac S. (2005) Robust Topologically Invariant Set Operations on 2D Semi-algebraic Sets (Slides for talk)
• Zhang Y. (2005) The Use of Lemmas for Solving Hard Automated Theorem Proving Problems
• Gao Y. (2004) Automated Generation of Interesting Theorems

Papers

• Urban J., Trac S., Sutcliffe G., Puzis Y. (2007), Combining Mizar and TPTP Semantic Presentation Tools
• Rabe F., Pudlak P., Sutcliffe G., Shen W. (2007), Solving the $100 Modal Logic Challenge
• Sutcliffe G., Puzis Y. (2007), SRASS - a Semantic Relevance Axiom Selection System
• Trac S., Puzis Y., Sutcliffe G., (2006) An Interactive Derivation Viewer
• Puzis Y., Gao Y., Sutcliffe G. (2006) Automated Generation of Interesting Theorems
• Moynihan K. (2006) Developing Aesthetic Computer Generated Drawings through Artificial Evolution
• Schmidl H., Milenkovic V. (2004) A Fast Impulsive Contact Suite for Rigid Body Simulation
• Milenkovic V., Schmidl H. (2001) Optimization-Based Animation