Publikacje

Damian Niwiński

Liczba publikacji: 32

2023

• Damian Niwiński , Paweł Parys , Michał Skrzypczak , The Probabilistic Rabin Tree Theorem*, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 czerwca 2023 - 29 czerwca 2023. Zobacz w PBN

2021

• André Arnold, Damian Niwiński , Paweł Parys , A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation, 29th EACSL Annual Conference on Computer Science Logic, Lublana, Slovenia, 25 stycznia 2021 - 28 stycznia 2021, 183 2021, s. 9:1--9:23. Zobacz w PBN
• Damian Niwiński , Michał Skrzypczak , On Guidable Index of Tree Automata, 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, 23 sierpnia 2021 - 27 sierpnia 2021, 202 2021, s. 81:1--81:14. Zobacz w PBN

2020

• Damian Niwiński , Marcin Przybyłko, Michał Skrzypczak , Computing Measures of Weak-MSO Definable Sets of Trees, 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, 8 lipca 2020 - 11 lipca 2020, 168 2020, s. 136:1--136:18. Zobacz w PBN

2017

• Damian Niwiński , Henryk Michalewski , Wojciech Rytter , Joost Winter, Michał Skrzypczak , Szymon Toruńczyk , Michał Pilipczuk , Eryk Kopczyński , Sławomir Lasota , Paweł Parys , Joanna Ochremiak, Wojciech Czerwiński , Bartosz Klin , Igor Walukiewicz, Szczepan Hummel, Mikołaj Bojańczyk , Piotr Hofman , Lorenzo Clemente , Filip Mazowiecki, Filip Murlak , 200 Problems in Formal Languages and Automata Theory, 2017. Zobacz w PBN
• Damian Niwiński , Stella Orłowska, Helena Rasiowa's Heritage in Mathematical Logic, Fundamenta Informaticae, 156 (3-4) 2017, s. i-ii. Zobacz w PBN

2016

• Damian Niwiński , Contribution of Warsaw Logicians to Computational Logic, Axioms, 2016. Zobacz w PBN

2014

• Eryk Kopczyński , Damian Niwiński , A simple indeterminate infinite game, 2014. Zobacz w PBN

2013

• André Arnold, Henryk Michalewski , Damian Niwiński , On the Separation Question for Tree Languages, Theory of Computing Systems, 2013. Zobacz w PBN

2012

• Anna Gambin , Anna Marciniak-Czochra, Damian Niwiński , Alan Turing and Systems Biology, ERCIM News, 2012. Zobacz w PBN
• Andre Arnold, Henryk Michalewski , Damian Niwiński , On the separation question for tree languages, 2012. Zobacz w PBN
• Henryk Michalewski , Damian Niwiński , On Topological Completeness of Regular Tree Languages, Lecture Notes in Computer Science, 2012. Zobacz w PBN
• Thierry Coquand, Anuj Dawar, Damian Niwiński , The Ackermann Award 2012, 2012. Zobacz w PBN

2010

• Arnaud Carayol, Christof Loding, Damian Niwiński , Igor Walukiewicz, Choice functions and well-orderings over the infinite binary tree, Central European Journal of Mathematics, 2010. Zobacz w PBN
• Mikołaj Bojańczyk , Damian Niwiński , Alexander Rabinovich, Adam Radziwonczyk-Syta, Michał Skrzypczak , On the Borel Complexity of MSO Definable Sets of Branches, Fundamenta Informaticae, 2010. Zobacz w PBN
• Anna Gambin , Damian Niwiński , Paweł Urzyczyn , Preface, Fundamenta Informaticae, 2010. Zobacz w PBN
• Marcin Balcerzak, Damian Niwiński , Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal, Information Processing Letters, 2010. Zobacz w PBN

2009

• Rastislav Kralovic, Damian Niwiński , 34th International Symposium on Mathematical Foundations of Computer Science, 2009. Zobacz w PBN
• Szczepan Hummel, Henryk Michalewski , Damian Niwiński , On the Borel inseparability of game tree languages, 2009. Zobacz w PBN

2008

• Johann A. Makowsky, Damian Niwiński , The Ackermann Award 2008, Lecture Notes in Computer Science, 2008. Zobacz w PBN

2007

• A. Arnold, Damian Niwiński , Continuous Separation of Game Languages, Fundamenta Informaticae, 2007. Zobacz w PBN
• Andre Arnold, Jacques Duparc, Filip Murlak , Damian Niwiński , On the topological complexity of tree languages, 2007. Zobacz w PBN

2006

• Thomas Colcombet, Damian Niwiński , On the positional determinacy of edge-labeled games, Theoretical Computer Science, 2006. Zobacz w PBN

2005

• Teodor Knapik, Damian Niwiński , Paweł Urzyczyn , Igor Walukiewicz, Unsafe Grammars and Panic Automata, Lecture Notes in Computer Science, 2005. Zobacz w PBN

2004

• Zofia Adamowicz, Sergei Artemov, Damian Niwiński , Ewa Orłowska, Anna Romanowska, Jan Woleński, Provinces of logic determined. Essays in the memory of Alfred Tarski, 2004. Zobacz w PBN

2003

• Damian Niwiński , Igor Walukiewicz, A gap property of deterministic tree languages, Theoretical Computer Science, 2003. Zobacz w PBN

2002

• Teodor Knapik, Damian Niwiński , Paweł Urzyczyn , Higher-order pushdown trees are easy, Lecture Notes in Computer Science, 2002. Zobacz w PBN
• Damian Niwiński , Mu-calculus via games, Lecture Notes in Computer Science, 2002. Zobacz w PBN

2001

• T. Knapik, Damian Niwiński , Paweł Urzyczyn , Deciding monadic theories of hyperalgebraic trees, Lecture Notes in Computer Science, 2001. Zobacz w PBN
• A. Arnold, Damian Niwiński , Rudiments of Mu-calculus, 2001. Zobacz w PBN

2000

• Andre Arnold, Damian Niwiński , O abstrakcyjnym podejściu do rachunku punktów stałych, 2000. Zobacz w PBN

1999

• Damian Niwiński , Marek Zawadowski , Logic, algebra, and computer science. Helena Rasiowa in memoriam., 1999. Zobacz w PBN