E-LIB Suche - Ergebnisse für: Hayes, Ian J.

1

Genetic Testing Yield and Clinical Characteristics of Hyper..:

Earle, Nikki J. ; Winbo, Annika ; Crawford, Jackie...
Circulation: Heart Failure. 17 (2024) 3 - p. , 2024

2

Correction to: Evolution of surgical approach to rectal can..:

Sijmons, Julie M. L. ; Dekker, Jan Willem T. ; Tuynman, Jurriaan B....
International Journal of Colorectal Disease. 39 (2024) 1 - p. , 2024

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

3

Evolution of surgical approach to rectal cancer resection: ..:

Sijmons, Julie M L ; Dekker, Jan Willem T ; Tuynman, Jurriaan B...
International Journal of Colorectal Disease. 39 (2024) 1 - p. , 2024

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

4

Verifying Term Graph Optimizations using Isabelle/HOL:

, In: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Webb, Brae J. ; Hayes, Ian J. ; Utting, Mark - p. 320-333 , 2023

Link: https://dl.acm.org/doi/1..

5

Verifying Compiler Optimisations: (Invited Paper):

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Hayes, Ian J. ; Utting, Mark ; Webb, Brae J. - p. 3-8 , 2023

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

6

Re: catchy code names in trauma cannot replace surgical dec..:

Read, David J. ; Udayasiri, Dilshan ; Hayes, Ian
ANZ Journal of Surgery. 93 (2023) 10 - p. 2542-2542 , 2023

Link: https://doi.org/10.1111/..

7

Rare causes of abdominal pain: a primer for the admitting g..:

Hamilton, Jordan ; Milenkovski, Nicole ; Martin, Katherine...
ANZ Journal of Surgery. 93 (2023) 7-8 - p. 1773-1779 , 2023

Link: https://doi.org/10.1111/..

8

Biallelic ATP2B1 variants as a likely cause of a novel neur..:

Yap, Patrick ; Riley, Lisa G. ; Kakadia, Purvi M....
European Journal of Human Genetics. 32 (2023) 1 - p. 125-129 , 2023

Link: https://doi.org/10.1038/..

9

Specifying and Reasoning About Shared-Variable Concurrency:

, In: Theories of Programming and Formal Methods; Lecture Notes in Computer Science,

Hayes, Ian J. ; Jones, Cliff B. ; Meinicke, Larissa A. - p. 110-135 , 2023

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

10

Rare de novo gain-of-function missense variants in DOT1L ar..:

Nil, Zelha ; Deshwar, Ashish R. ; Huang, Yan...
The American Journal of Human Genetics. 110 (2023) 11 - p. 1919-1937 , 2023

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

11

Prevalence of Genetically Triggered Aortopathy in Acute Aor..:

Haran, Cheyaanthan ; Ghafouri, Khashayar ; Xu, William...
European Journal of Vascular and Endovascular Surgery. 66 (2023) 6 - p. 879-880 , 2023

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

12

Trace Models of Concurrent Valuation Algebras:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Evangelou-Oost, Naso ; Meinicke, Larissa ; Bannister, Callum. - p. 118-136 , 2023

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

13

Using cylindric algebra to support local variables in rely/..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),

Meinicke, Larissa A. ; Hayes, Ian J. - p. 108-119 , 2023

Link: https://doi.org/10.1109/..

14

Differential Testing of a Verification Framework for Compil..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),

Utting, Mark ; Webb, Brae J. ; Hayes, Ian J. - p. 66-75 , 2023

Link: https://doi.org/10.1109/..

15

A novel 11 base pair deletion in KMT2C resulting in Kleefst..:

Whitford, Whitney ; Taylor, Juliet ; Hayes, Ian...
Molecular Genetics & Genomic Medicine. 12 (2023) 1 - p. , 2023

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