Scholar
Paweł Parys
Google Scholar ID: HNws2BAAAAAJ
Uniwersytet Warszawski
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
329
H-index
9
i10-index
7
Publications
20
Co-authors
0
Publications
6 items
Weak Bisimulation Finiteness of Pushdown Systems With Deterministic $\varepsilon$-Transitions Is 2-ExpTime-Complete
2026
Cited
0
Subsumption in $\mathcal{FL}_{\bot \mathit{reg}}$ with TBoxes Is in ExpTime
2026
Cited
0
Generalised Quantifiers Based on Rabin-Mostowski Index
arXiv.org · 2026
Cited
0
A finer reparameterisation theorem for MSO and FO queries on strings
2025
Cited
0
Constrained Adaptive Rejection Sampling
2025
Cited
0
A Dichotomy Theorem for Ordinal Ranks in MSO
2025
Cited
0
