Radoslaw Piórkowski

20 papers A* 1A 1B 5Journal 12Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	One-Clock Synthesis Problems. STACS Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski
2026	J	`jnl`	One-clock synthesis problems. CoRR Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski
2026	J	`jnl`	Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words. CoRR Radoslaw Piórkowski
2026	J	`jnl`	Universal quantification makes automatic structures hard to decide. Log. Methods Comput. Sci. Christoph Haase, Radoslaw Piórkowski
2025	B	`conf`	Boundedness of Cost Register Automata over the Integer Min-Plus Semiring. CSL Andrei Draghici, Radoslaw Piórkowski, Andrew Ryzhikov
2023	B	`conf`	Universal Quantification Makes Automatic Structures Hard to Decide. CONCUR Christoph Haase, Radoslaw Piórkowski
2023	J	`jnl`	Universal quantification makes automatic structures hard to decide. CoRR Christoph Haase, Radoslaw Piórkowski
2022	J	`jnl`	Determinisability of register and timed automata. Log. Methods Comput. Sci. Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
2021	J	`jnl`	Determinisability of register and timed automata. CoRR Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
2020	B	`conf`	Determinisability of One-Clock Timed Automata. CONCUR Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
2020	J	`jnl`	Determinisability of one-clock timed automata. CoRR Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
2020	A*	`conf`	Timed Games and Deterministic Separability. ICALP Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
2020	J	`jnl`	Timed games and deterministic separability. CoRR Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
2020	J	`jnl`	WQO dichotomy for 3-graphs. Inf. Comput. Slawomir Lasota, Radoslaw Piórkowski
2019	B	`conf`	New Pumping Technique for 2-Dimensional VASS. MFCS Wojciech Czerwinski, Slawomir Lasota, Christof Löding, Radoslaw Piórkowski
2019	J	`jnl`	New Pumping Technique for 2-dimensional VASS. CoRR Wojciech Czerwinski, Slawomir Lasota, Christof Löding, Radoslaw Piórkowski
2018	—	`conf`	Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method". FSTTCS Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude
2018	J	`jnl`	The "Hilbert Method" for Solving Transducer Equivalence Problems. CoRR Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude
2018	B	`conf`	WQO Dichotomy for 3-Graphs. FoSSaCS Slawomir Lasota, Radoslaw Piórkowski
2018	J	`jnl`	WQO dichotomy for 3-graphs. CoRR Slawomir Lasota, Radoslaw Piórkowski