E-LIB Suche - Ergebnisse für: Sewell, Thomas

1

Does virtual reality technology reduce pain and anxiety dur..:

Sewell, Thomas ; Fung, Yinka ; Al‐Kufaishi, Asmaa..
BJOG: An International Journal of Obstetrics & Gynaecology. 130 (2023) 12 - p. 1466-1472 , 2023

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

2

CN: Verifying Systems C Code with Separation-Logic Refineme..:

Pulte, Christopher ; Makwana, Dhruv C. ; Sewell, Thomas...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1-32 , 2023

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

3

Verified Security for the Morello Capability-enhanced Proto..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Bauereiss, Thomas ; Campbell, Brian ; Sewell, Thomas... - p. 174-203 , 2022

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

4

Cogent: uniqueness types and certifying compilation:

O'CONNOR, LIAM ; CHEN, ZILIN ; RIZKALLAH, CHRISTINE...
Journal of Functional Programming. 31 (2021) - p. , 2021

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

5

Proof pearl: Braun trees:

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

Nipkow, Tobias ; Sewell, Thomas - p. 18-31 , 2020

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

6

Designing Probiotic Therapies With Broad-Spectrum Activity ..:

Harrison, Xavier A. ; Sewell, Thomas ; Fisher, Matthew.
Frontiers in Microbiology. 10 (2020) - p. , 2020

Link: https://doi.org/10.3389/..

7

MARDy: Mycology Antifungal Resistance Database:

Nash, Anthony ; Sewell, Thomas ; Farrer, Rhys A...
Bioinformatics. 34 (2018) 18 - p. 3233-3234 , 2018

Link: https://doi.org/10.1093/..

8

The feasibility and safety of transvaginal bilateral salpin..:

Sewell, Thomas ; Courtney, Hannah ; Tawfeek, Sherif.
International Journal of Gynecology & Obstetrics. 141 (2018) 3 - p. 344-348 , 2018

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

9

High-assurance timing analysis for a high-assurance real-ti..:

Sewell, Thomas ; Kam, Felix ; Heiser, Gernot
Real-Time Systems. 53 (2017) 5 - p. 812-853 , 2017

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

10

Hierarchical multiscale simulations of crystalline β-octahy..:

Jiang, Shan ; Tao, Jun ; Sewell, Thomas D.
International Journal of Damage Mechanics. 26 (2017) 2 - p. 293-313 , 2017

Link: https://doi.org/10.1177/..

11

Cogent : Verifying High-Assurance File System Implementa..:

, In: Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems,

Amani, Sidney ; Hixon, Alex ; Chen, Zilin... - p. 175-188 , 2016

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

12

Cogent: Verifying High-Assurance File System Implementation:

Amani, Sidney ; Hixon, Alex ; Chen, Zilin...
ACM SIGPLAN Notices. 51 (2016) 4 - p. 175-188 , 2016

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

13

Nanoindentation of the Triclinic Molecular Crystal 1,3,5-Tr..:

Mathew, Nithin ; Sewell, Thomas D.
The Journal of Physical Chemistry C. 120 (2016) 15 - p. 8266-8277 , 2016

Link: https://doi.org/10.1021/..

14

Cogent: Verifying High-Assurance File System Implementation:

Amani, Sidney ; Hixon, Alex ; Chen, Zilin...
ACM SIGARCH Computer Architecture News. 44 (2016) 2 - p. 175-188 , 2016

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

15

CoGENT: Verifying High-Assurance File System Implementation:

Amani, Sidney ; Sewell, Thomas ; Tuong, Joseph...
ACM SIGOPS Operating Systems Review. 50 (2016) 2 - p. 175-188 , 2016

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