I agree that this site is using cookies. You can find further informations here.
X
Silva, Alexandra
2292  results:
Articles (Online) X
Search for persons X
?
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

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

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

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

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

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

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

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

Arsenic in Portuguese Rice: Is There Any Risk?:

Silva, Alexandra ; Pereira, André ; Silva, Liliana.
Foods.  11 (2022)  3 - p. 277 , 2022
Link: https://doi.org/10.3390/..
 
?
13

Anti-photoaging Cream using a Quercus Suber Extract:

Oliveira, Adriana ; Silva, Alexandra ; Neves, Catarina...
U.Porto Journal of Engineering.  8 (2022)  5 - p. 19-30 , 2022
Link: https://doi.org/10.24840..
 
?
14

A Robust Assay to Monitor Ataxin-3 Amyloid Fibril Assembly:

Figueiredo, Francisco ; Lopes-Marques, Mónica ; Almeida, Bruno...
Cells.  11 (2022)  12 - p. 1969 , 2022
Link: https://doi.org/10.3390/..
 
?
15

Interactions between the common dolphin, Delphinus delphis,..:

Dias, Inês C. ; Marçalo, Ana ; Feijó, Diana..
Aquatic Conservation: Marine and Freshwater Ecosystems.  32 (2022)  8 - p. 1351-1364 , 2022
Link: https://doi.org/10.1002/..
 
1-15