Kasper Dokter

Full Name

K.P.C. Dokter

Email

K.P.C.Dokter@cwi.nl

Room

L333

Department(s)

Cryptology

Function(s)

PhD student

Kasper Dokter

Dokter, K.P.C, & Arbab, F. (2021). Protocol scheduling. In Proceedings of the International Conference on Fundamentals of Software Engineering (pp. 3–17). doi:10.1007/978-3-030-89247-0_1
Dokter, K.P.C, Gadducci, F, Lion, B, & Santini, F. (2021). Soft constraint automata with memory. Journal of Logical and Algebraic Methods in Programming, 118. doi:10.1016/j.jlamp.2020.100615
Dokter, K.P.C, & Arbab, F. (2018). Treo: Textual syntax for Reo connectors. In Electronic Proceedings in Theoretical Computer Science, EPTCS (pp. 121–135). doi:10.4204/EPTCS.272.10
Dokter, K.P.C, Gadducci, F, & Santini, F. (2018). Soft constraint automata with memory. In F.S de Boer, M.M Bonsangue, & J.J.M.M Rutten (Eds.), It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (pp. 70–85). doi:10.1007/978-3-319-90089-6_6
Dokter, K.P.C, & Arbab, F. (2018). Rule-based form for stream constraints. In COORDINATION 2018: Coordination Models and Languages (pp. 142–161). doi:10.1007/978-3-319-92408-3_6
Dokter, K.P.C, & Arbab, F. (2017). Exposing latent mutual exclusion by work automata. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 59–73). doi:10.1007/978-3-319-68953-1_6
Dokter, K.P.C, Jongmans, S.-S.T.Q, Arbab, F, & Bliudze, S. (2017). Combine and conquer: Relating BIP and Reo. Journal of Logical and Algebraic Methods in Programming, 86(1), 134–156. doi:10.1016/j.jlamp.2016.09.008
Dokter, K.P.C, Jongmans, S.-S.T.Q, & Arbab, F. (2016). Scheduling games for concurrent systems. Presented at the International Conference on Coordination Languages and Models. doi:10.1007/978-3-319-39519-7_6
Dokter, K.P.C, Jongmans, S.-S.T.Q, Arbab, F, & Bliudze, S. (2015). Relating BIP and Reo. In S Knight, I Lanese, A Lluch Lafuente, & H.T Vieira (Eds.), . doi:10.4204/EPTCS.189.3