Items where authors include "Doherty, S."

Export as [feed] Atom [feed] RSS
Number of items: 10.

Article

Paterson, R., Fahy, L.E., Arca, E. et al. (10 more authors) (2023) Amine-modified polyionic liquid supports enhance the efficacy of PdNPs for the catalytic hydrogenation of CO₂ to formate. Chemical Communications, 59 (90). pp. 13470-13473. ISSN 1359-7345

Poole, A.P., Finnis, M.E., Anstey, J. et al. (106 more authors) (2022) The effect of a liberal approach to glucose control in critically ill patients with type 2 diabetes: a multicenter, parallel-group, open-label randomized clinical trial. American Journal of Respiratory and Critical Care Medicine, 206 (7). pp. 874-882. ISSN 1073-449X

Dalvandi, S., Dongol, B., Doherty, S. et al. (1 more author) (2022) Integrating Owicki–Gries for C11-style memory models into Isabelle/HOL. Journal of Automated Reasoning, 66 (1). pp. 141-171. ISSN 0168-7433

Derrick, J., Doherty, S., Dongol, B. et al. (2 more authors) (2021) Verifying correctness of persistent concurrent data structures: a sound and complete method. Formal Aspects of Computing, 33 (4-5). pp. 547-573. ISSN 0934-5043

Doherty, M., Jenkins, W., Richardson, H. et al. (10 more authors) (2018) Efficacy and cost-effectiveness of nurse-led care involving education and engagement of patients and a treat-to-target urate-lowering strategy versus usual care for gout: a randomised controlled trial. Lancet, 392 (10156). pp. 1403-1412. ISSN 0140-6736

Derrick, J., Doherty, S., Dongol, B. et al. (3 more authors) (2017) Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects of Computing, 30 (5). pp. 597-625. ISSN 0934-5043

Proceedings Paper

Derrick, J., Doherty, S., Dongol, B. et al. (2 more authors) (2021) Brief announcement: On strong observational refinement and forward simulation. In: 35th International Symposium on Distributed Computing (DISC 2021). 35th International Symposium on Distributed Computing (DISC 2021), 04-08 Oct 2021, Freiburg, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 209 . Schloss Dagstuhl , 55:1-55:4. ISBN 9783959772105

Doherty, S., Dongol, B., Wehrheim, H. et al. (1 more author) (2018) Making linearizability compositional for partially ordered executions. In: Furia, C. and Winter, K., (eds.) Integrated Formal Methods. IFM 2018, 05-07 Sep 2018, Maynooth, Ireland. Lecture Notes in Computer Science, 11023 . Springer Verlag , pp. 110-129. ISBN 9783319989372

Doherty, S., Dongol, B., Derrick, J. et al. (2 more authors) (2017) Proving opacity of a pessimistic STM. In: Fatourou , P., Jiménez, E. and Pedone, F., (eds.) Leibniz International Proceedings in Informatics. 20th International Conference on Principles of Distributed Systems (OPODIS 2016), December 13-16, 2016, Madrid, Spain. Dagstuhl Publishing , Germany , 35.1-35.17. ISBN 9783959770316

Doherty, S. and Derrick, J. (2016) Linearizability and Causality. In: Software Engineering and Formal Methods. 14th International Conference, SEFM 2016, 04-08 Jul 2016, Vienna, Austria. Lecture Notes in Computer Science, 9763 . Springer , pp. 45-60. ISBN 978-3-319-41590-1

This list was generated on Sat Mar 23 14:18:25 2024 GMT.