Balanced sets and circuits in a transversal space. - Jeremy E. Dawson (J. Comb. Theory B, 1977)

The directed packing numbers DD (t, v, v), t>=;4. - Jeremy E. Dawson; Jennifer Seberry; David B. Skillicorn (Comb., 1984)

Decomposition of binary matroids. - Jeremy E. Dawson (Comb., 1985)

Independence Spaces and Uniform Modules. - Jeremy E. Dawson (Eur. J. Comb., 1985)

Independence Structures on the Submodules of a Module. - Jeremy E. Dawson (Eur. J. Comb., 1985)

A note on the construction of GH(4tq, EA(q)) for t=1, 2. - Warwick de Launey; Jeremy E. Dawson (Australas. J Comb., 1992)

An Asymptotic Result on the Existence of Generalised Hadamard Matrices. - Warwick de Launey; Jeremy E. Dawson (J. Comb. Theory A, 1994)

A Mechanisation of Classical Modal Tense Logics Using Isabelle. - Jeremy E. Dawson; Rajeev Goré (Australian Joint Conference on Artificial Intelligence, 1998)

A Mechanised Proof System for Relation Algebra using Display Logic. - Jeremy E. Dawson; Rajeev Goré (JELIA, 1998)

Optimizing User-Level Communication Patterns on the Fujitsu AP3000. - Jeremy E. Dawson; Peter E. Strazdins (IWCC, 1999)

A Characterization of Min or Max: 10677. - Harm Derksen; Jeremy E. Dawson (Am. Math. Mon., 2000)

A Sum of Chebyshev Inequalities: 10687. - James C. Owings Jr.; Jeremy E. Dawson; Robin J. Chapman; Darryl K. Nester; Robert A. Agnew; John Beebee; David Callan; R. Garcia-Pelayo; V. Hernandez; J. Martin; J. Hickman; D. Jones; et al. (Am. Math. Mon., 2000)

Neighborly Pythagorean Triples: 10704. - William G. Spohn Jr.; Jeremy E. Dawson (Am. Math. Mon., 2000)

Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle. - Jeremy E. Dawson; Rajeev Goré (CATS, 2001)

Machine-Checking the Timed Interval Calculus. - Jeremy E. Dawson; Rajeev Goré (Australian Joint Conference on Artificial Intelligence, 2002)

Formalised Cut Admissibility for Display Logic. - Jeremy E. Dawson; Rajeev Goré (TPHOLs, 2002)

A New Machine-checked Proof of Strong Normalisation for Display Logic. - Jeremy E. Dawson; Rajeev Goré (CATS, 2003)

A General Theorem on Termination of Rewriting. - Jeremy E. Dawson; Rajeev Goré (CSL, 2004)

Formalising General Correctness. - Jeremy E. Dawson (CATS, 2004)

Compound monads in specification languages. - Jeremy E. Dawson (PLPV, 2007)

Formalising Generalised Substitutions. - Jeremy E. Dawson (TPHOLs, 2007)

Isabelle Theories for Machine Words. - Jeremy E. Dawson (AVoCS, 2007)

Formalising Observer Theory for Environment-Sensitive Bisimulation. - Jeremy E. Dawson; Alwen Tiu (TPHOLs, 2009)

Termination of Abstract Reduction Systems. - Jeremy E. Dawson; Rajeev Goré (Int. J. Found. Comput. Sci., 2009)

Automating Open Bisimulation Checking for the Spi Calculus. - Alwen Tiu; Jeremy E. Dawson (CSF, 2010)

Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. - Jeremy E. Dawson; Rajeev Goré (LPAR (Yogyakarta), 2010)

A Proof Theoretic Analysis of Intruder Theories - Alwen Tiu; Rajeev Goré; Jeremy E. Dawson (Log. Methods Comput. Sci., 2010)

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic. - Ranald Clouston; Jeremy E. Dawson; Rajeev Goré; Alwen Tiu (CSL, 2013)

Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version. - Ranald Clouston; Jeremy E. Dawson; Rajeev Goré; Alwen Tiu (CoRR, 2013)

From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. - Jeremy E. Dawson; Ranald Clouston; Rajeev Goré; Alwen Tiu (IFIP TCS, 2014)

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. - Jeremy E. Dawson; Rajeev Goré; Thomas Meumann (VoteID, 2015)

Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi. - Jeremy E. Dawson; James Brotherston; Rajeev Goré (IJCAR, 2016)

Issues in Machine-Checking the Decidability of Implicational Ticket Entailment. - Jeremy E. Dawson; Rajeev Goré (TABLEAUX, 2017)

Well-Founded Unions. - Jeremy E. Dawson; Nachum Dershowitz; Rajeev Goré (IJCAR, 2018)

A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic. - Caitlin D'Abrera; Jeremy E. Dawson; Rajeev Goré (TABLEAUX, 2021)