| ||
1. | Weak Alternating Timed Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 5555 r. 2009, str. 273-284 (Artykuł) Paweł Parys, Igor Walukiewicz | |
2. | Alternating timed automata
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Tom 9 Nr 2 r. 2008, str. (Artykuł) Sławomir Lasota, Igor Walukiewicz | |
3. | Alternating Timed Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 3441 r. 2005, str. 250-265 (Artykuł konferencyjny) Sławomir Lasota, Igor Walukiewicz | |
4. | Unsafe Grammars and Panic Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 3580 r. 2005, str. 1450-1461 (Artykuł konferencyjny) Teodor Knapik, Damian Niwiński, Paweł Urzyczyn, Igor Walukiewicz | |
5. | 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 | |
6. | A gap property of deterministic tree languages
THEORETICAL COMPUTER SCIENCE Tom 303 r. 2003, str. 215-231 (Artykuł) Damian Niwiński, Igor Walukiewicz | |
7. | An expressively complete linear time temporal logic
INFORMATION AND COMPUTATION Tom 179 r. 2002, str. 230-249 (Artykuł) Igor Walukiewicz, P. Thiagarajan | |
8. | Deciding low levels of tree-automata hierarchy
Electronic Notes in Theoretical Computer Science Tom 67 r. 2002, str. 1-15 (Artykuł konferencyjny) Igor Walukiewicz | |
9. | Local Logics for Traces
JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS Tom 7 r. 2002, str. 259-290 (Artykuł) Igor Walukiewicz | |
10. | Monadic second order logic on tree-like structures
THEORETICAL COMPUTER SCIENCE Tom 275 Nr 1-2 r. 2002, str. 311-346 (Artykuł) Igor Walukiewicz | |
11. | On the complexity of weak conditions
INFORMATION PROCESSING LETTERS Tom 84 r. 2002, str. 181-187 (Artykuł) Jakub Neuman, Andrzej Szepietowski, Igor Walukiewicz | |
12. | Pushdown Processes: Games and Model Checking
INFORMATION AND COMPUTATION Nr 164 r. 2001, str. 234-263 (Artykuł) Igor Walukiewicz | |
13. | Completeness of Kozen`s axiomatisation of the propositional mu-calculus
INFORMATION AND COMPUTATION Tom 157 r. 2000, str. 142-182 (Artykuł) Igor Walukiewicz | |
14. | Model checking CTL properties of pushdown systems
LECTURE NOTES IN COMPUTER SCIENCE Tom 1974 r. 2000, str. 127-138 (Artykuł) Igor Walukiewicz | |
| ||
15. | Wreath Products of Forest Algebras, with Applications to Tree Logics
w: LICS, str. 255-263, IEEE Computer Society, r. 2009 (Artykuł konferencyjny) Mikołaj Bojańczyk, Howard Straubing, Igor Walukiewicz |