Wyniki wyszukiwania

Parametry zapytania
  
Jednostka:Studia dzienne - doktoranckie Inst. Informatyki

                

Publikacja w czasopi¶mie

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

<<< Poprzednie <<<   >>> Następne >>>