- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j20 |      | Clare Dixon, Boris Konev, Michael Fisher, Sherly Nietiadi: Deductive temporal reasoning with constraints. J. Applied Logic 11(1): 30-51 (2013) |
| 2012 | ||
| j19 | | Savas Konur, Clare Dixon, Michael Fisher: Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems 60(2): 199-213 (2012) |
| j18 | | 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 | ||
| j17 | | 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 |
| 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) |
| 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 |
| 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 |
Colors in the list of coauthors
Last update Fri May 24 17:29:04 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page