| ||
26. | Shuffle Expressions and Words with Nested Data
LECTURE NOTES IN COMPUTER SCIENCE Tom 4708 r. 2007, str. 750-761 (Artyku³ konferencyjny) Henrik Bjorklund, Miko³aj Bojañczyk | |
27. | Expressive Power of Pebble Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 4052 r. 2006, str. 7-16 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Mathias Samuelides, Thomas Schwentick, Luc Segoufin | |
28. | Tree-walking automata cannot be determinized
THEORETICAL COMPUTER SCIENCE Tom 350 Nr 3 r. 2006, str. 164-173 (Artyku³) Miko³aj Bojañczyk, Thomas Colcombet | |
29. | Tree-walking automata do not recognize all regular languages
SYMPOSIUM ON THEORY OF COMPUTING Tom 37 r. 2005, str. 234-243 (Artyku³ konferencyjny) Thomas Colcombet, Miko³aj Bojañczyk | |
30. | A Bounding Quantifier
LECTURE NOTES IN COMPUTER SCIENCE Tom 3210 r. 2004, str. 41-55 (Artyku³ konferencyjny) Miko³aj Bojañczyk | |
31. | Characterizing EF and EX Tree Logics
LECTURE NOTES IN COMPUTER SCIENCE Tom 3170 r. 2004, str. 131-145 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Igor Walukiewicz | |
32. | Tree-Walking Automata Cannot Be Determinized
LECTURE NOTES IN COMPUTER SCIENCE Tom 3142 r. 2004, str. 246-256 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Thomas Colcombet | |
33. | 1-Bounded TWA Cannot Be Determinized
LECTURE NOTES IN COMPUTER SCIENCE Tom 2914 r. 2003, str. 62-73 (Artyku³) Miko³aj Bojañczyk | |
34. | The Finite Graph Problem for Two-Way Alternating Automata
THEORETICAL COMPUTER SCIENCE Tom 298 Nr 3 r. 2003, str. 511-528 (Artyku³) Miko³aj Bojañczyk | |
35. | Two-way alternating automata and finite models
LECTURE NOTES IN COMPUTER SCIENCE Tom 2380 r. 2002, str. 833-844 (Artyku³) Miko³aj Bojañczyk | |
36. | The finite graph problem for two-way alternating automata
LECTURE NOTES IN COMPUTER SCIENCE Nr 2030 r. 2001, str. 88-103 (Artyku³) Miko³aj Bojañczyk | |
| ||
37. | A Machine-Independent Characterization of Timed Languages
w: ICALP (2), str. 92-103, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, S³awomir Lasota | |
38. | 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 | |
39. | Fraenkel-Mostowski Sets with Non-homogeneous Atoms
w: RP, str. 1-5, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, S³awomir Lasota | |
40. | Imperative Programming in Sets with Atoms
w: FSTTCS, str. 4-15, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Szymon Toruñczyk | |
41. | Regular Languages of Infinite Trees That Are Boolean Combinations of Open Sets
w: ICALP (2), str. 104-115, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Thomas Place | |
42. | Toward Model Theory with Data Values
w: ICALP (2), str. 116-127, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Thomas Place | |
43. | Towards nominal computation
w: POPL, str. 401-412, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Laurent Braud, Bartosz Klin, S³awomir Lasota | |
44. | Weak MSO+U over infinite trees
w: STACS, str. 648-660, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Szymon Toruñczyk | |
45. | Automata with group actions
w: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), str. 355-364, IEEE Computer Society, r. 2011 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Bartosz Klin, S³awomir Lasota | |
46. | Data Monoids
w: STACS, str. 105-116, Leibniz-Zentrum fuer Informatik, r. 2011 (Artyku³ konferencyjny) Miko³aj Bojañczyk | |
47. | Efficient evaluation for a temporal logic on changing XML documents
w: PODS, str. 259-270, ACM, r. 2011 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Diego Figueira | |
48. | Solutions in XML data exchange
w: 14th International Conference on Database Theory - ICDT 2011, str. 102-113, ACM, r. 2011 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Leszek Ko³odziejczyk, Filip Murlak | |
49. | An Extension of Data Automata that Captures XPath
w: LICS, str. 243-252, r. 2010 (Artyku³ konferencyjny) Miko³aj Bojañczyk, S³awomir Lasota | |
50. | Automata for Data Words and Data Trees
w: RTA, str. 1-4, r. 2010 (Artyku³ konferencyjny) Miko³aj Bojañczyk |