Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method". - Adrien Boiret; Radoslaw Piórkowski; Janusz Schmude (FSTTCS, 2018)

The "Hilbert Method" for Solving Transducer Equivalence Problems. - Adrien Boiret; Radoslaw Piórkowski; Janusz Schmude (CoRR, 2018)

New Pumping Technique for 2-Dimensional VASS. - Wojciech Czerwinski; Slawomir Lasota 001; Christof Löding; Radoslaw Piórkowski (MFCS, 2019)

Determinisability of One-Clock Timed Automata. - Lorenzo Clemente; Slawomir Lasota 001; Radoslaw Piórkowski (CONCUR, 2020)

Timed Games and Deterministic Separability. - Lorenzo Clemente; Slawomir Lasota 001; Radoslaw Piórkowski (ICALP, 2020)

WQO dichotomy for 3-graphs. - Slawomir Lasota 001; Radoslaw Piórkowski (Inf. Comput., 2020)

Determinisability of register and timed automata. - Lorenzo Clemente; Slawomir Lasota 001; Radoslaw Piórkowski (Log. Methods Comput. Sci., 2022)

Universal Quantification Makes Automatic Structures Hard to Decide. - Christoph Haase; Radoslaw Piórkowski (CONCUR, 2023)

Boundedness of Cost Register Automata over the Integer Min-Plus Semiring. - Andrei Draghici; Radoslaw Piórkowski; Andrew Ryzhikov (CSL, 2025)