Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

1
TÍTULO: Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
AUTORES: Noam Zilberstein; Alexandra Silva; Joseph Tassarotti;
PUBLICAÇÃO: 2026, FONTE: Proc. ACM Program. Lang., VOLUME: 10, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway
AUTORES: Jonathan Aldrich; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: ECOOP, VOLUME: 333
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Kleene Algebra
AUTORES: Tobias Kappé; Alexandra Silva; Jana Wagemaker;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.11264
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, February 19-23, 2024, Naples, Italy
AUTORES: Aniello Murano; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CSL, VOLUME: 288
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada
AUTORES: Rupak Majumdar; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: CONCUR, VOLUME: 311
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria
AUTORES: Stefan Szeider; Robert Ganian; Alexandra Silva;
PUBLICAÇÃO: 2022, FONTE: MFCS, VOLUME: 241
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Models of Concurrent Kleene Algebra
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2020, FONTE: LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020., VOLUME: 73
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: An Algebraic Framework to Reason About Concurrency (Invited Talk)
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India., VOLUME: 150
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk)
AUTORES: Alexandra Silva;
PUBLICAÇÃO: 2019, FONTE: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., VOLUME: 138
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
AUTORES: Alexandra Silva; Sam Staton; Peter Sutton; Carla Umbach;
PUBLICAÇÃO: 2019, FONTE: TbiLLC, VOLUME: 11456
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 2. Total de resultados: 14.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service