Kasper Dokter

According to our database, Kasper Dokter authored at least 10 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Soft constraint automata with memory.

Kasper Dokter, Fabio Gadducci, Benjamin Lion, Francesco Santini

J. Log. Algebraic Methods Program., 2021

Protocol Scheduling.

Kasper Dokter, Farhad Arbab

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2019

Multilabeled Petri Nets.

Kasper Dokter

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Treo: Textual Syntax for Reo Connectors.

Kasper Dokter, Farhad Arbab

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Rule-Based Form for Stream Constraints.

Kasper Dokter, Farhad Arbab

Proceedings of the Coordination Models and Languages, 2018

Soft Constraint Automata with Memory.

Kasper Dokter, Fabio Gadducci, Francesco Santini

Proceedings of the It's All About Coordination, 2018

2017

Combine and conquer: Relating BIP and Reo.

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze

J. Log. Algebraic Methods Program., 2017

Exposing Latent Mutual Exclusion by Work Automata.

Kasper Dokter, Farhad Arbab

Proceedings of the Topics in Theoretical Computer Science, 2017

2016

Scheduling Games for Concurrent Systems.

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab

Proceedings of the Coordination Models and Languages, 2016

2015

Relating BIP and Reo.

Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015