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 Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
AUTORES: Robin Piedeleu; Mateo Torres Ruiz; Alexandra Silva; Fabio Zanasi;
PUBLICAÇÃO: 2025, FONTE: Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II, VOLUME: 15695
INDEXADO EM: DBLP
NO MEU: DBLP
3
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
4
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
5
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
6
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
7
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
8
TÍTULO: Active Learning of Symbolic NetKAT Automata
AUTORES: Mark Moeller; Tiago Ferreira; Thomas Lu; Nate Foster; Alexandra Silva;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.13794
INDEXADO EM: DBLP
NO MEU: DBLP
9
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
10
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
Página 1 de 12. Total de resultados: 120.

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