Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarClare Dixon
Person information
- affiliation: University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
[c52]Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ 2018: 189-203- [c51]Ullrich Hustadt, Cláudia Nalon, Clare Dixon:
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC 2018: 34-48 - [c50]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. ICFEM 2018: 160-176 - [i7]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. CoRR abs/1807.00048 (2018) - [i6]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Multi-Scale Verification of Distributed Synchronisation. CoRR abs/1809.10655 (2018) - 2017
- [c49]Ullrich Hustadt, Ana Ozaki, Clare Dixon:
Theorem Proving for Metric Temporal Logic over the Naturals. CADE 2017: 326-343 - [c48]Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster:
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS 2017: 119-133 - [c47]Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
KSP: A Resolution-based Prover for Multimodal K, Abridged Report. IJCAI 2017: 4919-4923 - [c46]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. QEST 2017: 224-239 - [c45]Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. SBMF 2017: 15-32 - [e2]Clare Dixon, Marcelo Finger:
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10483, Springer 2017, ISBN 978-3-319-66166-7 [contents] - [i5]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. CoRR abs/1709.04385 (2017) - 2016
- [j25]Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, Joan Saez-Pons:
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Trans. Human-Machine Systems 46(2): 186-196 (2016) - [c44]Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
: A Resolution-Based Prover for Multimodal K. IJCAR 2016: 406-415 - [c43]Paul Gainer, Clare Dixon, Ullrich Hustadt:
Probabilistic Model Checking of Ant-Based Positionless Swarming. TAROS 2016: 127-138 - [i4]Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR abs/1608.07403 (2016) - 2015
- [j24]Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan:
Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming. Expert Syst. Appl. 42(1): 79-93 (2015) - [c42]Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang:
Ordered Resolution for Coalition Logic. TABLEAUX 2015: 169-184 - [c41]Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
A Modal-Layered Resolution Calculus for K. TABLEAUX 2015: 185-200 - [e1]Clare Dixon, Karl Tuyls:
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 [contents] - 2014
- [j23]Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt:
A resolution-based calculus for Coalition Logic. J. Log. Comput. 24(4): 883-917 (2014) - [j22]Lan Zhang, Ullrich Hustadt, Clare Dixon:
A resolution calculus for the branching-time temporal logic CTL. ACM Trans. Comput. Log. 15(1): 10:1-10:38 (2014) - [c40]Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn:
Formal Verification of an Autonomous Personal Robotic Assistant. AAAI Spring Symposia 2014 - [c39]Cláudia Nalon, João Marcos, Clare Dixon:
Clausal Resolution for Modal Logics of Confluence. IJCAR 2014: 322-336 - [c38]Clare Dixon, Matthew P. Webster, Joe Saunders, Michael Fisher, Kerstin Dautenhahn:
"The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours. TAROS 2014: 97-108 - [c37]Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt:
A Resolution Prover for Coalition Logic. SR 2014: 65-73 - [p1]
- [i3]Cláudia Nalon, João Marcos, Clare Dixon:
Clausal Resolution for Modal Logics of Confluence. CoRR abs/1405.0293 (2014) - 2013
- [j21]Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi:
Deductive temporal reasoning with constraints. J. Applied Logic 11(1): 30-51 (2013) - [c36]Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan:
Predicting Features in Complex 3D Surfaces Using a Point Series Representation: A Case Study in Sheet Metal Forming. ADMA (1) 2013: 505-516 - 2012
- [j20]Savas Konur, Clare Dixon, Michael Fisher:
Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems 60(2): 199-213 (2012) - [j19]Clare Dixon, Alan F. T. Winfield, Michael Fisher, Chengxiu Zeng:
Towards temporal verification of swarm robotic systems. Robotics and Autonomous Systems 60(11): 1429-1441 (2012) - [c35]Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifying Brahms Human-Robot Teamwork Models. JELIA 2012: 385-397 - [c34]M. Sulaiman Khan, Frans Coenen, Clare Dixon, Subhieh El-Salhi:
Finding Correlations between 3-D Surfaces: A Study in Asymmetric Incremental Sheet Forming. MLDM 2012: 366-379 - [c33]Subhieh El-Salhi, Frans Coenen, Clare Dixon, M. Sulaiman Khan:
Identification of Correlations Between 3D Surfaces Using Data Mining Techniques: Predicting Springback in Sheet Metal Forming. SGAI Conf. 2012: 391-404 - [c32]Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky:
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC 2012: 111-118 - 2011
- [c31]Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Formal Semantics for Brahms. CLIMA 2011: 259-274 - [c30]Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon:
A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. NSS 2011: 1-8 - [c29]Clare Dixon, Alan F. T. Winfield, Michael Fisher:
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. TAROS 2011: 336-347 - 2010
- [j18]Lan Zhang, Ullrich Hustadt, Clare Dixon:
CTL-RP: A computation tree logic resolution prover. AI Commun. 23(2-3): 111-136 (2010) - [c28]Savas Konur, Clare Dixon, Michael Fisher:
Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference 2010: 440-447 - [c27]John Christopher McCabe-Dansted, Clare Dixon:
CTL-Like Fragments of a Temporal Logic of Robustness. TIME 2010: 11-18
2000 – 2009
- 2009
- [j17]Abdelkader Behdenna, Clare Dixon, Michael Fisher:
Deductive verification of simple foraging robotic behaviours. Int. J. Intelligent Computing and Cybernetics 2(4): 604-643 (2009) - [c26]
- [c25]Clare Dixon, Michael Fisher, Boris Konev:
Taming the Complexity of Temporal Epistemic Reasoning. FroCoS 2009: 198-213 - 2008
- [c24]Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical First-Order Temporal Reasoning. TIME 2008: 156-163 - 2007
- [j16]Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security. Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007) - [j15]Cláudia Nalon, Clare Dixon:
Clausal resolution for normal modal logics. J. Algorithms 62(3-4): 117-134 (2007) - [c23]Clare Dixon, Michael Fisher, Boris Konev:
Temporal Logic with Capacity Constraints. FroCoS 2007: 163-177 - [c22]
- [i2]Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Efficient First-Order Temporal Logic for Infinite-State Systems. CoRR abs/cs/0702036 (2007) - 2006
- [j14]Clare Dixon:
Using temporal logics of knowledge for specification and verification - a case study. J. Applied Logic 4(1): 50-78 (2006) - [c21]
- [c20]Clare Dixon, Michael Fisher, Boris Konev:
Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18 - 2005
- [j13]Clare Dixon, Alexander Bolotov, Michael Fisher:
Alternating automata and temporal logic normal forms. Ann. Pure Appl. Logic 135(1-3): 263-285 (2005) - [j12]Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt:
Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005) - [j11]M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev:
First-Order Temporal Verification in Practice. J. Autom. Reasoning 34(3): 295-321 (2005) - [r1]Mark Reynolds, Clare Dixon:
Theorem-Proving for Discrete Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 279-313 - 2004
- [j10]Clare Dixon, Cláudia Nalon, Michael Fisher:
Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. Journal of Applied Non-Classical Logics 14(4): 397-445 (2004) - [j9]Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi:
Editorial. J. Log. Comput. 14(1): 1 (2004) - [c19]Cláudia Nalon, Clare Dixon, Michael Fisher:
Resolution for Synchrony and No Learning. Advances in Modal Logic 2004: 231-248 - [c18]
- [c17]Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME 2004: 148-151 - 2003
- [c16]Clare Dixon, Cláudia Nalon, Michael Fisher:
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME 2003: 62-71 - [c15]Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt:
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME 2003: 72-82 - 2002
- [j8]Clare Dixon, Michael Fisher, Alexander Bolotov:
Clausal resolution in a logic of rational agency. Artif. Intell. 139(1): 47-89 (2002) - [j7]Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke:
Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002) - [j6]Alexander Bolotov, Michael Fisher, Clare Dixon:
On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. 12(4): 561-581 (2002) - [c14]M. Carmen Fernández Gago, Michael Fisher, Clare Dixon:
Algorithms for Guiding Clausal Temporal Resolution. KI 2002: 235-252 - 2001
- [j5]Michael Fisher, Clare Dixon, Martin Peim:
Clausal temporal resolution. ACM Trans. Comput. Log. 2(1): 12-56 (2001) - [c13]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Reasoning about agents in the KARO framework. TIME 2001: 206-213 - 2000
- [c12]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Verification within the KARO Agent Theory. FAABS 2000: 33-47 - [c11]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher:
Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCoS 2000: 73-87 - [c10]Clare Dixon, Michael Fisher:
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME 2000: 69-78 - [c9]Alexander Bolotov, Clare Dixon:
Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME 2000: 163-172
1990 – 1999
- 1999
- [j4]Clare Dixon:
Removing irrelevant information in temporal resolution proofs. J. Exp. Theor. Artif. Intell. 11(1): 95-121 (1999) - [c8]
- [i1]
- 1998
- [j3]Clare Dixon:
Temporal Resolution Using a Breadth-First Search Algorithm. Ann. Math. Artif. Intell. 22(1-2): 87-115 (1998) - [j2]Michael Wooldridge, Clare Dixon, Michael Fisher:
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics 8(3): 225-258 (1998) - [j1]Clare Dixon, Michael Fisher, Michael Wooldridge:
Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998) - [c7]
- 1997
- [c6]Clare Dixon, Michael Fisher:
Tableaux for Synchronous Systems of Knowledge and Time with Interactions. SCAI 1997: 28-39 - [c5]
- 1996
- [c4]
- [c3]Michael Fisher, Michael Wooldridge, Clare Dixon:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996: 178-192 - [c2]
- 1994
- [c1]Clare Dixon, Michael Fisher, Howard Barringer:
A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429
Coauthor Index
maintained by 
, founded at 
, founded at 
last updated on 2018-12-18 23:16 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
