 | 2009 |
|---|
| 17 |       | Jeremy E. Dawson,
Alwen Tiu:
Formalising Observer Theory for Environment-Sensitive Bisimulation.
TPHOLs 2009: 180-195 |
| 16 | | Jeremy E. Dawson,
Rajeev Goré:
Termination of Abstract Reduction Systems.
Int. J. Found. Comput. Sci. 20(1): 57-82 (2009) |
| 2007 |
|---|
| 15 | | Jeremy E. Dawson,
Rajeev Goré:
Termination of Abstract Reduction Systems.
CATS 2007: 35-43 |
| 14 | | Jeremy E. Dawson:
Compound monads in specification languages.
PLPV 2007: 3-10 |
| 13 | | Jeremy E. Dawson:
Formalising Generalised Substitutions.
TPHOLs 2007: 54-69 |
| 2004 |
|---|
| 12 | | Jeremy E. Dawson,
Rajeev Goré:
A General Theorem on Termination of Rewriting.
CSL 2004: 100-114 |
| 11 | | Jeremy E. Dawson:
Formalising General Correctness.
Electr. Notes Theor. Comput. Sci. 91: 21-42 (2004) |
| 2003 |
|---|
| 10 | | Jeremy E. Dawson,
Rajeev Goré:
A New Machine-checked Proof of Strong Normalisation for Display Logic.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 2002 |
|---|
| 9 | | Jeremy E. Dawson,
Rajeev Goré:
Machine-Checking the Timed Interval Calculus.
Australian Joint Conference on Artificial Intelligence 2002: 95-106 |
| 8 | | Jeremy E. Dawson,
Rajeev Goré:
Formalised Cut Admissibility for Display Logic.
TPHOLs 2002: 131-147 |
| 2001 |
|---|
| 7 | | Jeremy E. Dawson,
Rajeev Goré:
Embedding Display Calculi into Logical Frameworks: Comparing Twelf and Isabelle.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 1999 |
|---|
| 6 | | Jeremy E. Dawson,
Peter E. Strazdins:
Optimizing User-Level Communication Patterns on the Fujitsu AP3000.
IWCC 1999: 105-111 |
| 1998 |
|---|
| 5 | | Jeremy E. Dawson,
Rajeev Goré:
A Mechanisation of Classical Modal Tense Logics Using Isabelle.
Australian Joint Conference on Artificial Intelligence 1998: 107-118 |
| 4 | | Jeremy E. Dawson,
Rajeev Goré:
A Mechanised Proof System for Relation Algebra using Display Logic.
JELIA 1998: 264-278 |
| 1994 |
|---|
| 3 |  | Warwick de Launey,
Jeremy E. Dawson:
An Asymptotic Result on the Existence of Generalised Hadamard Matrices.
J. Comb. Theory, Ser. A 65(1): 158-163 (1994) |
| 1985 |
|---|
| 2 | | Jeremy E. Dawson:
Decomposition of binary matroids.
Combinatorica 5(1): 1-9 (1985) |
| 1984 |
|---|
| 1 | | Jeremy E. Dawson,
Jennifer Seberry,
David B. Skillicorn:
The directed packing numbers DD (t, v, v), t>=;4.
Combinatorica 4(2): 121-130 (1984) |
