Radoslaw Piórkowski

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 15

Top Topics

Series Parallel

Reachability Analysis

Weighted Majority

First Order Logic

Top Venues

Publications

Christoph Haase, Radoslaw Piórkowski
Universal quantification makes automatic structures hard to decide. CoRR (2023)
Christoph Haase, Radoslaw Piórkowski
Universal Quantification Makes Automatic Structures Hard to Decide. CONCUR (2023)
Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
Determinisability of register and timed automata. Log. Methods Comput. Sci. 18 (2) (2022)
Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
Determinisability of register and timed automata. CoRR (2021)
Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
Timed Games and Deterministic Separability. ICALP (2020)
Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
Determinisability of One-Clock Timed Automata. CONCUR (2020)
Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
Determinisability of one-clock timed automata. CoRR (2020)
Lorenzo Clemente, Slawomir Lasota, Radoslaw Piórkowski
Timed games and deterministic separability. CoRR (2020)
Slawomir Lasota, Radoslaw Piórkowski
WQO dichotomy for 3-graphs. Inf. Comput. 275 (2020)
Wojciech Czerwinski, Slawomir Lasota, Christof Löding, Radoslaw Piórkowski
New Pumping Technique for 2-Dimensional VASS. MFCS (2019)
Wojciech Czerwinski, Slawomir Lasota, Christof Löding, Radoslaw Piórkowski
New Pumping Technique for 2-dimensional VASS. CoRR (2019)
Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude
The "Hilbert Method" for Solving Transducer Equivalence Problems. CoRR (2018)
Slawomir Lasota, Radoslaw Piórkowski
WQO Dichotomy for 3-Graphs. FoSSaCS (2018)
Adrien Boiret, Radoslaw Piórkowski, Janusz Schmude
Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method". FSTTCS (2018)
Slawomir Lasota, Radoslaw Piórkowski
WQO dichotomy for 3-graphs. CoRR (2018)