Interpreting Diagrammatic Reasoning - Between Empiricism and Realism. - Michal Sochanski (Diagrams, 2018)

Experimenting with Diagrams in Mathematics. - Michal Sochanski (Diagrams, 2020)

Synthetic Tableaux: Minimal Tableau Search Heuristics. - Michal Sochanski; Dorota Leszczynska-Jasion; Szymon Chlebowski; Agata Tomczyk; Marcin Jukiewicz (IJCAR, 2022)

Representing Formulas of Propositional Logic by Cographs, Permutations and Tables. - Michal Sochanski (Diagrams, 2022)