| 2018 | IJCAI | Automating "Human-Like" Example-Use in Mathematics. | Alison Pease, Ursula Martin |
| 2017 | ICFP | Modelling the way mathematics is actually done. | Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin |
| 2015 | CADE | Stumbling Around in the Dark: Lessons from Everyday Mathematics. | Ursula Martin |
| 2006 | CSL | Hoare Logic in the Abstract. | Ursula Martin, Erik Arne Mathiesen, Paulo Oliva |
| 2004 | IFM | Design Verification for Control Engineering. | Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey, Ursula Martin |
| 2000 | CADE | Workshop: The Role of Automated Deduction in Mathematics. | Simon Colton, Volker Sorge, Ursula Martin |
| 1999 | CADE | VSDITLU: a verifiable symbolic definite integral table look-up. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
| 1999 | FM | Formal Methods for Extensions to CAS. | Martin Dunstan, Tom W. Kelsey, Ursula Martin, Steve Linton |
| 1999 | ISSAC | Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. | Andrew A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin |
| 1998 | ISSAC | Lightweight Formal Methods for Computer Algebra Systems. | Martin Dunstan, Tom W. Kelsey, Steve Linton, Ursula Martin |
| 1996 | CADE | Algebra and Automated Deduction. | Steve Linton, Ursula Martin, Pter Prhle, Duncan Shand |
| 1996 | CADE | Theorem Proving with Group Presentations: Examples and Questions. | Ursula Martin |
| 1994 | CADE | Termination, Geometry and Invariants. | Ursula Martin |
| 1994 | FM | Verification Techniques for LOTOS. | Ursula Martin, Muffy Thomas |
| 1993 | LICS | The order types of termination orderings on monadic terms, strings and multisets | Ursula Martin, Elizabeth Scott |
| 1990 | CADE | Ordered Rewriting and Confluence. | Ursula Martin, Tobias Nipkow |
| 1986 | CADE | Unification in Boolean Rings. | Ursula Martin, Tobias Nipkow |