Counter Abstraction in the CSP/FDR setting. - Tomasz Mazur; Gavin Lowe (AVoCS, 2007)

Model Checking Systems with Replicated Components using CSP. - Tomasz Mazur (2011)

A type reduction theory for systems with replicated components - Tomasz Mazur; Gavin Lowe (Log. Methods Comput. Sci., 2012)

CSP-based counter abstraction for systems with node identifiers. - Tomasz Mazur; Gavin Lowe (Sci. Comput. Program., 2014)

In-materio neuromimetic devices: Dynamics, information processing and pattern recognition. - Dawid Przyczyna; Piotr Zawal; Tomasz Mazur; Pier Luigi Gentili; Konrad Szacilowski (CoRR, 2020)

Analysis of the Planar Point Identification Accuracy in CMM Measurements. - Tomasz Mazur; Lenka Cepova; Tomasz Szymanski; Miroslaw Rucki (Sensors, 2022)

Reservoir Computing and Photoelectrochemical Sensors: A Marriage of Convenience. - Gisya Abdi; Lulu Alluhaibi; Ewelina Kowalewska; Tomasz Mazur; Krzysztof Mech; Agnieszka Podborska; Andrzej Slawek; Hirofumi Tanaka; Konrad Szacilowski (CoRR, 2025)