E-LIB Suche - Ergebnisse für: Silva, Alexandra

1

Outcome Separation Logic: Local Reasoning for Correctness a..:

Zilberstein, Noam ; Saliling, Angelina ; Silva, Alexandra
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 276-304 , 2024

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

2

Preface of the special issue on the conference on Computer-..:

Albarghouthi, Aws ; Leino, Rustan ; Silva, Alexandra.
Formal Methods in System Design. , 2024

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

3

KATch: A Fast Symbolic Verifier for NetKAT:

Moeller, Mark ; Jacobs, Jules ; Belanger, Olivier Savary...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1905-1928 , 2024

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

4

Multisets and Distributions:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Kozen, Dexter ; Silva, Alexandra - p. 168-187 , 2024

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

5

A Cyclic Proof System for Guarded Kleene Algebra with Tests:

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

Rooduijn, Jan ; Kozen, Dexter ; Silva, Alexandra - p. 257-275 , 2024

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

6

A Completeness Theorem for Probabilistic Regular Expression:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Różowski, Wojciech ; Silva, Alexandra - p. 1-14 , 2024

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

7

On Formal Methods Thinking in Computer Science Education:

Dongol, Brijesh ; Dubois, Catherine ; Hallerstede, Stefan...
Formal Aspects of Computing. , 2024

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

8

Outcome Logic: A Unifying Foundation for Correctness and In..:

Zilberstein, Noam ; Dreyer, Derek ; Silva, Alexandra
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 522-550 , 2023

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

9

Drug repurposing of dopaminergic drugs to inhibit ataxin-3 ..:

Figueiredo, Francisco ; Sárkány, Zsuzsa ; Silva, Alexandra...
Biomedicine & Pharmacotherapy. 165 (2023) - p. 115258 , 2023

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

10

Joint Distributions in Probabilistic Semantics:

Kozen, Dexter ; Silva, Alexandra ; Voogd, Erik
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

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

11

Deterministic stream-sampling for probabilistic programming..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Dahlqvist, Fredrik ; Silva, Alexandra ; Smith, William - p. 1-13 , 2023

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

12

The Relationship Between Childhood Abuse and Adult Attachme..:

Silva, Alexandra ; Ferreira, Simão ; Silva Pinto, Élia..
Journal of Aggression, Maltreatment & Trauma. 33 (2023) 2 - p. 236-254 , 2023

Link: https://doi.org/10.1080/..

13

Long-Term Mentoring for Computer Science Researchers:

Ruppel, Emily ; Liu, Sihang ; Garza, Elba...
Communications of the ACM. 66 (2023) 5 - p. 33-35 , 2023

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

14

28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATI..:

Silva, Alexandra ; Wassermann, Renata ; de Queiroz, Ruy
The Bulletin of Symbolic Logic. 29 (2023) 4 - p. 725 ff. , 2023

Link: https://www.jstor.org/st..

15

Mycotoxins in Rice Correlate with Other Contaminants? A Pil..:

Silva, Liliana J. G. ; Pereira, André M. P. T. ; Duarte, Sofia...
Toxins. 15 (2023) 4 - p. 291 , 2023

Link: https://doi.org/10.3390/..