Clare Dixon - Publications

All documents are either PostScript or PDF unless it says otherwise. If you have any problems accessing documents, please let me know. The most recent are at the top of the list.

Journal Articles

Hustadt U., Ozaki, A., and Dixon C.,
Theorem Proving for Pointwise Metric Temporal Logic over the Naturals via Translations
Journal of Automated Reasoning
Springer, 2020
Webster, M., Western D., Araiza-Illan, D., Dixon C., Eder, K., Fisher M. and Pipe A.G.,
A Corroborative Approach to Verification and Validation of Human--Robot Teams
International Journal of Robotics Research, 2019
Luckcuck, M., Farrell, M., Dennis, L., Dixon C., Fisher M.,
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
ACM Computing Surveys, 2019
Nalon C., Dixon C. and Hustadt, U.
Modal Resolution: Proofs, Layers and Refinements
ACM Transactions on Computational Logic, 2019
McCabe-Dansted, J.C., Dixon, C., French, T., and Reynolds, M.
Sublogic of a Branching Time Logic of Robustness
Information and Computation, Elsevier, 2019
Nalon C., Hustadt, U. and Dixon C.
A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Stategies and Experiments
Journal of Automated Reasoning, Springer, 2018
Webster, M., Dixon C., Fisher M., Salem M., Saunders J., Koay K.L., Dautenhahn, K and Saez–Pons, J.
Towards Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
IEEE Transactions on Human-Machine Systems, 46(2): 186-196, 2016
Khan, M.S., Coenen F., Dixon C., El-Salhi S., Penalva M. and Rivero A.
An Intelligent Process Model: Predicting Springback in Single Point Incremental Forming
International Journal of Advanced Manufacturing Technology, 76(9) pages 2071-2082 2015.
El Salhi S., Coenen F., Dixon C. and Khan M.
Predicting Springback Using 3D Surface Representation Techniques: A Case Study in Sheet Metal Forming
Journal of Expert Systems With Applications, 42(1), pages 79–93, 2015
Zhang L., Hustadt U. and Dixon C.
A Resolution Calculus for the Branching-Time Temporal Logic CTL
ACM Transactions on Computational Logic, 15(1):1529-3785, 2014.
Nalon C., Zhang L., Dixon C. and Hustadt U.
A resolution-based calculus for Coalition Logic
Journal of Logic and Computation, 24(4), pages 883-917 Oxford University Press. 2014
Dixon, C., Konev, B., Fisher, M., and Nietiadi, S.
Deductive Temporal Reasoning with Constraints
Journal of Applied Logic, 11(1): 30-51, Elsevier, 2013
Khan, M.S., Coenen, F., Dixon, C. and El-Salhi, S.
Classification Based 3-D Surface Analysis: Predicting Springback in Sheet Metal Forming.
Journal of Theoretical and Applied Computer Science, Polish Academy of Sciences, 6(2):45-59, 2012
Dixon, C., Winfield , A.F.T., Fisher, M., and Zeng, C.
Towards Temporal Verification of Swarm Robotic Systems.
Robotics and Autonomous Systems, 60(11): 1429-1441, Elsevier, 2012
Konur S., Dixon C., and Fisher M.
Analysing Robot Swarm Behaviour via Probabilistic Model Checking
Robotics and Autonomous Systems, 60(2):199-213 Elsevier, 2012
Zhang L., Hustadt U. and Dixon C.
CTL-RP: A Computation Tree Logic Resolution Prover.
AI Communications, 23(2-3):111-136, IOS Press, 2010.
Behdenna A., Dixon C. and Fisher M.
Deductive Verification of Simple Foraging Robotic Behaviours.
International Journal of Intelligent Computing and Cybernetics, 2(4): 604-643, World Scientific, 2009
Nalon, C., and Dixon, C.
Clausal Resolution for Normal Modal Logics
Journal of Algorithms, Volume 62, Issues 3-4, July-October 2007, Pages 117-134 Elsevier Science, 2007
Dixon, C., Fernandez Gago, M.C., Fisher, M., and van der Hoek, W.,
Temporal Logics of Knowledge and their Applications in Security
Proceedings of the First Workshop in Information and Computer Security (ICS 2006) Timisoara, Romania, Edited by C. Dima, M. Minea and F.L. Tiplea, Electronic Notes in Theoretical Computer Science, Volume 186, Pages 27-42 (July 2007) Elsevier, 2007.
Dixon, C.,
Using Temporal Logics of Knowledge for Specification and Verification-a Case Study
Journal of Applied Logic, Elsevier Science, 4(1) pages 50-78, 2006.
Fernandez-Gago, M.C., Hustadt, U., Dixon, C., Fisher, M., and Konev, B.,
First-Order Temporal Verification in Practice,
Journal of Automated Reasoning, 34(3) pages 295-321, Kluwer, 2005.
Winfield, A.F.T., Sa, J., Fernandez-Gago, M-C., Dixon, C., and Fisher, M.
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal Of Advanced Robotic Systems, 2(4), pages 363-370, 2005
Konev, B., Degtyarev, A., Dixon, C., Fisher, M., Hustadt, U.,
Mechanizing First-Order Temporal Resolution
Information and Computation, 199(1-2), pages 55-86. Elsevier Science, 2005.
Dixon, C., Bolotov, A., and Fisher, M.,
Alternating Automata and Temporal Logic Normal Forms
Annals of Pure and Applied Logic, 135(1-3), pages 263-285. Elsevier Science, September 2005.
Dixon, C., Nalon, C. and Fisher, M.,
Tableau for Logics of Time and Knowledge with Interactions Relating to Synchrony,
Journal of Applied Non-Classical Logics, volume 14, number 4, pages 397-445, 2004.
Dixon, C., Fisher, M., and Bolotov, A.
Clausal Resolution in a Logic of Rational Agency
in Artificial Intelligence Journal, volume 139, issue 1, July 2002 pages 47-89. Elsevier Science.
Bolotov, A., Fisher, M., and Dixon, C.
On the Relationship Between Omega-Automata and Temporal Logic Normal Forms
in the Journal of Logic and Computation, volume 12, issue 4, pages 561-581, August 2002. Oxford University Press.
(Preliminary version.)
Bennett, B., Dixon, C., Fisher M., Hustadt, U., Franconi, E., Horrocks, I., de Rijke, M.
Combinations of Modal Logics,
AI Review, volume 17, number 1, pages 1-20, March 2002. Kluwer Academic Publishers.
(Preliminary version.)
Fisher, M., Dixon, C., and Peim, M.
Clausal Temporal Resolution,
ACM Transactions on Computational Logic, volume 2, number 1, January 2001
Dixon, C.,
Removing Irrelevant Information in Temporal Resolution Proofs,
in the Journal of Experimental and Theoretical Artificial Intelligence, volume 11, pages 95-121, 1999. ISSN 0952-813X.
(Preliminary version.)
Dixon, C., Fisher, M., and Wooldridge, M.,
Resolution for Temporal Logics of Knowledge,
in the Journal of Logic and Computation, volume 8, number 3, 1998. ISSN 0955-792X.
(Preliminary version.)
Wooldridge, M., Dixon, C., and Fisher, M.,
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief ,
in the Journal of Applied Non-Classical Logics, volume 8, number 3, 1998. ISSN 1166-3081.
(Preliminary version.)
Dixon, C.,
Temporal Resolution using a Breadth-First Search Algorithm,
in the Annals of Mathematics and Artificial Intelligence, volume 22, pages 87--115,
special issue on Temporal Representation and Reasoning 1998. Baltzer Science Publishers. ISSN 1012-2443.
(Preliminary version.)

