E-LIB Suche - Ergebnisse für: Doherty, Simon

1

Efficient Hydrogen Evolution from Dimethylamine Borane, Amm..:

Alharbi, Adhwa A. ; Wills, Corinne ; Dixon, Casey...
Catalysis Letters. , 2024

Link: https://doi.org/10.1007/..

2

Highly efficient and selective partial reduction of nitroar..:

Paterson, Reece ; Alharbi, Husam Y. ; Wills, Corinne...
Journal of Catalysis. 417 (2023) - p. 74-88 , 2023

Link: https://doi.org/10.1016/..

3

Considering new ways of stunning or slaughter:

Judson, Anna ; Willson, Collin ; Doherty, Simon
Veterinary Record. 193 (2023) 8 - p. 331-331 , 2023

Link: https://doi.org/10.1002/..

4

Amino‐Modified Polymer Immobilized Ionic Liquid Stabilized ..:

Alharbi, Adhwa A. ; Wills, Corinne ; Chamberlain, Thomas W....
ChemCatChem. 15 (2023) 11 - p. , 2023

Link: https://doi.org/10.1002/..

5

Amine-modified polyionic liquid supports enhance the effica..:

Paterson, Reece ; Fahy, Luke E. ; Arca, Elisabetta...
Chemical Communications. 59 (2023) 90 - p. 13470-13473 , 2023

Link: https://doi.org/10.1039/..

6

Efficient Hydrolytic Hydrogen Evolution from Sodium Borohyd..:

Doherty, Simon ; Knight, Julian G. ; Alharbi, Hussam Y....
ChemCatChem. 14 (2022) 4 - p. , 2022

Link: https://doi.org/10.1002/..

7

Unifying Operational Weak Memory Verification: An Axiomatic..:

Doherty, Simon ; Dalvandi, Sadegh ; Dongol, Brijesh.
ACM Transactions on Computational Logic. 23 (2022) 4 - p. 1-39 , 2022

Link: https://doi.org/10.1145/..

8

Modularising Verification Of Durable Opacity:

Bila, Eleni ; Derrick, John ; Doherty, Simon...
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

9

Heteroatom modified polymer immobilized ionic liquid stabil..:

Paterson, Reece ; Alharbi, Adhwa A. ; Wills, Corinne...
Molecular Catalysis. 528 (2022) - p. 112476 , 2022

Link: https://doi.org/10.1016/..

10

Integrating Owicki–Gries for C11-Style Memory Models into I..:

Dalvandi, Sadegh ; Dongol, Brijesh ; Doherty, Simon.
Journal of Automated Reasoning. 66 (2021) 1 - p. 141-171 , 2021

Link: https://doi.org/10.1007/..

11

Verifying correctness of persistent concurrent data structu..:

Derrick, John ; Doherty, Simon ; Dongol, Brijesh..
Formal Aspects of Computing. 33 (2021) 4-5 - p. 547-573 , 2021

Link: https://doi.org/10.1007/..

12

Convolution and concurrency:

Cranch, James ; Doherty, Simon ; Struth, Georg
Mathematical Structures in Computer Science. 31 (2021) 8 - p. 918-949 , 2021

Link: https://doi.org/10.1017/..

13

The Synthesis of Biarylmonophosphonates via Palladium-Catal..:

Doherty, Simon ; Knight, Julian G. ; Tran, Tina S. T...
Catalysis Letters. 152 (2021) 2 - p. 398-413 , 2021

Link: https://doi.org/10.1007/..

14

Arene‐Immobilized Ru(II)/TsDPEN Complexes: Synthesis and Ap..:

Doherty, Simon ; Knight, Julian G. ; Alshaikh, Hind...
European Journal of Inorganic Chemistry. 2021 (2020) 3 - p. 226-235 , 2020

Link: https://doi.org/10.1002/..

15

Defining and Verifying Durable Opacity: Correctness for Per..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bila, Eleni ; Doherty, Simon ; Dongol, Brijesh... - p. 39-58 , 2020

Link: https://doi.org/10.1007/..