| ||
1. | Weak Alternating Timed Automata
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 3 r. 2012, str. 1-27 (Artykuł) Paweł Parys, Igor Walukiewicz | |
2. | XPath evaluation in linear time
JOURNAL OF THE ACM Tom 58 Nr 4 r. 2011, str. 17-17 (Artykuł) Paweł Parys, Mikołaj Bojańczyk | |
3. | Efficient Evaluation of Nondeterministic Automata Using Factorization Forests
LECTURE NOTES IN COMPUTER SCIENCE Tom 6198 r. 2010, str. 515-526 (Artykuł) Mikołaj Bojańczyk, Paweł Parys | |
4. | Weak Alternating Timed Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 5555 r. 2009, str. 273-284 (Artykuł) Paweł Parys, Igor Walukiewicz | |
| ||
5. | A Pumping Lemma for Pushdown Graphs of Any Level
w: STACS, str. 54-65, r. 2012 (Artykuł konferencyjny) Paweł Parys | |
6. | Decidable classes of documents for XPath
w: FSTTCS, str. 99-111, LIPICS, r. 2012 (Artykuł konferencyjny) Vince Bárány, Mikołaj Bojańczyk, Diego Figueira, Paweł Parys | |
7. | Higher-Order Pushdown Systems with Data
w: GandALF, str. 210-223, r. 2012 (Artykuł konferencyjny) Paweł Parys | |
8. | On the Significance of the Collapse Operation
w: LICS, str. 521-530, r. 2012 (Artykuł konferencyjny) Paweł Parys | |
9. | Strictness of the Collapsible Pushdown Hierarchy
w: MFCS, str. 566-577, r. 2012 (Artykuł konferencyjny) Alexander Kartzow, Paweł Parys | |
10. | Variants of Collapsible Pushdown Systems
w: CSL, str. 500-515, r. 2012 (Artykuł konferencyjny) Paweł Parys | |
11. | Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata
w: STACS, str. 603-614, Leibniz-Zentrum fuer Informatik, r. 2011 (Artykuł konferencyjny) Paweł Parys | |
12. | XPath evaluation in linear time with polynomial combined complexity
w: PODS, str. 55-64, ACM, r. 2009 (Artykuł konferencyjny) Paweł Parys | |
13. | Systems of Equations Satisfied in All Commutative Finite Semigroups.
w: FoSSaCS, str. 261-272, r. 2008 (Artykuł konferencyjny) Paweł Parys | |
14. | XPath evaluation in linear time
w: PODS, str. 241-250, r. 2008 (Artykuł konferencyjny) Mikołaj Bojańczyk, Paweł Parys |