Jeremy E. Dawson
Orcid: 0000-0003-2308-8706Affiliations:
- Australian National University, Research School of Computer Science, Canberra, Australia
According to our database1,
Jeremy E. Dawson
authored at least 35 papers
between 1977 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
3
1
1
3
1
1
1
1
1
1
1
1
1
2
1
3
2
1
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2021
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021
2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
2016
Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the E-Voting and Identity - 5th International Conference, 2015
2014
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic.
Proceedings of the Theoretical Computer Science, 2014
2013
Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic - Extended Version.
CoRR, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010
2009
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009
2007
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007
Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007
Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007
2004
Proceedings of Computing: The Australasian Theory Symposium, 2004
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
2003
Proceedings of the Computing: the Australasian Theory Symposiumm, 2003
2002
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002
2001
Proceedings of the Computing: The Australasian Theory Symposium, 2001
2000
1999
Proceedings of the International Workshop on Cluster Computing (IWCC '99), 1999
1998
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998
Proceedings of the Advanced Topics in Artificial Intelligence, 1998
1994
An Asymptotic Result on the Existence of Generalised Hadamard Matrices.
J. Comb. Theory A, 1994
1992
1985
1984
1977