| Semantic Representation of Domain Knowledge for Professional VR Training. | 0 | 0.34 | 2021 |
| Diagrammatic Polyhedral Algebra. | 0 | 0.34 | 2021 |
| Compositional Diagrammatic First-Order Logic. | 0 | 0.34 | 2020 |
| Calculational Proofs in Relational Graphical Linear Algebra. | 0 | 0.34 | 2020 |
| Contextual Equivalence for Signal Flow Graphs. | 0 | 0.34 | 2020 |
| Confluence of Graph Rewriting with Interfaces. | 0 | 0.34 | 2017 |
| The Calculus of Signal Flow Diagrams I: Linear relations on streams. | 0 | 0.34 | 2017 |
| Modelling Adaptive Networks: The Case of the Petrified Voters. | 0 | 0.34 | 2014 |
| Report on CALCO 2013. | 0 | 0.34 | 2013 |
