| Treo: Textual syntax for reo connectors K Dokter, F Arbab arXiv preprint arXiv:1806.09852, 2018 | 17 | 2018 |
| Relating BIP and reo K Dokter, SS Jongmans, F Arbab, S Bliudze arXiv preprint arXiv:1508.04848, 2015 | 17 | 2015 |
| Rule-based form for stream constraints K Dokter, F Arbab Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018 | 14 | 2018 |
| Combine and conquer: Relating BIP and Reo K Dokter, SS Jongmans, F Arbab, S Bliudze Journal of logical and algebraic methods in programming 86 (1), 134-156, 2017 | 10 | 2017 |
| Scheduling games for concurrent systems K Dokter, SS Jongmans, F Arbab Coordination Models and Languages: 18th IFIP WG 6.1 International Conference …, 2016 | 10 | 2016 |
| Soft constraint automata with memory K Dokter, F Gadducci, F Santini It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018 | 9 | 2018 |
| Exposing latent mutual exclusion by work automata K Dokter, F Arbab Topics in Theoretical Computer Science: Second IFIP WG 1.8 International …, 2017 | 2 | 2017 |
| Protocol Scheduling K Dokter, F Arbab Fundamentals of Software Engineering: 9th International Conference, FSEN …, 2021 | 1 | 2021 |
| Multilabeled Petri Nets K Dokter Formal Aspects of Component Software: 16th International Conference, FACS …, 2020 | 1 | 2020 |
| Reo Documentation K Dokter | | 2019 |
| Journal of Logical and Algebraic Methods in Programming K Dokter, SS Jongmans, F Arbab, S Bliudze | | 2016 |
