Paweł Parys
Uniwersytet Warszawski
H-index: 15
Europe-Poland
Top articles of Paweł Parys
Extending the WMSO+ U Logic with Quantification over Tuples
2024
Paweł Parys
H-Index: 11
Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games
2023/7/19
Paweł Parys
H-Index: 11
Cost automata, safe schemes, and downward closures
Fundamenta Informaticae
2023/4/18
Lorenzo Clemente
H-Index: 12
Paweł Parys
H-Index: 11
Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete
2023
A recursive approach to solving parity games in quasipolynomial time
Logical Methods in Computer Science
2022/1/12
The Caucal hierarchy: Interpretations in the (W) MSO+ U logic
Information and Computation
2022/7/1
Paweł Parys
H-Index: 11
Unboundedness for Recursion Schemes: A Simpler Type System
arXiv preprint arXiv:2204.11023
2022/4/23
Paweł Parys
H-Index: 11
Higher-order model checking step by step
arXiv preprint arXiv:2105.01861
2021/5/5
Paweł Parys
H-Index: 11
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
2021/1
Bartek Klin
H-Index: 13
Samson Abramsky
H-Index: 29
Giulio Guerrieri
H-Index: 11
Adrian Francalanza
H-Index: 20
Karoliina Lehtinen
H-Index: 7
Wan Fokkink
H-Index: 15
Bas Luttik
H-Index: 10
Paweł Parys
H-Index: 11
Nicole Schweikardt
H-Index: 13
Mark Bickford
H-Index: 9
Liron Cohen
H-Index: 12
Vincent Rahli
H-Index: 9
Anuj Dawar
H-Index: 17
Yannick Forster
H-Index: 11
Merlin Göttlinger
H-Index: 2
Lutz Schröder
H-Index: 16
Dirk Pattinson
H-Index: 16
Miika Hannula
H-Index: 10
Juha Kontinen
H-Index: 15
Jonni Virtema
H-Index: 13
Martín Hötzel Escardó
H-Index: 15
Takeshi Tsukada
H-Index: 9
Naoki Kobayashi
H-Index: 7
Jules Hedges
H-Index: 7
Paweł Sobociński
H-Index: 2
Long Pham
H-Index: 1
Jan Hoffmann
H-Index: 22
Alexander Rabinovich
H-Index: 17
Shelah-Stupp’s and Muchnik’s Iterations Revisited
2021
Paweł Parys
H-Index: 11
A quasi-polynomial black-box algorithm for fixed point evaluation
2021
Paweł Parys
H-Index: 11
Higher-order nonemptiness step by step
arXiv preprint arXiv:2009.08174
2020/9/17
Paweł Parys
H-Index: 11
On the Expressive Power of Higher-Order Pushdown Systems
Logical Methods in Computer Science
2020/8/20
Paweł Parys
H-Index: 11
A type system describing unboundedness
Discrete Mathematics & Theoretical Computer Science
2020/8/18
Paweł Parys
H-Index: 11
Bisimulation finiteness of pushdown systems is elementary
2020/7/8
Paweł Parys
H-Index: 11
Compositionality of the MSO+ U Logic
arXiv preprint arXiv:2005.02384
2020/5/5
Paweł Parys
H-Index: 11
Recursion schemes, the MSO logic, and the U quantifier
Logical Methods in Computer Science
2020/2/18
Paweł Parys
H-Index: 11
28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
2020
Véronique Cortier
H-Index: 24
Anuj Dawar
H-Index: 17
Artur Jeż
H-Index: 14
Eduardo Bonelli
H-Index: 7
Roberto Maieli
H-Index: 3
Dana Angluin
H-Index: 27
Orna Kupferman
H-Index: 26
Paul Brunet
H-Index: 7
Anupam Das
H-Index: 2
Robert Harper
H-Index: 4
Yijia Chen
H-Index: 9
Robin Cockett
H-Index: 15
Alessio Mansutti
H-Index: 6
Thomas Ferrère
H-Index: 10
Bernhard Kragl
H-Index: 4
Giulio Guerrieri
H-Index: 11
Jurriaan Rot
H-Index: 11
Tim Lyon
H-Index: 4
Alwen Tiu
H-Index: 15
Ranald Clouston
H-Index: 9
Martin Zimmermann
H-Index: 11
Paweł Parys
H-Index: 11
Robert Passmann
H-Index: 3
Martin Ziegler
H-Index: 25
José Espírito Santo
H-Index: 5
Jonas Schmidt
H-Index: 1
Thomas Schwentick
H-Index: 23
Ioannis Kokkinis
H-Index: 5