Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDClare Dixon
Person information
- affiliation: University of Manchester, UK
- affiliation (former): University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j39]Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifiable autonomy: From theory to applications. AI Commun. 35(4): 421-431 (2022)- [j38]Fabio Papacchini
, Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66(4): 639-666 (2022) - [j37]Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
Correction to: Local is Best: Efficient Reductions to Modal Logic K. J. Autom. Reason. 66(4): 1099 (2022) - [c63]Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon:
Local Reductions for the Modal Cube. IJCAR 2022: 486-505 - [c62]Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao:
Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. IFM 2022: 39-44 - 2021
- [j36]Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao:
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal. Frontiers Robotics AI 8: 639282 (2021) - [j35]Georgios Kourtis, Clare Dixon, Michael Fisher, Alexei P. Lisitsa:
Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods Syst. Des. 58(3): 440-468 (2021) - [j34]Kheng Lee Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn:
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn J. Behav. Robotics 12(1): 402-422 (2021) - [j33]Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster:
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10(2): 67 (2021) - [c61]Fabio Papacchini, Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
Efficient Local Reductions to Basic Modal Logic. CADE 2021: 76-92 - [c60]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis:
Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS 2021: 332-351 - [c59]Clare Dixon:
Theorem Proving Using Clausal Resolution: From Past to Present. RP 2021: 19-27 - 2020
- [j32]Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Multi-scale verification of distributed synchronisation. Formal Methods Syst. Des. 55(3): 171-221 (2020) - [j31]Matt Webster, David G. Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39(1) (2020) - [j30]Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
sf Kn : Architecture, Refinements, Strategies and Experiments. J. Autom. Reason. 64(3): 461-484 (2020) - [j29]Ullrich Hustadt, Ana Ozaki, Clare Dixon:
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations. J. Autom. Reason. 64(8): 1553-1610 (2020) - [j28]Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. J. Comput. Sci. 45: 101183 (2020) - [c58]Suzanne Tolmeijer, Astrid Weiss, Marc Hanheide, Felix Lindner, Thomas M. Powers, Clare Dixon, Myrthe L. Tielman:
Taxonomy of Trust-Relevant Failures and Mitigation Strategies. HRI 2020: 3-12 - [c57]Clare Dixon:
Verifying Autonomous Robots: Challenges and Reflections (Invited Talk). TIME 2020: 1:1-1:4
2010 – 2019
- 2019
- [j27]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Comput. Surv. 52(5): 100:1-100:41 (2019) - [j26]Cláudia Nalon, Clare Dixon, Ullrich Hustadt:
Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log. 20(4): 23:1-23:38 (2019) - [c56]Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Summary of Formal Specification and Verification of Autonomous Robotic Systems. IFM 2019: 538-541 - [c55]Marie Farrell, Matthew Bradbury, Michael Fisher, Louise A. Dennis, Clare Dixon, Hu Yuan, Carsten Maple:
Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. SEFM 2019: 471-490 - [c54]Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Analysing Security Protocols Using Scenario Based Simulation. VECoS 2019: 47-62 - [i8]Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster:
Modular Verification of Autonomous Space Robotics. CoRR abs/1908.10738 (2019) - 2018
- [j25]Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie A. McCann:
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [c53]Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon:
Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ 2018: 189-203 - [c52]Ullrich Hustadt, Cláudia Nalon, Clare Dixon:
Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. PAAR@FLoC 2018: 34-48 - [c51]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
- [c50]Ullrich Hustadt, Ana Ozaki, Clare Dixon:
Theorem Proving for Metric Temporal Logic over the Naturals. CADE 2017: 326-343 - [c49]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 - [c48]Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
KSP: A Resolution-based Prover for Multimodal K, Abridged Report. IJCAI 2017: 4919-4923 - [c47]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 - [c46]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
- [j24]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. Hum. Mach. Syst. 46(2): 186-196 (2016) - [c45]Cláudia Nalon, Ullrich Hustadt, Clare Dixon:
: A Resolution-Based Prover for Multimodal K. IJCAR 2016: 406-415 - [c44]Paul Gainer, Clare Dixon, Ullrich Hustadt:
Probabilistic Model Checking of Ant-Based Positionless Swarming. TAROS 2016: 127-138 - [i4]Matt Webster, David G. 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
- [j23]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) - [c43]Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang:
Ordered Resolution for Coalition Logic. TABLEAUX 2015: 169-184 - [c42]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
- [j22]Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt:
A resolution-based calculus for Coalition Logic. J. Log. Comput. 24(4): 883-917 (2014) - [j21]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) - [c41]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 - [c40]Cláudia Nalon, João Marcos, Clare Dixon:
Clausal Resolution for Modal Logics of Confluence. IJCAR 2014: 322-336 - [c39]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 - [c38]Cláudia Nalon, Lan Zhang, Clare Dixon, Ullrich Hustadt:
A Resolution Prover for Coalition Logic. SR 2014: 65-73 - [p1]Clare Dixon, Michael Fisher:
On and On the Temporal Way. HOWARD-60 2014: 85-111 - [i3]Cláudia Nalon, João Marcos, Clare Dixon:
Clausal Resolution for Modal Logics of Confluence. CoRR abs/1405.0293 (2014) - 2013
- [j20]Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi:
Deductive temporal reasoning with constraints. J. Appl. Log. 11(1): 30-51 (2013) - [c37]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
- [j19]Savas Konur, Clare Dixon, Michael Fisher:
Analysing robot swarm behaviour via probabilistic model checking. Robotics Auton. Syst. 60(2): 199-213 (2012) - [j18]Clare Dixon, Alan F. T. Winfield, Michael Fisher, Chengxiu Zeng:
Towards temporal verification of swarm robotic systems. Robotics Auton. Syst. 60(11): 1429-1441 (2012) - [c36]Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher:
Verifying Brahms Human-Robot Teamwork Models. JELIA 2012: 385-397 - [c35]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 - [c34]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 - [c33]Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky:
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC 2012: 111-118 - 2011
- [c32]Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher:
A Formal Semantics for Brahms. CLIMA 2011: 259-274 - [c31]Abdulbasit Ahmed, Alexei Lisitsa, Clare Dixon:
A misuse-based network Intrusion Detection System using Temporal Logic and stream processing. NSS 2011: 1-8 - [c30]Clare Dixon, Alan F. T. Winfield, Michael Fisher:
Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. TAROS 2011: 336-347 - 2010
- [j17]Lan Zhang, Ullrich Hustadt, Clare Dixon:
CTL-RP: A computation tree logic resolution prover. AI Commun. 23(2-3): 111-136 (2010) - [c29]Savas Konur, Clare Dixon, Michael Fisher:
Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference 2010: 440-447 - [c28]John Christopher McCabe-Dansted, Clare Dixon:
CTL-Like Fragments of a Temporal Logic of Robustness. TIME 2010: 11-18
2000 – 2009
- 2009
- [j16]Abdelkader Behdenna, Clare Dixon, Michael Fisher:
Deductive verification of simple foraging robotic behaviours. Int. J. Intell. Comput. Cybern. 2(4): 604-643 (2009) - [c27]Lan Zhang, Ullrich Hustadt, Clare Dixon:
A Refined Resolution Calculus for CTL. CADE 2009: 245-260 - [c26]Clare Dixon, Michael Fisher, Boris Konev:
Taming the Complexity of Temporal Epistemic Reasoning. FroCoS 2009: 198-213 - 2008
- [c25]Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical First-Order Temporal Reasoning. TIME 2008: 156-163 - 2007
- [j15]Cláudia Nalon, Clare Dixon:
Clausal resolution for normal modal logics. J. Algorithms 62(3-4): 117-134 (2007) - [c24]Clare Dixon, Michael Fisher, Boris Konev:
Temporal Logic with Capacity Constraints. FroCoS 2007: 163-177 - [c23]Clare Dixon, Michael Fisher, Boris Konev:
Tractable Temporal Reasoning. IJCAI 2007: 318-323 - [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. Appl. Log. 4(1): 50-78 (2006) - [c22]Cláudia Nalon, Clare Dixon:
Anti-prenexing and Prenexing for Modal Logics. JELIA 2006: 333-345 - [c21]Clare Dixon, Michael Fisher, Boris Konev:
Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18 - [c20]Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Temporal Logics of Knowledge and their Applications in Security. ICS@SYNASC 2006: 27-42 - 2005
- [j13]Clare Dixon, Alexander Bolotov, Michael Fisher:
Alternating automata and temporal logic normal forms. Ann. Pure Appl. Log. 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. Reason. 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. J. Appl. Non Class. 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]Clare Dixon:
Miss Scarlett in the Ballroom with the Lead Piping. ECAI 2004: 995-996 - [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]Alexander Bolotov, Clare Dixon, Michael Fisher:
Clausal Resolution for CTL*. MFCS 1999: 137-148 - [i1]Michael Fisher, Clare Dixon, Martin Peim:
Clausal Temporal Resolution. CoRR cs.LO/9907032 (1999) - 1998
- [j3]Clare Dixon:
Temporal Resolution Using a Breadth-First Search Algorithm. Ann. Math. Artif. Intell. 22(1-2): 87-115 (1998) - [j2]Michael J. Wooldridge, Clare Dixon, Michael Fisher:
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. J. Appl. Non Class. Logics 8(3): 225-258 (1998) - [j1]Clare Dixon, Michael Fisher, Michael J. Wooldridge:
Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998) - [c7]Clare Dixon, Michael Fisher:
The Set of Support Strategy in Temporal Resolution. TIME 1998: 113-120 - 1997
- [c6]Clare Dixon, Michael Fisher:
Tableaux for Synchronous Systems of Knowledge and Time with Interactions. SCAI 1997: 28-39 - [c5]Clare Dixon:
Temporal Resolution: Removing Irrelevant Information. TIME 1997: 4-11 - 1996
- [c4]Clare Dixon:
Search Strategies for Resolution in Temporal Logics. CADE 1996: 673-687 - [c3]Michael Fisher, Michael J. Wooldridge, Clare Dixon:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996: 178-192 - [c2]Clare Dixon:
Temporal Resolution: A Breadth-First Search Approach. TIME 1996: 120-127 - 1994
- [c1]Clare Dixon, Michael Fisher, Howard Barringer:
A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429 - 1993
- [b1]