451 results on '"Doherty, Simon"'
Search Results
2. On Strong Observational Refinement and Forward Simulation
3. Modularising Verification Of Durable Opacity
4. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
5. Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
6. Convolution and Concurrency
7. Relational Semigroups and Object-Free Categories
8. Verifying C11 Programs Operationally
9. Highly efficient and selective partial reduction of nitroarenes to N-arylhydroxylamines catalysed by phosphine oxide-decorated polymer immobilized ionic liquid stabilized ruthenium nanoparticles
10. Causal Linearizability: Compositionality for Partially Ordered Executions
11. Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
12. The Synthesis of Biarylmonophosphonates via Palladium-Catalyzed Phosphonation, Iridium-Catalyzed C-H Borylation, Palladium-Catalyzed Suzuki–Miyaura Cross-Coupling
13. The experiences of online learning for undergraduate bioscience students.
14. Reducing Opacity to Linearizability: A Sound and Complete Method
15. Combining top-down and bottom-up approaches to evaluate recent trends and seasonal patterns in U.K. N2O emissions
16. 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*
17. Verifying correctness of persistent concurrent data structures: a sound and complete method
18. Causal Linearizability
19. Spatio-temporal bivariate statistical models for atmospheric trace-gas inversion
20. Sustainability
21. Verifying Correctness of Persistent Concurrent Data Structures
22. Considering new ways of stunning or slaughter
23. Making Linearizability Compositional for Partially Ordered Executions
24. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
25. Proving Opacity via Linearizability: A Sound and Complete Method
26. Mechanized proofs of opacity: a comparison of two techniques
27. Amino‐Modified Polymer Immobilized Ionic Liquid Stabilized Ruthenium Nanoparticles: Efficient and Selective Catalysts for the Partial and Complete Reduction of Quinolines
28. Linearizability and Causality
29. Identification of candidate protein markers of Bovine Parainfluenza Virus Type 3 infection using an in vitro model
30. Amine-modified polyionic liquid supports enhance the efficacy of PdNPs for the catalytic hydrogenation of CO2 to formate.
31. Telemedicine: patient care in the digital world
32. Amine-modified polyionic liquid supports enhance the efficacy of PdNPs for the catalytic hydrogenation of CO2 to formate
33. Aspects of the transition metal coordination chemistry of phenylphosphine
34. Unifying Operational Weak Memory Verification: An Axiomatic Approach
35. Detection of a novel gammaherpesvirus (genus Rhadinovirus) in wild muntjac deer in Northern Ireland
36. Molecular detection of kobuviruses in livestock in Northern Ireland and the Republic of Ireland
37. Modularising Verification Of Durable Opacity
38. Heteroatom modified polymer immobilized ionic liquid stabilized ruthenium nanoparticles: Efficient catalysts for the hydrolytic evolution of hydrogen from sodium borohydride
39. Intranasal delivery of nanoparticles encapsulating BPI3V proteins induces an early humoral immune response in mice
40. Nonblocking Algorithms and Backward Simulation
41. Proving Opacity via Linearizability: A Sound and Complete Method
42. Formal Verification of a Practical Lock-Free Queue Algorithm
43. Asymmetric carbonyl-ene and Friedel–Crafts reactions catalysed by Lewis acid platinum group metal complexes of the enantiopure atropisomeric biaryl-like diphosphine (S)-Me2-CATPHOS: a comparison with BINAP
44. Efficient Hydrolytic Hydrogen Evolution from Sodium Borohydride Catalyzed by Polymer Immobilized Ionic Liquid‐Stabilized Platinum Nanoparticles
45. Heteroatom Modified Polymer Immobilized Ionic Liquid Stabilized Ruthenium Nanoparticles: Efficient Catalysts for the Hydrolytic Evolution of Hydrogen from Sodium Borohydride*
46. Atmospheric Mixing Ratios and Emissions of Sulfuryl Fluoride (So2f2) in China
47. Highly Efficient and Selective Reduction of Nitroarenes to N-Arylhydroxylamines Catalysed by Phosphine Oxide-Decorated Polymer Immobilized Ionic Liquid Stabilized Ruthenium Nanoparticles
48. Linearizability and Causality
49. Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
50. Convolution and concurrency
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.