| Decoherence in quantum walks – a review | 2007/11/23 | English | 6 |
| Towards a quantum programming language | 2004/08/01 | English | 6 |
| -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation | 2014/06/26 | English | 5 |
| Resource convertibility and ordered commutative monoids | 2015/10/12 | English | 3 |
| A new description of orthogonal bases | 2012/11/09 | English | 3 |
| Correctness of high-level transformation systems relative to nested conditions | 2009/04/01 | English | 3 |
| Quantum programming languages: survey and bibliography | 2006/07/24 | English | 3 |
| Generalizations of the distributed Deutsch–Jozsa promise problem | 2015/05/06 | English | 2 |
| Multi-amalgamation of rules with application conditions in -adhesive categories | 2014/06/26 | English | 2 |
| A categorical quantum logic | 2006/06/01 | English | 2 |
| Disintegration and Bayesian inversion via string diagrams | 2019/03/13 | English | 2 |
| Discrete-time and continuous-time modelling: some bridges and gaps | 2007/04/01 | English | 2 |
| A new constructive logic: classic logic | 1991/11/01 | English | 2 |
| A time-free uniform solution to subset sum problem by tissue P systems with cell division | 2015/02/27 | English | 2 |
| Toward a fundamental theorem of quantal measure theory | 2012/09/06 | English | 2 |
| Incomputability in Physics and Biology | 2012/09/06 | English | 2 |
| Reo: a channel-based coordination model for component composition | 2004/05/20 | English | 2 |
| A channel-based perspective on conjugate priors | 2020/01/01 | English | 2 |
| Polygraphs of finite derivation type | 2016/09/09 | English | 1 |
| Natural models of homotopy type theory | 2016/11/17 | English | 1 |
| Randomness in biology | 2014/03/28 | English | 1 |
| On asynchronous eventful session semantics | 2014/11/10 | English | 1 |
| Two-domain DNA strand displacement | 2013/02/28 | English | 1 |
| A formalism-local framework for general probabilistic theories, including quantum theory | 2013/02/28 | English | 1 |
| Combinatorial laplacians and positivity under partial transpose | 2008/02/01 | English | 1 |
| Quantum computation and quantum information | 2007/11/23 | English | 1 |
| Modelling general recursion in type theory | 2005/07/15 | English | 1 |
| Distributing probability over non-determinism | 2006/02/21 | English | 1 |
| Nilpotent types and fracture squares in homotopy type theory | 2020/05/01 | English | 1 |
| Premonoidal categories and notions of computation | 1997/10/01 | English | 1 |