Wyniki wyszukiwania

Parametry zapytania
  
Autor:Pawe Parys

                

Publikacja w czasopi¶mie

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

Publikacja w ksi±żce

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