Joost Pieter Katoen
AuthID: R-00J-E4V
1
TITLE: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
AUTHORS: Marsha Chechik; Joost Pieter Katoen; Martin Leucker;
PUBLISHED: 2023, SOURCE: FM, VOLUME: 14000
AUTHORS: Marsha Chechik; Joost Pieter Katoen; Martin Leucker;
PUBLISHED: 2023, SOURCE: FM, VOLUME: 14000
INDEXED IN: 
DBLP
DBLP2
TITLE: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany
AUTHORS: Peter Rossmanith; Pinar Heggernes; Joost Pieter Katoen;
PUBLISHED: 2019, SOURCE: MFCS, VOLUME: 138
AUTHORS: Peter Rossmanith; Pinar Heggernes; Joost Pieter Katoen;
PUBLISHED: 2019, SOURCE: MFCS, VOLUME: 138
INDEXED IN: DBLP
DBLP3
TITLE: Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
AUTHORS: Gilles Barthe; Andrew D Gordon; Joost Pieter Katoen; Annabelle McIver;
PUBLISHED: 2015, SOURCE: Dagstuhl Reports, VOLUME: 5, ISSUE: 4
AUTHORS: Gilles Barthe; Andrew D Gordon; Joost Pieter Katoen; Annabelle McIver;
PUBLISHED: 2015, SOURCE: Dagstuhl Reports, VOLUME: 5, ISSUE: 4
INDEXED IN: DBLP
DBLP