Tool support for reasoning in display calculi. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (CoRR, 2016)

Software Tool Support for Modular Reasoning in Modal Logics of Actions. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (ITP, 2018)

Nominal String Diagrams. - Samuel Balco; Alexander Kurz 001 (CALCO, 2019)

Completeness of Nominal PROPs. - Samuel Balco; Alexander Kurz 001 (Log. Methods Comput. Sci., 2023)