Alexandra Martins da Silva


AuthID: R-000-NF7

Publicações a aguardar confirmação

1
TÍTULO: Convex language semantics for nondeterministic probabilistic automata PDF
AUTORES: Gerco van Heerdt; Justin Hsu; Joël Ouaknine; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: Theor. Comput. Sci., VOLUME: 1040
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
2
TÍTULO: A Demonic Outcome Logic for Randomized Nondeterminism
AUTORES: Noam Zilberstein; Dexter Kozen; Alexandra Silva; Joseph Tassarotti;
PUBLICAÇÃO: 2025, FONTE: Proc. ACM Program. Lang., VOLUME: 9, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: A Complete Diagrammatic Calculus for Automata Simulation
AUTORES: Thibaut Antoine; Robin Piedeleu; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: A Complete Inference System for Probabilistic Infinite Trace Equivalence
AUTORES: Corina Cîrstea; Lawrence S Moss; Victoria Noquez; Todd Schmid; Alexandra Silva; Ana Sokolova;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: On Formal Methods Thinking in Computer Science Education
AUTORES: Brijesh Dongol; Catherine Dubois; Stefan Hallerstede; Eric C R Hehner; Carroll Morgan; Peter Müller; Leila Ribeiro; Alexandra Silva; Graeme Smith; Erik P de Vink;
PUBLICAÇÃO: 2025, FONTE: Formal Aspects Comput., VOLUME: 37, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Denotational Semantics for Probabilistic and Concurrent Programs
AUTORES: Noam Zilberstein; Daniele Gorla; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.02768
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Multisets and Distributions
AUTORES: Dexter Kozen; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, VOLUME: 14560
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
AUTORES: Noam Zilberstein; Angelina Saliling; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: OOPSLA1
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: A Completeness Theorem for Probabilistic Regular Expressions
AUTORES: Wojciech Rozowski; Alexandra Silva;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024
INDEXADO EM: DBLP
NO MEU: DBLP
10
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
Página 1 de 12. Total de resultados: 119.

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

Links Úteis

Ajuda

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