Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publikacje
Damian Niwiński
2017
- Mikołaj Bojańczyk, Wojciech Czerwiński, Piotr Hofman, Szczepan Hummel, Bartosz Klin, Eryk Kopczyński, Sławomir Lasota, Filip Aleksander Mazowiecki, Henryk Michalewski, Damian Niwiński, Joanna Ochremiak, Paweł Parys, Michał Pilipczuk, Wojciech Rytter, Michał Paweł Skrzypczak, Szymon Toruńczyk, Igor Walukiewicz, Joost Winter i Lorenzo ClementeFilip Murlak (red.), 200 Problems in Formal Languages and Automata Theory, Uniwersytet Warszawski, Warszawa 2017.zobacz w PBN
2012
- Henryk Michalewski i Damian Niwiński, On Topological Completeness of Regular Tree Languages, Lecture Notes In Computer Science 2012, s. 165–179.zobacz w PBN
- Anna Gambin, Anna Marciniak-Czochra i Damian Niwiński, Alan Turing and Systems Biology, Ercim News 2012 (91) 2012.zobacz w PBN
- Thierry Coquand, Anuj Dawar i Damian Niwiński, The Ackermann Award 2012, w: CSL, 2012.zobacz w PBN
- Andre Arnold, Henryk Michalewski i Damian Niwiński, On the separation question for tree languages, w: Symposium on Theoretical Aspects of Computer Science (STACS), Dagstuhl Publishing, Paris 2012.zobacz w PBN
2010
- Arnaud Carayol, Christof Loding, Damian Niwiński i Igor Walukiewicz, Choice functions and well-orderings over the infinite binary tree, Central European Journal Of Mathematics 8 (4) 2010, s. 662–682.zobacz w PBN
- Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich, Adam Radziwonczyk-Syta i Michał Skrzypczak, On the Borel Complexity of MSO Definable Sets of Branches, Fundamenta Informaticae 98 (4) 2010, s. 337–349.zobacz w PBN
- Anna Gambin, Damian Niwiński i Paweł Urzyczyn, Preface, Fundamenta Informaticae 103 (1-4) 2010.zobacz w PBN
- Marcin Balcerzak i Damian Niwiński, Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal, Information Processing Letters 110 (10) 2010, s. 396–398.zobacz w PBN
2009
- Szczepan Hummel, Henryk Michalewski i Damian Niwiński, On the Borel inseparability of game tree languages, w: 26th International Symposium on Theoretical Aspects of Computer Science, Freiburg, February 26 - 28, 2009, Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2009.zobacz w PBN
- Rastislav Kralovic i Damian Niwiński (red.), 34th International Symposium on Mathematical Foundations of Computer Science, SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, BERLIN, GERMANY, D-14197 2009.zobacz w PBN
2007
- A. Arnold i D. Niwiński, Continuous Separation of Game Languages, Fundamenta Informaticae Vol. 81, nr 1-3 2007, s. 19–28.zobacz w PBN
- Andre Arnold, Jacques Duparc, Filip Murlak i Damian Niwiński, On the topological complexity of tree languages, w: Logic and automata: History and Perspectives, Amsterdam University Press, Amsterdam 2007.zobacz w PBN
2004
- Zofia Adamowicz, Sergei Artemov, Damian Niwiński, Ewa Orłowska, Anna Romanowska i Jan Woleński (red.), Provinces of logic determined. Essays in the memory of Alfred Tarski, Elsevier, Amsterdam 2004.zobacz w PBN
2000
- Damian Niwiński i Andre Arnold, O abstrakcyjnym podejściu do rachunku punktów stałych, w: Materiały z konferencji: Informatyka teoretyczna - metody analizy informacji niekompletnej i rozproszonej, Politechnika Białostocka, Białystok 2000.zobacz w PBN