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

1

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/..

2

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/..

3

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/..

4

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/..

5

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..

6

Minimisation in Logical Form:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Bezhanishvili, Nick ; Bonsangue, Marcello M. ; Hansen, Helle Hvid... - p. 89-127 , 2023

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

7

A Complete Inference System for Skip-free Guarded Kleene Al..:

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

Kappé, Tobias ; Schmid, Todd ; Silva, Alexandra - p. 309-336 , 2023

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

8

Symbolic Semantics for Probabilistic Programs:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Voogd, Erik ; Johnsen, Einar Broch ; Silva, Alexandra.. - p. 329-345 , 2023

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

9

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..

10

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/..

11

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/..

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

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/..

14

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/..

15

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/..