Joost Pieter Katoen
AuthID: R-00J-E4V
1
TÃTULO: Formal Methods - 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
AUTORES: Marsha Chechik; Joost Pieter Katoen; Martin Leucker;
PUBLICAÇÃO: 2023, FONTE: FM, VOLUME: 14000
AUTORES: Marsha Chechik; Joost Pieter Katoen; Martin Leucker;
PUBLICAÇÃO: 2023, FONTE: FM, VOLUME: 14000
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany
AUTORES: Peter Rossmanith; Pinar Heggernes; Joost Pieter Katoen;
PUBLICAÇÃO: 2019, FONTE: MFCS, VOLUME: 138
AUTORES: Peter Rossmanith; Pinar Heggernes; Joost Pieter Katoen;
PUBLICAÇÃO: 2019, FONTE: MFCS, VOLUME: 138
INDEXADO EM: DBLP
DBLP3
TÃTULO: Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)
AUTORES: Gilles Barthe; Andrew D Gordon; Joost Pieter Katoen; Annabelle McIver;
PUBLICAÇÃO: 2015, FONTE: Dagstuhl Reports, VOLUME: 5, NÚMERO: 4
AUTORES: Gilles Barthe; Andrew D Gordon; Joost Pieter Katoen; Annabelle McIver;
PUBLICAÇÃO: 2015, FONTE: Dagstuhl Reports, VOLUME: 5, NÚMERO: 4
INDEXADO EM: DBLP
DBLP