Edit Profile Parys, Paweł Compute Distance To: Compute Author ID: parys.pawel Published as: Parys, Pawel; Parys, Paweł Documents Indexed: 32 Publications since 2008 all top 5 Co-Authors 16 single-authored 4 Bojańczyk, Mikołaj 4 Czerwiński, Wojciech 4 Walukiewicz, Igor 2 Blumensath, Achim 2 Clemente, Lorenzo 2 Colcombet, Thomas 2 David, Claire 2 Murlak, Filip 2 Salvati, Sylvain 2 Toruńczyk, Szymon 1 Bárány, Vince 1 Daviaud, Laure 1 Figueira, Diego 1 Fijalkow, Nathanaël 1 Jurdziński, Marcin 1 Kartzow, Alexander 1 Kuperberg, Denis 1 Lazić, Ranko 1 Martens, Wim 1 Niewerth, Matthias 1 Vanden Boom, Michael all top 5 Serials 3 Logical Methods in Computer Science 2 Journal of the ACM 1 Information Processing Letters 1 Journal of Functional Programming 1 Theory of Computing Systems 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 RAIRO. Theoretical Informatics and Applications Fields 29 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 15 Publications have been cited 31 times in 22 Documents Cited by ▼ Year ▼ On the significance of the collapse operation. Zbl 1360.68569Parys, Paweł 4 2012 Strictness of the collapsible pushdown hierarchy. Zbl 1365.68307Kartzow, Alexander; Parys, Paweł 4 2012 The diagonal problem for higher-order recursion schemes is decidable. Zbl 1401.68158Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor 3 2016 The MSO+U theory of \((\mathbb N,<)\) is undecidable. Zbl 1388.03016Bojanczyk, Mikolaj; Parys, Pawel; Torunczyk, Szymon 3 2016 XPath evaluation in linear time. Zbl 1281.68093Bojańczyk, Mikołaj; Parys, Paweł 3 2011 Ordered tree-pushdown systems. Zbl 1366.68141Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor 2 2015 Two-way cost automata and cost logics over infinite trees. Zbl 1401.68147Blumensath, Achim; Colcombet, Thomas; Kuperberg, Denis; Parys, Paweł; Vanden Boom, Michael 2 2014 A pumping lemma for pushdown graphs of any level. Zbl 1279.68169Parys, Paweł 2 2012 Collapse operation increases expressive power of deterministic higher order pushdown automata. Zbl 1253.68206Parys, Paweł 2 2011 Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games. Zbl 1432.68223Czerwiński, Wojciech; Daviaud, Laure; Fijalkow, Nathanaël; Jurdziński, Marcin; Lazić, Ranko; Parys, Paweł 1 2019 Recursion schemes and the WMSO+U logic. Zbl 07228444Parys, Paweł 1 2018 Minimization of tree patterns. Zbl 1426.68076Czerwiński, Wojciech; Martens, Wim; Niewerth, Matthias; Parys, Paweł 1 2018 A characterization of lambda-terms transforming numerals. Zbl 1420.68042Parys, Paweł 1 2016 How many numbers can a lambda-term contain? Zbl 1416.68043Parys, Paweł 1 2014 Weak alternating timed automata. Zbl 1248.03058Parys, Pawel; Walukiewicz, Igor 1 2009 Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games. Zbl 1432.68223Czerwiński, Wojciech; Daviaud, Laure; Fijalkow, Nathanaël; Jurdziński, Marcin; Lazić, Ranko; Parys, Paweł 1 2019 Recursion schemes and the WMSO+U logic. Zbl 07228444Parys, Paweł 1 2018 Minimization of tree patterns. Zbl 1426.68076Czerwiński, Wojciech; Martens, Wim; Niewerth, Matthias; Parys, Paweł 1 2018 The diagonal problem for higher-order recursion schemes is decidable. Zbl 1401.68158Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor 3 2016 The MSO+U theory of \((\mathbb N,<)\) is undecidable. Zbl 1388.03016Bojanczyk, Mikolaj; Parys, Pawel; Torunczyk, Szymon 3 2016 A characterization of lambda-terms transforming numerals. Zbl 1420.68042Parys, Paweł 1 2016 Ordered tree-pushdown systems. Zbl 1366.68141Clemente, Lorenzo; Parys, Paweł; Salvati, Sylvain; Walukiewicz, Igor 2 2015 Two-way cost automata and cost logics over infinite trees. Zbl 1401.68147Blumensath, Achim; Colcombet, Thomas; Kuperberg, Denis; Parys, Paweł; Vanden Boom, Michael 2 2014 How many numbers can a lambda-term contain? Zbl 1416.68043Parys, Paweł 1 2014 On the significance of the collapse operation. Zbl 1360.68569Parys, Paweł 4 2012 Strictness of the collapsible pushdown hierarchy. Zbl 1365.68307Kartzow, Alexander; Parys, Paweł 4 2012 A pumping lemma for pushdown graphs of any level. Zbl 1279.68169Parys, Paweł 2 2012 XPath evaluation in linear time. Zbl 1281.68093Bojańczyk, Mikołaj; Parys, Paweł 3 2011 Collapse operation increases expressive power of deterministic higher order pushdown automata. Zbl 1253.68206Parys, Paweł 2 2011 Weak alternating timed automata. Zbl 1248.03058Parys, Pawel; Walukiewicz, Igor 1 2009 all cited Publications top 5 cited Publications all top 5 Cited by 52 Authors 4 Parys, Paweł 1 Atig, Mohamed Faouzi 1 Barozzini, David 1 Björklund, Henrik 1 Bojańczyk, Mikołaj 1 Brihaye, Thomas 1 Broadbent, Christopher H. 1 Carapelle, Claudia 1 Dal Lago, Ugo 1 Daviaud, Laure 1 de Frutos-Escrig, David 1 Delgrange, Florent 1 Della Monica, Dario 1 Dingel, Juergen 1 Feng, Shiguang 1 Fijalkow, Nathanaël 1 Giannopoulou, Archontia C. 1 Grellois, Charles 1 Groz, Benoît 1 Guillon, Bruno 1 Hague, Matthew 1 Horn, Florian 1 Kartzow, Alexander 1 Kobayashi, Naoki 1 Kobele, Gregory M. 1 Kuperberg, Denis 1 Libkin, Leonid O. 1 Lin, Anthony Widjaja 1 Lohrey, Markus 1 Longley, John R. 1 Maneth, Sebastian 1 Martens, Wim 1 Mertzios, George B. 1 Meyer, Roland 1 Montanari, Angelo 1 Muskalla, Sebastian 1 Niedermeier, Rolf 1 Oualhadj, Youssouf 1 Penelle, Vincent 1 Randour, Mickael 1 Rudie, Karen 1 Saivasan, Prakash 1 Sala, Pietro 1 Salvati, Sylvain 1 Schwentick, Thomas 1 Skrzypczak, Michał 1 Smith, Tim A. 1 Sreejith, A V 1 Tan, Tony 1 Vrgoč, Domagoj 1 Waez, Md Tawhid Bin 1 Zetzsche, Georg all top 5 Cited in 8 Serials 6 Logical Methods in Computer Science 3 Theoretical Computer Science 2 Journal of Computer and System Sciences 2 Information and Computation 2 Theory of Computing Systems 1 Acta Informatica 1 Journal of Functional Programming 1 Computer Science Review Cited in 4 Fields 19 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year