| ||
26. | Tree-Walking Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 5196 r. 2008, str. 1-2 (Artykuł) Mikołaj Bojańczyk | |
27. | Tree-Walking Automata Do Not Recognize All Regular Languages
SIAM JOURNAL ON COMPUTING Tom 38 Nr 2 r. 2008, str. 658-701 (Artykuł) Mikołaj Bojańczyk, Thomas Colcombet | |
28. | A new algorithm for testing if a regular language is locally threshold testable
INFORMATION PROCESSING LETTERS Tom 104 Nr 3 r. 2007, str. 91-94 (Artykuł) Mikołaj Bojańczyk | |
29. | Bounded Depth Data Trees
LECTURE NOTES IN COMPUTER SCIENCE Tom 4596 r. 2007, str. 862-874 (Artykuł konferencyjny) Henrik Bjorklund, Mikołaj Bojańczyk | |
30. | Forest Expressions
LECTURE NOTES IN COMPUTER SCIENCE Tom 4646 r. 2007, str. 146-160 (Artykuł konferencyjny) Mikołaj Bojańczyk | |
31. | Reachability in Unions of Commutative Rewriting Systems Is Decidable
LECTURE NOTES IN COMPUTER SCIENCE Tom 4393 r. 2007, str. 622-633 (Artykuł konferencyjny) Piotr Hoffman, Mikołaj Bojańczyk | |
32. | 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 | |
33. | 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 | |
34. | Missing Tempalate Decomposition Metod and its Implementation in Rough Set Exploration System
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 4259 r. 2006, str. 254-263 (Artykuł konferencyjny) Jan Bazan, Rafał Latkowski, Marcin Szczuka | |
35. | 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 | |
36. | A minimal proteinlike lattice model: An alpha-helix motif
JOURNAL OF CHEMICAL PHYSICS Tom 122 Nr 214915 r. 2005, str. 1-5 (Artykuł) Piotr Pokarowski, Karol Droste, Andrzej Koliński | |
37. | Contextual multiple sequence alignment
JOURNAL OF BIOMEDICINE AND BIOTECHNOLOGY Tom 2 r. 2005, str. 124-131 (Artykuł) Anna Gambin, Rafał Otto | |
38. | DIXER- Distributed executor for rough sets exploration systems, w: Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, Proceedings, Part II
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Tom 3642 r. 2005, str. 39-47 (Artykuł konferencyjny) Jan Bazan, Rafał Latkowski, Marcin Szczuka | |
39. | 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 | |
40. | A Bounding Quantifier
LECTURE NOTES IN COMPUTER SCIENCE Tom 3210 r. 2004, str. 41-55 (Artykuł konferencyjny) Mikołaj Bojańczyk | |
41. | Behavioural semantics of algebraic specifications in arbitrary logical systems
LECTURE NOTES IN COMPUTER SCIENCE Tom 3423 r. 2004, str. 144-161 (Artykuł konferencyjny) Michał Misiak | |
42. | 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 | |
43. | Data decomposition and decision rule joiningfor classification of data with missing values (extended version)
LECTURE NOTES IN COMPUTER SCIENCE Tom 3100 r. 2004, str. 299-320 (Artykuł) Rafał Latkowski, Michał Mikołajczyk | |
44. | Data decomposition and decision rule joiningfor classification of data with missing values; S. Tsumoto et al. (Eds.): Rough Sets and Current Trends in Computing RSCTC 2004
LECTURE NOTES IN COMPUTER SCIENCE Tom 3066 r. 2004, str. 254-263 (Artykuł) Rafał Latkowski, Michał Mikołajczyk | |
45. | SIE - Intelligent Web Proxy Framework
LECTURE NOTES IN COMPUTER SCIENCE Tom 3140 r. 2004, str. 373-385 (Artykuł konferencyjny) Grzegorz Andruszkiewicz, Krzysztof Ciebiera, Marcin Gozdalik, Cezary Kaliszyk, Mateusz Srebrny | |
46. | 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 | |
47. | 1-Bounded TWA Cannot Be Determinized
LECTURE NOTES IN COMPUTER SCIENCE Tom 2914 r. 2003, str. 62-73 (Artykuł) Mikołaj Bojańczyk | |
48. | Database interrogation using conjunctive queries
LECTURE NOTES IN COMPUTER SCIENCE Tom 2572 r. 2003, str. 259-269 (Artykuł konferencyjny) Michał Bielecki, Jan Van den Bussche | |
49. | On Decomposition for Incomplete Data
FUNDAMENTA INFORMATICAE Tom 54 Nr 1 r. 2003, str. 1-16 (Artykuł) Rafał Latkowski | |
50. | On Probabilistic Quantified Satisfiability Games
LECTURE NOTES IN COMPUTER SCIENCE Tom 2747 r. 2003, str. 652-661 (Artykuł konferencyjny) Marcin Rychlik |