Wyniki wyszukiwania

Parametry zapytania
  
Autor:Damian Niwi�ski

                

Publikacja w czasopi¶mie

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

Ksi±¿ka

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

Publikacja w ksi±¿ce

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