E-LIB Suche - Ergebnisse für: Summers, Alexander J.

1

A Formal Model to Prove Instantiation Termination for E-mat..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Ge, Rui ; Garcia, Ronald ; Summers, Alexander J. - p. 419-438 , 2024

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

2

Disproportionate Rates of COVID-19 Among Black Canadian Com..:

Allen, Upton D. ; Barton, Michelle ; Upton, Julia...
Journal of Racial and Ethnic Health Disparities. , 2024

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

3

Towards Trustworthy Automated Program Verifiers: Formally V..:

Parthasarathy, Gaurav ; Dardinier, Thibault ; Bonneau, Benjamin..
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1510-1534 , 2024

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

4

SIRT1 Coordinates Transcriptional Regulation of Neural Acti..:

Kim, Hee-Dae ; Wei, Jing ; Call, Tanessa...
Biological Psychiatry. , 2024

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

5

Constructing process maps for pulsed wave laser additive ma..:

Summers, Alexander J. ; Yin, Houshang ; Fischer, Ralf D....
Journal of Manufacturing Processes. 104 (2023) - p. 138-149 , 2023

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

6

Paper-Based Vertical Flow Immunoassay for the Point-of-Care..:

Lacombe, Jerome ; Summers, Alexander J ; Khanishayan, Ashkan...
Cytogenetic and Genome Research. 163 (2023) 3-4 - p. 178-186 , 2023

Link: https://doi.org/10.1159/..

7

The Prusti Project: Formal Verification for Rust:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Astrauskas, Vytautas ; Bílý, Aurel ; Fiala, Jonáš... - p. 88-108 , 2022

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

8

Improving Linear Separability of Pulse Wave Laser Additive ..:

, In: 2022 American Control Conference (ACC),

Summers, Alexander J. ; Yin, Houshang ; Fischer, Ralf D.... - p. 2592-2597 , 2022

Link: https://doi.org/10.23919..

9

Optimization of an Antibody Microarray Printing Process Usi..:

Summers, Alexander J. ; Devadhasan, Jasmine P. ; Gu, Jian...
ACS Omega. 7 (2022) 36 - p. 32262-32271 , 2022

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

10

Fractional resources in unbounded separation logic:

Dardinier, Thibault ; Müller, Peter ; Summers, Alexander J.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1066-1092 , 2022

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

11

Sound Automation of Magic Wands:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Dardinier, Thibault ; Parthasarathy, Gaurav ; Weeks, Noé.. - p. 130-151 , 2022

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

12

Modular specification and verification of closures in Rust:

Wolff, Fabian ; Bílý, Aurel ; Matheja, Christoph..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

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

13

Shisa6 mediates cell-type specific regulation of depression..:

Kim, Hee-Dae ; Wei, Jing ; Call, Tanessa...
Molecular Psychiatry. 26 (2021) 12 - p. 7316-7327 , 2021

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

14

Reframing the Liskov substitution principle through the len..:

, In: Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E,

Baniassad, Elisa ; Summers, Alexander J. - p. 49-58 , 2021

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

15

Formally Validating a Practical Verification Condition Gene..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Parthasarathy, Gaurav ; Müller, Peter ; Summers, Alexander J. - p. 704-727 , 2021

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