| Overview of Thirty Semantic Formalisms for Reo SS Jongmans, F Arbab Scientific Annals of Computer Science 22 (1), 201-251, 2012 | 106 | 2012 |
| Distributed Programming using Role-Parametric Session Types in Go D Castro, R Hu, SS Jongmans, N Ng, N Yoshida Proceedings of the ACM on Programming Languages 3 (POPL 2019), 29:1-30, 2019 | 81* | 2019 |
| Automatic Code Generation for the Orchestration of Web Services with Reo SS Jongmans, F Santini, M Sargolzaei, F Arbab, H Afsarmanesh Proceedings of ESOCC 2012 (European Conference on Service-Oriented and Cloud …, 2012 | 49 | 2012 |
| Global consensus through local synchronization: A formal basis for partially-distributed coordination SS Jongmans, F Arbab Science of Computer Programming 115, 199-224, 2016 | 32* | 2016 |
| Model Checking Agent Programs by Using the Program Interpreter SS Jongmans, K Hindriks, B van Riemsdijk Proceedings of CLIMA 2010 (International Workshop on Computational Logic in …, 2010 | 31 | 2010 |
| Partially-Distributed Coordination with Reo SS Jongmans, F Santini, F Arbab Proceedings of PDP 2014 (International Euromicro Conference on Parallel …, 2014 | 29 | 2014 |
| Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types SS Jongmans, N Yoshida Proceedings of ESOP 2020 (European Symposium on Programming), LNCS 12075 …, 2020 | 28 | 2020 |
| A Predicate Transformer for Choreographies SS Jongmans, P van den Bos Proceedings of ESOP 2022 (European Symposium on Programming), LNCS 13240 …, 2022 | 27* | 2022 |
| Orchestrating web services using Reo: from circuits and behaviors to automatically generated code SS Jongmans, F Santini, M Sargolzaei, F Arbab, H Afsarmanesh Service Oriented Computing and Applications 8 (4), 277-297, 2013 | 27 | 2013 |
| API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 G Cledou, L Edixhoven, SS Jongmans, J Proença Proceedings of ECOOP 2022 (European Conference on Object-Oriented …, 2022 | 26 | 2022 |
| Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic Models SS Jongmans, C Krause, F Arbab Proceedings of COORDINATION 2011 (International Conference on Coordination …, 2011 | 25 | 2011 |
| Discourje: Runtime Verification of Communication Protocols in Clojure R Hamers, SS Jongmans Proceedings of TACAS 2020 (International Conference on Tools and Algorithms …, 2020 | 24 | 2020 |
| Automata-Theoretic Protocol Programming SS Jongmans PhD thesis, Leiden University, 2016 | 24* | 2016 |
| Global Consensus through Local Synchronization SS Jongmans, F Arbab Proceedings of FOCLASA 2013 (International Workshop on Foundations of …, 2013 | 22* | 2013 |
| Modularizing and Specifying Protocols among Threads SS Jongmans, F Arbab Proceedings of PLACES 2012 (International Workshop on Programming Language …, 2013 | 22 | 2013 |
| Constraint automata with memory cells and their composition SS Jongmans, T Kappé, F Arbab Science of Computer Programming 146, 50-86, 2017 | 21 | 2017 |
| Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms SS Jongmans, S Halle, F Arbab Proceedings of COORDINATION 2014 (International Conference on Coordination …, 2014 | 18 | 2014 |
| Relating BIP and Reo K Dokter, SS Jongmans, F Arbab, S Bliudze Proceedings of ICE 2015 (Interaction and Concurrency Experience), EPTCS 189 …, 2015 | 17 | 2015 |
| Partially distributed coordination with Reo and constraint automata SS Jongmans, F Santini, F Arbab Service Oriented Computing and Applications 9 (3), 311-339, 2015 | 17 | 2015 |
| Reo: A Dataflow Inspired Language for Multicore SS Jongmans, S Halle, F Arbab Proceedings of DFM 2013 (Workshop on Data-Flow Execution Models for Extreme …, 2014 | 16 | 2014 |
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
