Kasper Dokter

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 9

Top Topics

Probabilistic Automata

Concurrent Systems

Soft Constraints

Top Venues

J. Log. Algebraic Methods Program.

Publications

Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini
Soft constraint automata with memory. J. Log. Algebraic Methods Program. 118 (2021)
Kasper Dokter, Farhad Arbab
Protocol Scheduling. FSEN (2021)
Kasper Dokter
Multilabeled Petri Nets. FACS (2019)
Kasper Dokter, Farhad Arbab
Treo: Textual Syntax for Reo Connectors. MeTRiD@ETAPS (2018)
Kasper Dokter, Fabio Gadducci, Francesco Santini
Soft Constraint Automata with Memory. It's All About Coordination (2018)
Kasper Dokter, Farhad Arbab
Rule-Based Form for Stream Constraints. COORDINATION (2018)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Combine and conquer: Relating BIP and Reo. J. Log. Algebraic Methods Program. 86 (1) (2017)
Kasper Dokter, Farhad Arbab
Exposing Latent Mutual Exclusion by Work Automata. TTCS (2017)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab
Scheduling Games for Concurrent Systems. COORDINATION (2016)
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze
Relating BIP and Reo. ICE (2015)