| Programming with algebraic effects and handlers | 2015/01/01 | English | 54 |
| On topologies defined by irreducible sets | 2015/01/01 | English | 33 |
| Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints | 2016/02/01 | English | 30 |
| Designing context-aware systems: A method for understanding and analysing context in practice | 2019/02/01 | English | 25 |
| Semantics of global view of choreographies | 2018/02/01 | English | 21 |
| Rewriting modulo SMT and open system analysis | 2017/01/01 | English | 16 |
| Reversibility and asymmetric conflict in event structures | 2015/11/01 | English | 16 |
| From distributed coordination to field calculus and aggregate computing | 2019/12/01 | English | 14 |
| Variability encoding: From compile-time to load-time variability | 2016/01/01 | English | 14 |
| Incremental model checking of delta-oriented software product lines | 2016/01/01 | English | 14 |
| Algebraic modal correspondence: Sahlqvist and beyond | 2017/10/01 | English | 13 |
| Normal forms and normal theories in conditional rewriting | 2016/01/01 | English | 13 |
| Product programs and relational program logics | 2016/08/01 | English | 13 |
| From probability monads to commutative effectuses | 2018/01/01 | English | 12 |
| Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance | 2017/01/01 | English | 11 |
| Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model | 2019/04/01 | English | 11 |
| Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases | 2015/01/01 | English | 11 |
| A theory of reversibility for Erlang | 2018/11/01 | English | 11 |
| Reversible session-based pi-calculus | 2015/09/01 | English | 10 |
| Join inverse categories and reversible recursion | 2017/02/01 | English | 10 |
| An experience in using machine learning for short-term predictions in smart transportation systems | 2017/02/01 | English | 10 |
| Precise subtyping for synchronous multiparty sessions | 2019/04/01 | English | 10 |
| The PBPO graph transformation approach | 2019/02/01 | English | 9 |
| Programming and symbolic computation in Maude | 2020/01/01 | English | 9 |
| Integrating deployment architectures and resource consumption in timed object-oriented models | 2015/01/01 | English | 9 |
| An exercise on the generation of many-valued dynamic logics | 2016/08/01 | English | 9 |
| Configuration logics: Modeling architecture styles | 2017/01/01 | English | 9 |
| Relation lifting, a survey | 2016/06/01 | English | 9 |
| Formal methods for web security | 2017/02/01 | English | 9 |
| Relating two automata-based models of orchestration and choreography | 2016/04/01 | English | 8 |