Andrzej Wasowski
AuthID: R-00H-A4B
1
TITLE: Symbolic Semantics for Probabilistic Programs
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, VOLUME: 14287
INDEXED IN: DBLP
2
TITLE: Symbolic Semantics for Probabilistic Programs (extended version)
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.09951
AUTHORS: Erik Voogd; Einar Broch Johnsen; Alexandra Silva; Zachary J Susag; Andrzej Wasowski;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.09951
INDEXED IN: DBLP
3
TITLE: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
AUTHORS: Andrzej Wasowski; Richard F Paige; Øystein Haugen;
PUBLISHED: 2018, SOURCE: MoDELS
AUTHORS: Andrzej Wasowski; Richard F Paige; Øystein Haugen;
PUBLISHED: 2018, SOURCE: MoDELS
INDEXED IN: DBLP
4
TITLE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
AUTHORS: Philippe Collet; Andrzej Wasowski; Thorsten Weyer;
PUBLISHED: 2014, SOURCE: VaMoS
AUTHORS: Philippe Collet; Andrzej Wasowski; Thorsten Weyer;
PUBLISHED: 2014, SOURCE: VaMoS
INDEXED IN: DBLP