Radoslaw Pirkowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Scoped MSO, Register Automata, and Expressions: Equivalence over Data Words. | Radoslaw Pirkowski |
| 2026 | STACS | One-Clock Synthesis Problems. | Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Pirkowski |
| 2025 | CSL | Boundedness of Cost Register Automata over the Integer Min-Plus Semiring. | Andrei Draghici, Radoslaw Pirkowski, Andrew Ryzhikov |
| 2023 | CONCUR | Universal Quantification Makes Automatic Structures Hard to Decide. | Christoph Haase, Radoslaw Pirkowski |
| 2020 | CONCUR | Determinisability of One-Clock Timed Automata. | Lorenzo Clemente, Slawomir Lasota, Radoslaw Pirkowski |
| 2020 | ICALP | Timed Games and Deterministic Separability. | Lorenzo Clemente, Slawomir Lasota, Radoslaw Pirkowski |
| 2019 | MFCS | New Pumping Technique for 2-Dimensional VASS. | Wojciech Czerwinski, Slawomir Lasota, Christof Lding, Radoslaw Pirkowski |
| 2018 | FOSSACS | WQO Dichotomy for 3-Graphs. | Slawomir Lasota, Radoslaw Pirkowski |