Articles in Conference or Workshop Proceedings

Tolmeijer S, Weiss, A, Hanheide, M, Lindner, F, Powers, T, Dixon, C and Tielman, M,
Taxonomy of Trust-Relevant Failures and Mitigation Strategies
15th ACM/IEEE International Conference on Human-Robot Interaction (HRI)
Cambridge, March 2020
Maple, C., Bradbury, M., Yuan, H., Farrell, M., Dixon, C., Fisher, M., Atmaca, U. I.
Security-Minded Verification of Space Systems.
IEEE Aerospace Conference. 2020 (to appear).
Webster, M., Dennis, L., Dixon C., Fisher M., Stocker, R. and Sierhuis, M.
Formal Verification of Astronaut-Rover Teams for Planetary Surface Operations
IEEE Aerospace Conference. 2020 (to appear).
Luckcuck, M., Farrell, M., Dennis, L., Dixon C., Fisher M.,
Summary of Formal Specification and Verification of Autonomous Robotic Systems
Journal-First Paper, 15th International Conference on Integrated Formal Methods (iFM)
Bergen, Norway, December 2019
Al-Shareefi, F., Lisitsa, A. and Dixon, C.
Analysing Security Protocols Using Scenario Based Simulation
13th International Conference on Verification and Evaluation of Computer and Communication Systems
Porto, Portugal, October 2019
Farrell, M, Bradbury M, Yuan, H, Fisher, M, Dennis, L, Dixon, C and Maple, C
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages
17th International Conference on Software Engineering and Formal Methods (SEFM 2019)
Oslo, Norway, September 2019
Webster, M., Breza, M., Dixon C., Fisher, M. and McCann, J.
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks
Electronic Communications of the EASST, vol 76, 2019
Presented at International Workshop on Automated Verification of Critical Systems (AVoCS) Oxford, UK, July 2018
Gainer P., Linker, S., Dixon C., Hustadt U. and Fisher M.
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators
20th International Conference on Formal Engineering Methods
Griffith University, Gold Coast, Australia, November, 2018.
Won the Best Paper Award.
Hustadt, U., Nalon C., and Dixon C.
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
6th Workshop on Practical Aspects of Automated Reasoning (PAAR-2018)
Oxford, UK, July 2018
Al-Shareefi, F., Lisitsa, A. and Dixon, C.
Clarification of Ambiguity for the Simple Authentication and Security Layer
6th International ABZ Conference ASM, Alloy, B, TLA, VDM (ABZ 2018)
Southamption, UK, June 2018
Al-Shareefi, F., Lisitsa, A. and Dixon, C.
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems
20th Brazilian Symposium on Formal Methods (SBMF 2017)
Recife, Brazil, November/December 2017 Springer
Gainer, P., Dixon C., Dautenhahn, K., Fisher M., Hustadt, U., Saunders J. and Webster, M.
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours,
FMICS-AVoCS 2017, Springer, LNCS Volume 10471, 2017, pages 119-133.
Gainer P., Linker, S., Dixon C., Hustadt U. and Fisher M.
Investigating Parametric Influence on Discrete Synchronisation Protocols using Quantitative Model Checking
14th International Conference on Quantitative Evaluation of SysTems (QEST 2017)
Berlin, Germany, September 2017 Springer
Hustadt U., Ozaki, A., and Dixon C.,
Theorem Proving for Metric Temporal Logic over the Naturals
26th International Conference on Automated Deduction (CADE-26)
Gothenburg, Sweden, August 2017, Springer
Nalon C., Hustadt, U. and Dixon C.
KSP: A resolution-based prover for multimodal K Abridged Report
IJCAI-17 Sister Conference Best Paper Track, 26th International Joint Conference on Artificial Intelligence 2017
Melbourne, Australia, August 2017
Cucco, E., Fisher, M., Dennis, L., Dixon, C., Webster, M., Broecker, B., Williams, R., Collenette, J., Atkinson, K., and Tuyls K.
Towards Robots for Social Engagement
Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces at the 26th International Joint Conference on Artificial Intelligence 2017
Melbourne, Australia, August 2017
Gainer P., Dixon C., and Hustadt U.
Probabilistic Model Checking of Ant-Based Positionless Swarming
Proceedings of the Towards Autonomous Robotic Systems (TAROS), Sheffield, June 2016 Springer, pp 127-138, LNAI. Springer
Nalon C., Hustadt U., and Dixon C.,
KSP: A resolution-based prover for multimodal K
International Joint Conference on Automated Reasoning (IJCAR), June 27th to July 2nd 2016, University of Coimbra, Portugal, Springer LNAI.
Hustadt U., Gainer P., Dixon C., Nalon C. and Zhang L.,
Ordered Resolution for Coalition Logic
Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015) Wroclaw, Poland, 20-24 September 2015, pp. 165-180. LNAI 9323, Springer 2015.
Nalon C., Hustadt, U. and Dixon C.
A Modal-Layered Resolution Calculus for K
Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015) Wroclaw, Poland, 20-24 September 2015, pp. 181-196. LNAI 9323, Springer 2015.
Dixon C. and Fisher M.
On and On the Temporal Way.
HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. A. Voronkov, M. V. Korovina (Eds.) EasyChair, 85-111, 2014.
Dixon C., Webster, M., Saunders J., Fisher M. and Dautenhahn, K.
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours,
Advances Autonomous Robotic Systems (TAROS), Springer, LNAI Volume 8717, 2014, pages 97-108. Paper won the Springer Best Paper Award.
Nalon, C., Marcos, J., and Dixon, C.,
Clausal Resolution for Modal Logics of Confluence
7th International Joint Conference on Automated Reasoning (IJCAR), July 19th to July 22nd 2014, Vienna, Austria, Springer LNCS volume 8562, pages 322-336
Nalon, C., Zhang, L., Dixon, C., and Hustadt, U.
A Resolution Prover for Coalition Logics
2nd International Workshop on Strategic Reasoning, EPTCS 146, April 5-6, 2014, Grenoble, France
Webster, M., Dixon C., Fisher M., Salem M., Saunders J. Koay K.L., and Dautenhahn, K.
Formal Verification of an Autonomous Personal Robotic Assistant,
Proceedings of Workshop on Formal Verification in Human Machine Systems (FVHMS), AAAI, 2014
Salhi, S., Coenen, F., Dixon, C., Khan, M.
Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming.
Proceedings of the 9th International Conference on Advanced Data Mining and Applications (ADMA'13), Part 1, Springer, LNAI 8346, pages 505-515.
Amirabdollahian, F., Dautenhahn, K., Dixon, C., Eder, K., Fisher, M., Koay, K.L., Magid, E., Pipe, A., Salem, S., Saunders J., and Webster, M.
Can You Trust Your Robotic Assistant? (PDF preprint).
In G. Herrmann et al., editors, 5th International Conference in Social Robotics (ICSR 2013), volume 8239 of Lecture Notes in Artificial Intelligence, pages 571–573. Springer, 2013.
Ahmed, A., Lisitsa, A., and Dixon, C.,
TeStiD: A High Performance Temporal Intrusion Detection System,
Proceedings of the Eight International Conference on Internet Monitoring and Protection (ICIMP), 2013, IARIA
Dixon, C., Konev, B., Schmidt, R.A. and Tishkovsky, D.,
Labelled Tableaux for Temporal Logic with Cardinality Constraints
Proceedings of The 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'12), IEEE, 2012.
Salhi, S., Coenen, F., Dixon, C., Khan, M.
Identification of correlations between 3D surfaces using Data mining techniques: Predicting Springback in Sheet Metal Forming.
Proceedings of AI 2012. Springer, Cambridge, pages 391-404.
Stocker, R., Dennis, L., Fisher M. and Dixon C.
Verification of Brahams Robot-Human Teamwork Models
in the Proceedings of the 13th European Conferenec on Logics in Artificial Intelligence 26th-28th September 2012, Toulouse, France. LNAI, Springer.
Khan, M.S., Coenen, F., Dixon, C. and El-Salhi, S.
Finding Correlations Between 3-D Surfaces: A Study In Asymmetric Incremental Sheet Forming.
In Proceedings of the International Conference on Machine Learning and Data Mining(MLDM 2012) July 13-20, 2012, Berlin, Germany. LNAI 7376, pages 366-379, Springer
Dixon, C., Winfield , A.F.T., and Fisher, M.,
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems.
in the Proceedings of the 12th Conference Towards Autonomous Robotic Systems. 31st August - 2nd September 2011, Sheffield, UK. LNCS, Springer
Stocker, R., Sierhuis, M., Dennis, L., Dixon C., and Fisher M.,
A Formal Semantics for Brahams.
in the Proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems. 17th-18th July 2011, Barcelona, Spain. LNCS, Springer.
Ahmed, A., Lisitsa, A., and Dixon, C.,
A Misuse-Based Network Intrusion Detection System using Temporal Logic and Stream Processing,
Proceedings of the 5th International Conference on Network and System Security (NSS). IEEE, 2011, pages 1-8
McCabe-Dansted, J. and Dixon, C.,
CTL-Like Fragments of a Temporal Logic of Robustness
in the Proceedings of TIME 2010, 6th-8th September 2010, Paris, France. IEEE Press.
Konur S, Dixon C, and Fisher M,
Formal Verification of Probabilistic Swarm Behaviours
in the Proceedings of the Seventh International Conference on Swarm Intelligence (ANTS2010), 8-10th September 2010, Brussels, Belgium. LNCS, Springer.
Dixon C, Fisher M and Konev B,
Taming the Complexity of Temporal Epistemic Reasoning.
In: Ghilardi S and Sebastiani R ed(s) Proceeding of the Seventh International Symposium on the Frontiers of Combining Systems (FRoCoS'09). 16-18th September, Trento, Italy. LNAI, Springer 2009
Konev B, Dixon C, and Fisher M,
Playing Cards with Wiebe [Solving Knowledge Puzzles with "Exactly One" S5n]
In: Proceeding of the Wiebefest 2009 16th March 2009, Liverpool, UK
Zhang, L., Hustadt, U., and Dixon, C.,
A Refined Resolution Calculus for CTL
In Proceedings of 22nd International Conference on Automated Deduction (CADE-22) McGill University, Montreal, Canada August 2 - 7, 2009. Springer LNCS/LNAI
Dixon, C., Fisher, M., Konev, B., and Lisitsa, A.,
Practical First-Order Temporal Reasoning
in the Proceedings of TIME 2008, 16th-18th June 2008, Montreal, Canada. IEEE Press.
Dixon, C., Fisher, M., and Konev, B.,
Temporal Logic with Capacity Constraints
in the Proceedings of the 6th International Symposium on Frontiers of Combining Systems (FroCoS), September 10-12, Liverpool, UK. LNAI, Springer 2007.
Dixon, C., Fisher, M., and Konev, B.,
Tractable Temporal Reasoning
in the Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), pages 318-323, January 6-12th 2007, Hyderabad, India
Nalon, C., and Dixon, C.
Normal Modal Resolution: Preliminary Results,
in the Proceedings of the Brazilian Workshop on Logical and Semantic Frameworks, with Applications (LSFA'06) September 17th 2006, Natal, Brazil
Nalon, C., and Dixon, C.
Anti-Prenexing and Prenexing for Modal Logics,
in the Proceedings of JELIA 06, 13-15th September, Liverpool, UK. LNAI, Springer 2006.
Dixon, C., Fisher, M., and Konev, B.,
Is There a Future for Deductive Temporal Verification?
in the Proceedings of TIME 2006, 15th-17th June 2006, Budapest, Hungary IEEE.
The extended version is published as University of Liverpool Technical Report number ULMS-06-01
Winfield, A.F.T., Sa, J., Fernandez-Gago, M-C., Dixon, C., and Fisher, M.
Using Temporal Logic to Specify Emergent Behaviours in Swarm Robotic Systems
In Towards Autonomous Robotic Systems (TAROS), 2005
Nalon, C., Dixon, C. and Fisher, M.
Resolution for Synchrony and No Learning,
in the Proceedings of AiML-5, Manchester, UK. Advances in Modal Logic Series, Kings College Publications, volume 5, pages 231-248, 2005. Editors Renate Schmidt,Ian Pratt-Hartmann, Mark Reynolds, and Heinrich Wansing. (Extended version of the paper below).
Nalon, C., Dixon, C. and Fisher, M.
Resolution for Synchrony and No Learning,
in the Preliminary Proceedings of AiML-5, 9-11th September 2004, Manchester, UK.
Published as University of Manchester Technical Report Number UMCS-04-09-01 pages 303-317.
Dixon, C.,
Miss Scarlett in the Ballroom with the Lead Piping
in Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain 22nd-27th August 2004. IOS Press.
Slightly extended version of that which appears in the proceedings.
Dixon, C., Fernandez Gago, M.C., Fisher, M., and van der Hoek, W.,
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
in the Proceedings of TIME 2004, 1st-3rd July 2004, Tatihou, Normandie, France. IEEE.
Dixon, C., Nalon, C., and Fisher, M.
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning
in the Proceedings of TIME-ICTL 2003, July 8-10 July 2003, Cairns, Queensland, Australia. IEEE.
Slides (PDF, postscript)
Konev, B., Degtyarev, A., Dixon, C., Fisher, M., Hustadt, U.,
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case
in the Proceedings of TIME-ICTL 2003, July 8-10 July 2003, Cairns, Queensland, Australia. IEEE.
Slides (PDF, postscript)
Fernandez Gago, M.C., Fisher, M., and Dixon C.,
Algorithms for Guiding Clausal Temporal Resolution
in the 25th Conference on Artificial Intelligence (KI2002) September 16-20, 2002, pages 235--249, Aachen, Germany. LNAI, volume 2479, Springer 2002.
Fernandez Gago, M.C., Fisher, M., and Dixon C.,
An Algorithm for Guiding Clausal Temporal Resolution,
in Proceedings of 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), held in conjunction with IJCAR 2001, June 18th 2001, Siena, Italy.
Nalon, C., Dixon, C. and Fisher, M.
Resolution for Synchrony and No Learning: Preliminary Report,
in Proceedings of the 8th International Workshop on Logic Language, Information and Computation (WoLLIC'2001).
Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer, J.-J., and van der Hoek, W.,
Reasoning about agents in the KARO framework,
in the Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01),IEEE Computer Society Press, pages 206-213. June 14-16, 2001, Cividale del Friuli, Italy.
Dixon, C., and Fisher, M.,
Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall,
in Proceedings of ICTL 2000, 4th-7th October 2000, pages 43-52, Leipzig, Germany.
Bolotov, A., Fisher, M., and Dixon, C.,
On the Relationship between w-Automata and Temporal Logic Normal Forms,
in Proceedings of ICTL 2000, 4th-7th October 2000, Leipzig, Germany. (Extended version.)
Dixon, C., Fisher, M., and Bolotov, A.
Resolution in a Logic of Rational Agency,
in Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany 23rd-25th August 2000. IOS Press.
Dixon, C. and Fisher, M.
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge ,
in Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00), S Goodwin and A Trudel (eds) IEEE Computer Society pages 69-78.ISBN 0-7695-0756-5 Cape Breton, Nova Scotia, Canada, July 7-9, 2000.
Bolotov, A. and Dixon, C.,
Resolution for Branching-Time Temporal Logics: Applying the Temporal Resolution Rule,
in Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning (TIME'00), S Goodwin and A Trudel (eds) IEEE Computer Society pages 163-172.ISBN 0-7695-0756-5, Cape Breton, Nova Scotia, Canada, July 7-9, 2000.
Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer J.-J. and van der Hoek, W.
Verification within the KARO Agent Theory,
in Proceedings of the first Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Goddard Space Flight Center, Greenbelt, Maryland, USA, 5th-7th April 2000. LNCS 1871, Springer 2001.
Hustadt, U., Dixon, C., Schmidt, R.A., and Fisher, M.,
Normal Forms and Proofs in Combined Modal and Temporal Logics ,
in the Proceedings of the Third International Workshop on the Frontiers of Combining Systems (FroCoS'2000), Nancy, France. March 22-24, 2000. LNAI, Springer.
Bolotov, A., Dixon, C., and Fisher, M.,
Clausal Resolution for CTL* ,
in the Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, September 6-10, 1999, Szklarska Poreba, Poland. LNCS, volume 1672, pages 137-148, Springer.
Dixon, C. and Fisher M.,
The Set of Support Strategy in Temporal Resolution,
in Proceedings of the Fifth International Workshop on Temporal Reasoning (TIME'98), pages 113-120, Sanibel Island, Florida, May 1998. IEEE Press. ISBN0-8186-8473-9. Please note the IEEE copyright.
Dixon, C. and Fisher, M.,
Tableaux for Synchronous Systems of Knowledge and Time with Interactions,
in Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence (SCAI'97), pages 28-39 Helsinki, Finland August 1997. IOS Press. ISBN 90 5199 354 4
Dixon, C.,
Using Otter for Temporal Resolution,
in Proceedings of the Second International Conference on Temporal Logic (ICTL'97), Manchester, UK, July 1997. In Advances in Temporal Logic, volume 16, pages 149--166, 2000. Kluwer. ISBN 0-7923-6149-0 (Pre-proceedings version)
Dixon, C., Fisher, M., and Reynolds, M.,
Execution and Proof in Horn-Clause Temporal Logic,
in Proceedings of the Second International Conference on Temporal Logic (ICTL'97), Manchester, UK, July 1997. In Advances in Temporal Logic, volume 16, pages 413--434, 2000. Kluwer. ISBN 0-7923-6149-0. (Pre-proceedings version)
Fisher, M., and Dixon, C.,
Guiding Clausal Temporal Resolution,
in Proceedings of the Second International Conference on Temporal Logic (ICTL'97), Manchester, UK, July 1997. In Advances in Temporal Logic, volume 16, pages 167--184, 2000. Kluwer. ISBN 0-7923-6149-0 (Pre-proceedings version)
Dixon, C.,
Temporal Resolution: Removing Irrelevant Information,
in Proceedings of the Fourth International Workshop on Temporal Reasoning (TIME'97), Daytona Beach, Florida, May 1997. IEEE Press. Please note the IEEE copyright.
Dixon, C.,
Search Strategies for Resolution in Temporal Logics,
in the International Conference on Automated Deduction (CADE-13), New Jersey, USA July, August 1996. Springer.
Fisher, M., Wooldridge, M., and Dixon, C.,
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief,
in the International Conference on Formal and Applied Practical Reasoning (FAPR-96), Bonn, Germany June 1996.
Dixon, C.,
Temporal Resolution: A Breadth-First Search Approach,
in Proceedings of the Third International Workshop on Temporal Reasoning (TIME'96), Key West, Florida, May 1996. IEEE Press. Please note the IEEE copyright.
Dixon, C., Fisher, M., and Johnson, R.,
Parallel Temporal Resolution,
in Proceedings of International Workshop on Temporal Reasoning (TIME'95), Melbourne Beach, Florida, April 1995.
Dixon, C., Fisher, M., and Barringer, H.,
A Graph-Based Approach To Resolution In Temporal Logic,
in First International Conference on Temporal Logic (ICTL), held in Bonn, Germany, July 1994. Springer.

Book Chapters

Hustadt, U., Dixon, C., Schmidt, R.A., Fisher, M., Meyer, J.-J., van der Hoek, W.,
Verification Within the KARO Agent Theory
In Agent Technology from a Formal Perspective. Springer, 2006.
Reynolds, M., and Dixon, C.
Theorem-Proving for Discrete Temporal Logic,
to appear in the Handbook of Temporal Reasoning in Artificial Intelligence, 1, Foundations of Artificial Intelligence Series, Elsevier, 2005

Magazine Articles

Webster, M., Dixon C. and Fisher, M.
Safe and Trustworthy Autonomous Robotic Assistants
In Space Safety Magazine, Issue 9, Winter 2014. ISSN: 2214-0379.

Technical Reports

Stocker, R., Sierhuis, M., Dennis, L., Dixon C., and Fisher M.
A Formal Semantics for Brahms - Technical Report
University of Liverpool Technical Report number ULCS-13-006 (2013)
Nalon, C., Zhang, L., Dixon, C., and Hustadt U.
A resolution-based calculus for Coalition Logic (Extended Version)
University of Liverpool Technical Report number ULCS-13-004 (2013)
Zhang, L., Hustadt, U. and Dixon C.
First-order Resolution for CTL
University of Liverpool Technical Report number ULCS-08-010 (2008)
Dixon, C. and McCabe-Dansted, J.C.
Resolution for a Temporal Logic of Robustness (Extended Version)
University of Liverpool Technical Report number ULCS-08-002 (2008)
Nalon, C., and Dixon, C.
Anti-Prenexing and Prenexing for Modal Logics (Extended Version)
University of Liverpool Technical Report number ULCS-06-003 (2006)
(Extended version of JELIA06 paper.)
Dixon, C., Fisher, M., and Konev, B.,
Is There a Future for Deductive Temporal Verification?
University of Liverpool Technical Report number ULCS-06-001 (2001)
(Extended version of TIME06 paper.)
Dixon, C.
Specifying and Verifying the Game Cluedo using Temporal Logics of Knowledge
University of Liverpool Technical Report number ULCS-04-003 (2003)
Konev, B., Degtyarev, A., Dixon, C., Fisher, M., and Hustadt, U.,
Mechanising First-Order Temporal Resolution
University of Liverpool Technical Report number ULCS-03-023 (2003)
Dixon, C., Fernandez Gago, M.-C., Fisher M., and van der Hoek, W.,
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols
University of Liverpool Technical Report number ULCS-03-022 (2003)
Konev, B., Degtyarev, A., Dixon, C., Fisher, M., and Hustadt, U.
Towards the Implementation of First-Order Temporal Resolution: The Expanding Domain Case.
University of Liverpool Technical Report number ULCS-03-005 (2003)
Dixon, C.,
Strategies for Temporal Resolution,
PhD thesis, The University of Manchester, September 1995. Also Technical Report number UMCS-95-12-1, ISSN 1361-6153, Department of Computer Science, University of Manchester, December 1995. (It's a large file so be warned!)
Dixon, C.,
A Graph-Based Approach to Resolution in Temporal Logic,
Technical Report number UMCS-93-9-2, Department of Computer Science, University of Manchester, September 1993.

Edited Books/Journals/Conference Proceedings

Dixon, C and Finger, M., (editors)
Frontiers of Combining Systems- 11th International Symposium (FroCoS 2017)
Brasília, Brazil, September 27-29, 2017, Lecture Notes in Artificial Intelligence 10483, Springer
Dixon, C and Tuyls, K., (editors)
Towards Autonomous Robotic Systems - 16th Annual Conference (TAROS 2015),
Liverpool, UK, September 8-10, 2015, Proceedings. Lecture Notes in Computer Science 9287, Springer 2015, ISBN 978-3-319-22415-2
Artale, A., Dixon,C., Fisher, M. and Franconi, E., (editors)
Special Issue on Temporal Representation and Reasoning (TIME),
Journal of Logic and Computation, volume 14, number 1, 2004. Oxford University Press. ISSN 0955-792X.
Dixon,C., Finger, M., Fisher, M. and Reynolds, M., (editors)
Special Issue on Temporal Representation and Reasoning,
Annals of Mathematics and Artificial Intelligence, volume 30, numbers 1-4, 2001. Kluwer. ISSN 1012-2443.
Dixon, C. and Fisher, M., (editors)
Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning (TIME-99),
Orlando, Florida, May 1999. IEEE Press, ISBN 0-7695-0173-7.