Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 17.


Al-Shareefi, F ORCID: 0000-0002-5537-6086, Lisitsa, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017) Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. In: 20th Brazilian Symposium on Formal Methods, Recife, Brazil.


Horby, PW, Roddick, A, Spata, E, Staplin, N, Emberson, J, Pessoa-Amorim, G, Brightling, C, Prudon, B, Chadwick, D, Ustianowski, A
et al (show 2962 more authors) (2021) Azithromycin in patients admitted to hospital with COVID-19 (RECOVERY): a randomised, controlled, open-label, platform trial. LANCET, 397 (10274). pp. 605-612.


Nalon, C, Marcos, J and Dixon, C
(2014) Clausal Resolution for Modal Logics of Confluence. In: International Joint Conference on Automated Reasoning (IJCAR), Vienna University of Technology. (In Press)


McLean, KA, Kamarajah, SK, Chaudhry, D, Gujjuri, RR, Raubenheimer, K, Trout, I, AlAmeer, E, Creagh-Brown, B, Harrison, EM, Nepogodiev, D
et al (show 5526 more authors) (2021) Death following pulmonary complications of surgery before and during the SARS-CoV-2 pandemic. BRITISH JOURNAL OF SURGERY, 108 (12). pp. 1448-1464.


Hustadt, U ORCID: 0000-0002-0455-0267, Nalon, C and Dixon, C ORCID: 0000-0002-4610-9533
(2018) Evaluating pre-processing techniques for the separated normal form for temporal logics. In: 6th Workshop on practical aspects of automated reasoning (PAAR-2018), 2018-7-19 - 2018-7-19, Oxford, UK.


Webster, MP ORCID: 0000-0002-8817-6881, Breza, M, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and McCann, J
(2018) Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems. In: International Workshop on Automated Verification of Critical Systems (AVoCS), 2018-7-18 - 2018-7-19, Oxford University.


Webster, M ORCID: 0000-0002-8817-6881, Breza, M, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and McCann, J
(2019) Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76.


Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C ORCID: 0000-0002-4610-9533
(2017) K<inf>S</inf>P: A resolution-based prover for multimodal K abridged report. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-8-19 - 2017-8-26.


Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C
(2020) KSP A Resolution-Based Theorem Prover for K_n : Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning, 64 (3). pp. 461-484.


Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2021) Parameterized verification of leader/follower systems via first-order temporal logic. FORMAL METHODS IN SYSTEM DESIGN, 58 (3). pp. 440-468.


Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2022) Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022). FORMAL METHODS IN SYSTEM DESIGN, 60 (2). pp. 325-326.


El Salhi, S, Coenen, F ORCID: 0000-0003-1026-6649, Dixon, C ORCID: 0000-0002-4610-9533 and Khan, MS
(2015) Predicting "springback" using 3D surface representation techniques: A case study in sheet metal forming. EXPERT SYSTEMS WITH APPLICATIONS, 42 (1). pp. 79-93.


Gainer, P, Dixon, C ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267
(2016) Probabilistic Model Checking of Ant-Based Positionless Swarming. In: Towards Autonomous Robotic Systems, 2016-6-28 - 2016-6-30, Sheffield.


Hustadt, U ORCID: 0000-0002-0455-0267, Ozaki, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017) Theorem Proving for Metric Temporal Logic over the Naturals. In: 26th International Conference on Automated Deduction.


Gallichan, N, Albadri, S ORCID: 0000-0001-6516-9497, Dixon, C and Jorgenson, K
(2020) Trends in CBCT current practice within three UK paediatric dental departments. EUROPEAN ARCHIVES OF PAEDIATRIC DENTISTRY, 21 (4). pp. 537-542.


Farrell, M ORCID: 0000-0001-7708-3877, Bradbury, M, Yuan, H, Fisher, M, Dennis, L ORCID: 0000-0003-1426-1896, Dixon, C ORCID: 0000-0002-4610-9533 and Maple, C
(2019) Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In: International Conference on Software Engineering and Formal Methods.


Dixon, C ORCID: 0000-0002-4610-9533
(2020) Verifying autonomous robots: Challenges and reflections. .

This list was generated on Thu Feb 8 00:06:18 2024 GMT.