Edit Profile Mazowiecki, Filip Compute Distance To: Compute Author ID: mazowiecki.filip Published as: Mazowiecki, Filip Documents Indexed: 13 Publications since 2013 all top 5 Co-Authors 0 single-authored 4 Riveros, Cristian 3 Charatonik, Witold 3 Kieroński, Emanuel 3 Lazić, Ranko 2 Benaim, Saguy 2 Benedikt, Michael A. 2 Lasota, Sławomir 2 Lenhardt, Rastislav 2 Leroux, Jérôme 2 Witkowski, Adam 2 Worrell, James B. 1 Almagor, Shaull 1 Cadilhac, Michaël 1 Clemente, Lorenzo 1 Czerwiński, Wojciech 1 Figueira, Diego 1 Murlak, Filip 1 Ochremiak, Joanna 1 Pérez, Guillermo A. 1 Sutre, Grégoire Serials 2 ACM Transactions on Computational Logic 1 Journal of Computer and System Sciences Fields 13 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 9 Publications have been cited 22 times in 17 Documents Cited by ▼ Year ▼ Copyless cost-register automata: structure, expressiveness, and closure properties. Zbl 1388.68175Mazowiecki, Filip; Riveros, Cristian 4 2016 Decidability of weak logics with deterministic transitive closure. Zbl 1394.03015Charatonik, Witold; Kieroński, Emanuel; Mazowiecki, Filip 4 2014 Complexity of two-variable logic on finite trees. Zbl 1335.68132Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 4 2013 Maximal partition logic: towards a logical characterization of copyless cost register automata. Zbl 1434.03103Mazowiecki, Filip; Riveros, Cristian 3 2015 The reachability problem for Petri nets is not elementary. Zbl 1433.68245Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip 2 2019 Complexity of two-variable logic on finite trees. Zbl 1367.03062Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 2 2016 Weak cost register automata are still powerful. Zbl 06983369Almagor, Shaull; Cadilhac, Michaël; Mazowiecki, Filip; Pérez, Guillermo A. 1 2018 Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire 1 2017 Monadic datalog and regular tree pattern queries. Zbl 1425.68097Mazowiecki, Filip; Murlak, Filip; Witkowski, Adam 1 2014 The reachability problem for Petri nets is not elementary. Zbl 1433.68245Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip 2 2019 Weak cost register automata are still powerful. Zbl 06983369Almagor, Shaull; Cadilhac, Michaël; Mazowiecki, Filip; Pérez, Guillermo A. 1 2018 Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire 1 2017 Copyless cost-register automata: structure, expressiveness, and closure properties. Zbl 1388.68175Mazowiecki, Filip; Riveros, Cristian 4 2016 Complexity of two-variable logic on finite trees. Zbl 1367.03062Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 2 2016 Maximal partition logic: towards a logical characterization of copyless cost register automata. Zbl 1434.03103Mazowiecki, Filip; Riveros, Cristian 3 2015 Decidability of weak logics with deterministic transitive closure. Zbl 1394.03015Charatonik, Witold; Kieroński, Emanuel; Mazowiecki, Filip 4 2014 Monadic datalog and regular tree pattern queries. Zbl 1425.68097Mazowiecki, Filip; Murlak, Filip; Witkowski, Adam 1 2014 Complexity of two-variable logic on finite trees. Zbl 1335.68132Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James 4 2013 all cited Publications top 5 cited Publications all top 5 Cited by 33 Authors 3 Allender, Eric W. 3 Charatonik, Witold 2 Chatterjee, Krishnendu 2 Demri, Stéphane P. 2 Deters, Morgan 2 Kieroński, Emanuel 2 Krebs, Andreas 2 Kuusisto, Antti 2 Mazowiecki, Filip 2 McKenzie, Pierre 1 Baez, John C. 1 Bednarczyk, Bartosz 1 Benaim, Saguy 1 Benedikt, Michael A. 1 Bojańczyk, Mikołaj 1 Brázdil, Tomáš 1 Henzinger, Thomas A. 1 Kucera, Antonin 1 Larchey-Wendling, Dominique 1 Lenhardt, Rastislav 1 Master, Jade 1 Mertz, Ian 1 Murlak, Filip 1 Novotný, Petr 1 Otop, Jan 1 Riveros, Cristian 1 Seki, Hiroyuki 1 Takata, Yoshiaki 1 Velan, Dominik 1 Witkowski, Adam 1 Witkowski, Piotr 1 Worrell, James B. 1 Yoshimura, Reo all top 5 Cited in 8 Serials 3 ACM Transactions on Computational Logic 2 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Theory of Computing Systems Cited in 2 Fields 14 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) Citations by Year