Andrzej Wasowski
AuthID: R-00H-A4B
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
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
DBLP2
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
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
DBLP3
TÃTULO: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
AUTORES: Andrzej Wasowski; Richard F Paige; Øystein Haugen;
PUBLICAÇÃO: 2018, FONTE: MoDELS
AUTORES: Andrzej Wasowski; Richard F Paige; Øystein Haugen;
PUBLICAÇÃO: 2018, FONTE: MoDELS
INDEXADO EM: DBLP
DBLP4
TÃTULO: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
AUTORES: Philippe Collet; Andrzej Wasowski; Thorsten Weyer;
PUBLICAÇÃO: 2014, FONTE: VaMoS
AUTORES: Philippe Collet; Andrzej Wasowski; Thorsten Weyer;
PUBLICAÇÃO: 2014, FONTE: VaMoS
INDEXADO EM: DBLP
DBLP