| Relational style laws and constructs of linear algebra | 2014/03/01 | English | 4 |
| Programming and automating mathematics in the Tarski–Kleene hierarchy | 2014/03/01 | English | 4 |
| Nested-unit Petri nets | 2019/04/01 | English | 4 |
| Deconstructing Lawvere with distributive laws | 2018/02/01 | English | 4 |
| A logical study of group-size based social network creation | 2019/08/01 | English | 4 |
| Algebraic properties of stochastic effectivity functions | 2014/05/01 | English | 3 |
| Applications and extensions of context-sensitive rewriting | 2021/06/01 | English | 3 |
| Content dependent information flow control | 2017/02/01 | English | 3 |
| Certifying data in multiparty session types | 2017/08/01 | English | 3 |
| An evaluation of interaction paradigms for active objects | 2019/02/01 | English | 3 |
| Algebraic solution of minimax single-facility constrained location problems with Chebyshev and rectilinear distances | 2020/10/01 | English | 3 |
| Verifying minimum spanning tree algorithms with Stone relation algebras | 2018/12/01 | English | 3 |
| Cost-related interface for software product lines | 2016/01/01 | English | 3 |
| Declarative layout constraints for testing web applications | 2016/08/01 | English | 3 |
| Programming from metaphorisms | 2018/01/01 | English | 3 |
| A uniform approach to completions of posets | 2019/08/01 | English | 3 |
| Solving computational tasks on finite topologies by means of relation algebra and the RelView tool | 2017/04/01 | English | 3 |
| Formalization of Habanero phasers using Coq | 2017/08/01 | English | 3 |
| Revisiting sequential composition in process calculi | 2015/11/01 | English | 3 |
| “Keep definition, change category” — A practical approach to state-based system calculi | 2016/06/01 | English | 3 |
| To every manifest domain a CSP expression – a rôle for mereology in computer science | 2018/01/01 | English | 3 |
| Input–output conformance testing for software product lines | 2016/10/01 | English | 3 |
| A stable non-interleaving early operational semantics for the pi-calculus | 2019/04/01 | English | 3 |
| Possible values: Exploring a concept for concurrency | 2016/08/01 | English | 3 |
| Continuity as a computational effect | 2016/08/01 | English | 3 |
| Algorithmic debugging generalized | 2018/06/01 | English | 3 |
| Complete algebraic solution of multidimensional optimization problems in tropical semifield | 2018/10/01 | English | 3 |
| Verification of finite-state machines: A distributed approach | 2018/04/01 | English | 3 |
| The origins of the halting problem | 2021/06/01 | English | 3 |
| A dynamic logic for learning theory | 2019/12/01 | English | 3 |