Radosław Piórkowski

From MaRDI portal
Person:1653015



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Boundedness of cost register automata over the integer min-plus semiring2026-06-09Paper
Universal quantification makes automatic structures hard to decide
Logical Methods in Computer Science
2026-03-23Paper
Timed games and deterministic separability2026-03-18Paper
Universal quantification makes automatic structures hard to decide2025-06-26Paper
Determinisability of register and timed automata
(available as arXiv preprint)
2022-08-02Paper
Determinisability of register and timed automata2022-08-02Paper
scientific article; zbMATH DE number 7561353 (Why is no real title available?)
(available as arXiv preprint)
2022-07-21Paper
New pumping technique for 2-dimensional VASS
(available as arXiv preprint)
2022-07-21Paper
scientific article; zbMATH DE number 7559498 (Why is no real title available?)
(available as arXiv preprint)
2022-07-18Paper
WQO dichotomy for 3-graphs
Information and Computation
2020-12-15Paper
WQO dichotomy for 3-graphs
Lecture Notes in Computer Science
2018-07-17Paper


Research outcomes over time


This page was built for person: Radosław Piórkowski