Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (ICE, 2015)

Scheduling Games for Concurrent Systems. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab (COORDINATION, 2016)

Exposing Latent Mutual Exclusion by Work Automata. - Kasper Dokter; Farhad Arbab (TTCS, 2017)

Combine and conquer: Relating BIP and Reo. - Kasper Dokter; Sung-Shik Jongmans; Farhad Arbab; Simon Bliudze (J. Log. Algebraic Methods Program., 2017)

Soft Constraint Automata with Memory. - Kasper Dokter; Fabio Gadducci; Francesco Santini 001 (It's All About Coordination, 2018)

Rule-Based Form for Stream Constraints. - Kasper Dokter; Farhad Arbab (COORDINATION, 2018)

Treo: Textual Syntax for Reo Connectors. - Kasper Dokter; Farhad Arbab (MeTRiD@ETAPS, 2018)

Multilabeled Petri Nets. - Kasper Dokter (FACS, 2019)

Protocol Scheduling. - Kasper Dokter; Farhad Arbab (FSEN, 2021)

Soft constraint automata with memory. - Kasper Dokter; Fabio Gadducci; Benjamin Lion; Francesco Santini 001 (J. Log. Algebraic Methods Program., 2021)