Items where authors include "Doherty, S."

Article

Alharbi, A.A., Wills, C., Dixon, C. et al. (9 more authors) (2024) Efficient Hydrogen Evolution from Dimethylamine Borane, Ammonia Borane and Sodium Borohydride Catalyzed by Ruthenium and Platinum Nanoparticles Stabilized by an Amine Modified Polymer Immobilized Ionic Liquid: a Comparative Study. Catalysis Letters, 154 (10). pp. 5450-5471. ISSN 1011-372X

Doherty, S. orcid.org/0000-0003-1103-8090, Knight, J.G., Alharbi, A.A. et al. (11 more authors) (2024) Selective Partial Reduction of Nitroarenes to the Hydrazoarene Catalyzed by Amine‐Modified Ordered Mesoporous Silica Immobilized Ionic Liquid (OMSIIL) Stabilised RuNPs. ChemCatChem, 16 (13). e202400013. ISSN 1867-3880

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