Zachary J. Susag


AuthID: R-00K-Z5Y

Publicações a aguardar confirmação

1
TÍTULO: Symbolic Semantics for Probabilistic Programs
AUTORES: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLICAÇÃO: 2023, FONTE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
INDEXADO EM: DBLP
2
TÍTULO: Symbolic Semantics for Probabilistic Programs (extended version)
AUTORES: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.09951
INDEXADO EM: DBLP

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

Links Úteis

Ajuda

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