CUFinder

Paweł Parys

About Paweł Parys

Paweł Parys, With an exceptional h-index of 15 and a recent h-index of 9 (since 2020), a distinguished researcher at Uniwersytet Warszawski,

His recent articles reflect a diverse array of research interests and contributions to the field:

Extending the WMSO+ U Logic with Quantification over Tuples

Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games

The Probabilistic Rabin Tree Theorem*

Cost automata, safe schemes, and downward closures

Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete

A recursive approach to solving parity games in quasipolynomial time

The Caucal hierarchy: Interpretations in the (W) MSO+ U logic

Unboundedness for Recursion Schemes: A Simpler Type System

Paweł Parys Information

University

Position

___

Citations(all)

629

Citations(since 2020)

308

Cited By

483

hIndex(all)

15

hIndex(since 2020)

9

i10Index(all)

19

i10Index(since 2020)

7

Email

University Profile Page

Google Scholar

Top articles of Paweł Parys

Extending the WMSO+ U Logic with Quantification over Tuples

2024

Paweł Parys
Paweł Parys

H-Index: 11

Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games

2023/7/19

Paweł Parys
Paweł Parys

H-Index: 11

The Probabilistic Rabin Tree Theorem*

2023/6/26

Paweł Parys
Paweł Parys

H-Index: 11

Michał Skrzypczak
Michał Skrzypczak

H-Index: 10

Cost automata, safe schemes, and downward closures

Fundamenta Informaticae

2023/4/18

Lorenzo Clemente
Lorenzo Clemente

H-Index: 12

Paweł Parys
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

Karoliina Lehtinen
Karoliina Lehtinen

H-Index: 7

Paweł Parys
Paweł Parys

H-Index: 11

Sven Schewe
Sven Schewe

H-Index: 18

Dominik Wojtczak
Dominik Wojtczak

H-Index: 11

The Caucal hierarchy: Interpretations in the (W) MSO+ U logic

Information and Computation

2022/7/1

Paweł Parys
Paweł Parys

H-Index: 11

Unboundedness for Recursion Schemes: A Simpler Type System

arXiv preprint arXiv:2204.11023

2022/4/23

Paweł Parys
Paweł Parys

H-Index: 11

Higher-order model checking step by step

arXiv preprint arXiv:2105.01861

2021/5/5

Paweł Parys
Paweł Parys

H-Index: 11

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

2021/1

Bartek Klin
Bartek Klin

H-Index: 13

Samson Abramsky
Samson Abramsky

H-Index: 29

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Karoliina Lehtinen
Karoliina Lehtinen

H-Index: 7

Wan Fokkink
Wan Fokkink

H-Index: 15

Bas Luttik
Bas Luttik

H-Index: 10

Paweł Parys
Paweł Parys

H-Index: 11

Nicole Schweikardt
Nicole Schweikardt

H-Index: 13

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Anuj Dawar
Anuj Dawar

H-Index: 17

Yannick Forster
Yannick Forster

H-Index: 11

Merlin Göttlinger
Merlin Göttlinger

H-Index: 2

Lutz Schröder
Lutz Schröder

H-Index: 16

Dirk Pattinson
Dirk Pattinson

H-Index: 16

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Takeshi Tsukada
Takeshi Tsukada

H-Index: 9

Naoki Kobayashi
Naoki Kobayashi

H-Index: 7

Jules Hedges
Jules Hedges

H-Index: 7

Paweł Sobociński
Paweł Sobociński

H-Index: 2

Long Pham
Long Pham

H-Index: 1

Jan Hoffmann
Jan Hoffmann

H-Index: 22

Alexander Rabinovich
Alexander Rabinovich

H-Index: 17

Shelah-Stupp’s and Muchnik’s Iterations Revisited

2021

Paweł Parys
Paweł Parys

H-Index: 11

A quasi-polynomial black-box algorithm for fixed point evaluation

2021

Paweł Parys
Paweł Parys

H-Index: 11

Higher-order nonemptiness step by step

arXiv preprint arXiv:2009.08174

2020/9/17

Paweł Parys
Paweł Parys

H-Index: 11

On the Expressive Power of Higher-Order Pushdown Systems

Logical Methods in Computer Science

2020/8/20

Paweł Parys
Paweł Parys

H-Index: 11

A type system describing unboundedness

Discrete Mathematics & Theoretical Computer Science

2020/8/18

Paweł Parys
Paweł Parys

H-Index: 11

Bisimulation finiteness of pushdown systems is elementary

2020/7/8

Paweł Parys
Paweł Parys

H-Index: 11

Compositionality of the MSO+ U Logic

arXiv preprint arXiv:2005.02384

2020/5/5

Paweł Parys
Paweł Parys

H-Index: 11

Recursion schemes, the MSO logic, and the U quantifier

Logical Methods in Computer Science

2020/2/18

Paweł Parys
Paweł Parys

H-Index: 11

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

2020

Véronique Cortier
Véronique Cortier

H-Index: 24

Anuj Dawar
Anuj Dawar

H-Index: 17

Artur Jeż
Artur Jeż

H-Index: 14

Eduardo Bonelli
Eduardo Bonelli

H-Index: 7

Roberto Maieli
Roberto Maieli

H-Index: 3

Dana Angluin
Dana Angluin

H-Index: 27

Orna Kupferman
Orna Kupferman

H-Index: 26

Paul Brunet
Paul Brunet

H-Index: 7

Anupam Das
Anupam Das

H-Index: 2

Robert Harper
Robert Harper

H-Index: 4

Yijia Chen
Yijia Chen

H-Index: 9

Robin Cockett
Robin Cockett

H-Index: 15

Alessio Mansutti
Alessio Mansutti

H-Index: 6

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Tim Lyon
Tim Lyon

H-Index: 4

Alwen Tiu
Alwen Tiu

H-Index: 15

Ranald Clouston
Ranald Clouston

H-Index: 9

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Paweł Parys
Paweł Parys

H-Index: 11

Robert Passmann
Robert Passmann

H-Index: 3

Martin Ziegler
Martin Ziegler

H-Index: 25

José Espírito Santo
José Espírito Santo

H-Index: 5

Jonas Schmidt
Jonas Schmidt

H-Index: 1

Thomas Schwentick
Thomas Schwentick

H-Index: 23

Ioannis Kokkinis
Ioannis Kokkinis

H-Index: 5

See List of Professors in Paweł Parys University(Uniwersytet Warszawski)