| Relating BIP and reo K Dokter, SS Jongmans, F Arbab, S Bliudze arXiv preprint arXiv:1508.04848, 2015 | 13 | 2015 |
| Treo: Textual syntax for reo connectors K Dokter, F Arbab arXiv preprint arXiv:1806.09852, 2018 | 11 | 2018 |
| Rule-based form for stream constraints K Dokter, F Arbab International Conference on Coordination Languages and Models, 142-161, 2018 | 11 | 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 | 7 | 2017 |
| Scheduling games for concurrent systems K Dokter, SS Jongmans, F Arbab International Conference on Coordination Languages and Models, 84-100, 2016 | 7 | 2016 |
| Soft constraint automata with memory K Dokter, F Gadducci, F Santini It's All About Coordination, 70-85, 2018 | 2 | 2018 |
| Multilabeled Petri Nets K Dokter International Conference on Formal Aspects of Component Software, 106-126, 2019 | | 2019 |
| Reo Documentation K Dokter | | 2019 |
| Exposing Latent Mutual Exclusion by Work Automata K Dokter, F Arbab International Conference on Topics in Theoretical Computer Science, 59-73, 2017 | | 2017 |
| Journal of Logical and Algebraic Methods in Programming K Dokter, SS Jongmans, F Arbab, S Bliudze | | 2016 |
