Jeremy E. Dawson

	2010
20		Alwen Tiu, Jeremy E. Dawson: Automating Open Bisimulation Checking for the Spi Calculus. CSF 2010: 307-321
19		Jeremy E. Dawson, Rajeev Goré: Generic Methods for Formalising Sequent Calculi Applied to Provability Logic. LPAR (Yogyakarta) 2010: 263-277
18		Alwen Tiu, Rajeev Goré, Jeremy E. Dawson: A Proof Theoretic Analysis of Intruder Theories Logical Methods in Computer Science 6(3): (2010)
	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: 20-39 (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: 89-103 (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)

Coauthor Index

1	Rajeev Goré	[4] [5] [7] [8] [9] [10] [12] [15] [16] [18] [19]
2	Warwick de Launey	[3]
3	Jennifer Seberry (Jennifer Seberry Wallis)	[1]
4	David B. Skillicorn	[1]
5	Peter E. Strazdins	[6]
6	Alwen Tiu (Alwen Fernanto Tiu)	[17] [18] [20]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page