| ||
1. | Alan Turing and Systems Biology
ERCIM NEWS Tom 2012 Nr 91 r. 2012, str. (Artykuł) Anna Gambin, Anna Marciniak-Czochra, Damian Niwiński | |
2. | Choice functions and well-orderings over the infinite binary tree
CENTRAL EUROPEAN JOURNAL OF MATHEMATICS Tom 8 Nr 4 r. 2010, str. 662-682 (Artykuł) Arnaud Carayol, Christof Loding, Damian Niwiński, Igor Walukiewicz | |
3. | On the Borel Complexity of MSO Definable Sets of Branches
FUNDAMENTA INFORMATICAE Tom 98 Nr 4 r. 2010, str. 337-349 (Artykuł) Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich, Adam Radziwonczyk-Syta, Michał Skrzypczak | |
4. | Preface
FUNDAMENTA INFORMATICAE Tom 103 Nr 1-4 r. 2010, str. (Artykuł) Anna Gambin, Damian Niwiński, Paweł Urzyczyn | |
5. | Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal
INFORMATION PROCESSING LETTERS Tom 110 Nr 10 r. 2010, str. 396-398 (Artykuł) Marcin Balcerzak, Damian Niwiński | |
6. | The Ackermann Award 2008
LECTURE NOTES IN COMPUTER SCIENCE Tom 5213 r. 2008, str. 508-512 (Artykuł) Johann A. Makowsky, Damian Niwiński | |
7. | On the positional determinacy of edge-labeled games
THEORETICAL COMPUTER SCIENCE Tom 352 Nr 3 r. 2006, str. 190-196 (Artykuł) Thomas Colcombet, Damian Niwiński | |
8. | 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 | |
9. | A gap property of deterministic tree languages
THEORETICAL COMPUTER SCIENCE Tom 303 r. 2003, str. 215-231 (Artykuł) Damian Niwiński, Igor Walukiewicz | |
10. | Higher-order pushdown trees are easy
LECTURE NOTES IN COMPUTER SCIENCE Tom 2303 r. 2002, str. 205-222 (Artykuł konferencyjny) Teodor Knapik, Damian Niwiński, Paweł Urzyczyn | |
11. | Mu-calculus via games
LECTURE NOTES IN COMPUTER SCIENCE Tom 2471 r. 2002, str. 27-43 (Artykuł konferencyjny) Damian Niwiński | |
12. | Deciding monadic theories of hyperalgebraic trees
LECTURE NOTES IN COMPUTER SCIENCE Nr 2044 r. 2001, str. 253-267 (Artykuł) Damian Niwiński, Paweł Urzyczyn, T. Knapik | |
| ||
13. | 34th International Symposium on Mathematical Foundations of Computer Science
Springer-Verlag, r. 2009 (Książka) Rastislav Kralovic (Redaktor), Damian Niwiński (Redaktor) | |
14. | Provinces of logic determined. Essays in the memory of Alfred Tarski
[ LINK ]
Elsevier, r. 2004 (Książka) Zofia Adamowicz (Redaktor), Sergei Artemov (Redaktor), Damian Niwiński (Redaktor), Ewa Orłowska (Redaktor), Anna Romanowska (Redaktor), Jan Woleński (Redaktor) | |
15. | Rudiments of Mu-calculus
North-Holland, Elsevier, r. 2001 (Książka) Damian Niwiński, A. Arnold | |
| ||
16. | On the separation question for tree languages
w: Symposium on Theoretical Aspects of Computer Science (STACS), str. 396-407, Dagstuhl Publishing, r. 2012 (Artykuł konferencyjny) Andre Arnold, Henryk Michalewski, Damian Niwiński | |
17. | On topological completeness of regular tree languages
w: Logic and Program Semantics, str. 165-179, Springer, r. 2012 (Esej lub rozdział w książce) Henryk Michalewski, Damian Niwiński | |
18. | The Ackermann Award 2012
w: CSL, str. 1-5, r. 2012 (Artykuł konferencyjny) Thierry Coquand, Anuj Dawar, Damian Niwiński | |
19. | On the Borel inseparability of game tree languages
w: 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, February 26 - 28, 2009, str. 565-576, Leibniz-Zentrum fuer Informatik, r. 2009 (Artykuł konferencyjny) Szczepan Hummel, Henryk Michalewski, Damian Niwiński | |
20. | Continuous separation of game languages
w: Logic and automata: History and Perspectives, str. 9-28, Amsterdam University Press, r. 2007 (Esej lub rozdział w książce) Andre Arnold, Jacques Duparc, Filip Murlak, Damian Niwiński | |
21. | O abstrakcyjnym podejściu do rachunku punktów stałych
w: Materiały z konferencji: Informatyka teoretyczna - metody analizy informacji niekompletnej i rozproszonej, str. 5-7, Politechnika Białostocka, r. 2000 (Artykuł) Damian Niwiński, Andre Arnold |