![](/binaries/content/gallery/ul2/portraits/science/k/pieter-kwantes-liacs.jpg/pieter-kwantes-liacs.jpg/d200x250)
Pieter Kwantes
Lecturer
- Name
- Drs. P.M. Kwantes
- Telephone
- +31 71 527 7036
- p.m.kwantes@liacs.leidenuniv.nl
Lecturer
- Science
- Leiden Inst of Advanced Computer Science
Guest
- Science
- Leiden Inst of Advanced Computer Science
- Kwantes P.M. & Kleijn H.C.M. (2022), Distributed synthesis of asynchronously communicating distributed process models. In: Koutny M., Kordon F. & Moldt D. (Eds.), Transactions on Petri nets and other models of concurrency XVI. Lecture Notes in Computer Science no. 13220. Berlin, Heidelberg: Springer. 49-72.
- Kwantes P.M. & Kleijn H.C.M. (2020), On discovering distributed process models : the case of asynchronous communication. Aalst W. van der, Bergenthum R. & Carmona J. (Eds.), Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020. ATAED 2000 International Workshop on Algorithms & Theories for the Analysis of Event Data 2020 24 June 2020 - 24 June 2020: CEUR. 49-65.
- Kwantes P.M. & Kleijn H.C.M. (2018), On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. Aalst W. van der, Bergenthum R. & Carmona J. (Eds.), Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018. Algorithms & Theories for the Analysis of Event Data 2018 (ATAED 2018) 25 June 2018 - 25 June 2018 no. 2115 6-22.
- Kwantes P.M., Gorp P. van, Kleijn J. & Rensink A. (2015), Towards Compliance Verification Between Global and Local Process Models. Parisi-Presicce F. & Westfechtel B. (Eds.), Graph Transformation. International Conference of Graph Transformation 21 July 2015 - 23 July 2015 no. 9151. L'Aquila: Springer. 221-236.