Browse by People

Collapse authors list.
Dennis, LA ORCID: 0000-0003-1426-1896, Aitken, J, Collenette, J, Cucco, E, Kamali, M ORCID: 0000-0002-2789-6914, McAree, O, Shaukat, A, Atkinson, KM ORCID: 0000-0002-5683-4106, Gao, Y, Veres, S et al (show 1 more authors) and Fisher, M (2016) Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice. In: Towards Autonomous Robotic Systems conference (TAROS 2016), 2016-6-28 - 2016-6-30, Sheffield, UK.

Gainer, P, Dixon, CL ORCID: 0000-0002-4610-9533, Dautenhahn, K, Fisher, M, Hustadt, U ORCID: 0000-0002-0455-0267, Saunders, J and Webster, M ORCID: 0000-0002-8817-6881 (2017) CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. In: FMICS/AVOCS 2017, 2017-9-18 - 2017-9-20, Torino, Italy.

Collapse authors list.
Nightingale, S, Michael, BD ORCID: 0000-0002-8693-8926, Fisher, M, Winston, A, Nelson, M, Taylor, S, Ustianowski, A, Ainsworth, J, Gilson, R, Haddow, L et al (show 10 more authors) , Ong, E, Leen, C, Minton, J, Post, F, Beloukas, A ORCID: 0000-0001-5639-0528, Borrow, R, Pirmohamed, M ORCID: 0000-0002-7534-7266, Geretti, AM ORCID: 0000-0002-3670-6588, Khoo, S ORCID: 0000-0002-2769-0967 and Solomon, T ORCID: 0000-0001-7266-6547 (2016) CSF/plasma HIV-1 RNA discordance even at low levels is associated with up-regulation of host inflammatory mediators in CSF. Cytokine, 83. pp. 139-146.

Collapse authors list.
Griffin, R ORCID: 0000-0003-4521-948X, Psarelli, EE ORCID: 0000-0002-3102-0288, Cox, TF, Khedr, M ORCID: 0000-0002-4998-2397, Milan, AM ORCID: 0000-0002-0452-2338, Davison, AS ORCID: 0000-0001-5501-4475, Hughes, AT, Usher, JL, Taylor, S, Loftus, N et al (show 17 more authors) , Daroszewska, A ORCID: 0000-0002-6692-6610, West, E, Jones, A, Briggs, M, Fisher, M, McCormick, M, Judd, S, Vinjamuri, S, Sireau, N, Dillon, JP ORCID: 0000-0002-7055-5664, Devine, JM, Hughes, G, Harrold, J ORCID: 0000-0002-0899-4586, Barton, GJ, Jarvis, JC, Gallagher, JA ORCID: 0000-0002-0852-279X and Ranganath, LR (2018) Data on items of AKUSSI in Alkaptonuria collected over three years from the United Kingdom National Alkaptonuria Centre and the impact of nitisinone. Data in Brief, 20. pp. 1620-1628.

Collapse authors list.
Nightingale, S, Geretti, AM ORCID: 0000-0002-3670-6588, Beloukas, A ORCID: 0000-0001-5639-0528, Fisher, M, Winston, A, Else, L, Nelson, M, Taylor, S, Ustianowski, A, Ainsworth, J et al (show 10 more authors) , Gilson, R, Haddow, L, Ong, E, Watson, V, Leen, C, Minton, J, Post, F, Pirmohamed, M ORCID: 0000-0002-7534-7266, Solomon, T ORCID: 0000-0001-7266-6547 and Khoo, S ORCID: 0000-0002-2769-0967 (2016) Discordant CSF/plasma HIV-1 RNA in patients with unexplained low-level viraemia. Journal of NeuroVirology, 22 (6). pp. 852-860.

Collapse authors list.
Nightingale, S, Chau, TTH, Fisher, M, Nelson, M, Winston, A, Else, L, Carr, DF, Taylor, S, Ustianowski, A, Back, D et al (show 6 more authors) , Pirmohamed, M ORCID: 0000-0002-7534-7266, Solomon, T ORCID: 0000-0001-7266-6547, Farrar, J, Toerok, ME, Khoo, S ORCID: 0000-0002-2769-0967 and Grp, P-VS (2016) Efavirenz and Metabolites in Cerebrospinal Fluid: Relationship with CYP2B6 c.516G -> T Genotype and Perturbed Blood-Brain Barrier Due to Tuberculous Meningitis. Antimicrobial Agents and Chemotherapy, 60 (8). pp. 4511-4518.

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.

Dennis, L ORCID: 0000-0003-1426-1896, Cucco, E and Fisher, M (2017) A General Architecture for Flexible Autonomous Systems. In: IJCAI Workshop on Architectures for Generality and Autonomy, 2017-8-19 - 2017-8-25, Melbourne, Australia.

Dennis, LA ORCID: 0000-0003-1426-1896, Slavkovik, M and Fisher, M (2017) "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks. In: Coordination, Organizations, Institutions and Norms in Agent Systems XII, 2016-8-30 - 2016-8-30, The Hague, The Netherlands.

Collapse authors list.
Ranganath, LR, Khedr, M ORCID: 0000-0002-4998-2397, Milan, AM ORCID: 0000-0002-0452-2338, Davison, AS ORCID: 0000-0001-5501-4475, Hughes, AT, Usher, JL, Taylor, S, Loftus, N, Daroszewska, A ORCID: 0000-0002-6692-6610, West, E et al (show 17 more authors) , Jones, A, Briggs, M, Fisher, M, McCormick, M, Judd, S, Vinjamuri, S, Griffin, R ORCID: 0000-0003-4521-948X, Psarelli, EE ORCID: 0000-0002-3102-0288, Cox, TF, Sireau, N, Dillon, JP ORCID: 0000-0002-7055-5664, Devine, JM, Hughes, G, Harrold, J ORCID: 0000-0002-0899-4586, Barton, GJ, Jarvis, JC and Gallagher, JA ORCID: 0000-0002-0852-279X (2018) Nitisinone arrests ochronosis and decreases rate of progression of Alkaptonuria: Evaluation of the effect of nitisinone in the United Kingdom National Alkaptonuria Centre. Molecular genetics and metabolism, 125 (1-2). pp. 127-134.

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.

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.

Zhai, J, Karuppasamy, K ORCID: 0000-0003-4121-8148, Zvavanjanja, R, Fisher, M ORCID: 0000-0003-2304-6434, Fisher, AC, Gould, D and How, T (2013) A sensor for needle puncture force measurement during interventional radiological procedures. Medical engineering & physics, 35 (3). pp. 350-356.