Damian Niwinski
Affiliations:- University of Warsaw, Poland
According to our database1,
Damian Niwinski
authored at least 57 papers
between 1982 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
1985
1990
1995
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
1
1
1
1
1
1
2
1
1
1
2
3
1
1
1
1
1
2
1
2
1
2
1
1
1
2
1
1
2
1
1
2
1
1
1
1
2
1
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2025
2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
Bull. EATCS, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
2019
Bull. EATCS, 2019
2017
2016
2014
Proceedings of the Logic, Computation, Hierarchies, 2014
2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
Proceedings of the Logic and Program Semantics, 2012
2010
Two-way deterministic automata with two reversals are exponentially more succinct than with one reversal.
Inf. Process. Lett., 2010
Fundam. Informaticae, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, 2009
2008
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008
On the topological complexity of tree languages.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008
2007
Proceedings of the Computer Science Logic, 21st International Workshop, 2007
2006
2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
2004
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004
2003
2002
Proceedings of the Foundations of Software Science and Computation Structures, 2002
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
1999
1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
1997
Theor. Comput. Sci., 1997
1996
Proceedings of the Advances in Database Technology, 1996
1995
J. Comput. Syst. Sci., 1995
1993
Int. J. Algebra Comput., 1993
1992
Fixed point characterization of weak monadic logic definable sets of trees.
Proceedings of the Tree Automata and Languages., 1992
1991
Math. Syst. Theory, 1991
Cellular automata on tress, a model for parallel computation.
Fundam. Informaticae, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991
About the Effect of the Number of Successful Paths in an Infinite Tree on the Recognizability by a Finite Automaton with Büchi Conditions.
Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991
1990
Fixed Point Characterization of Büchi Automata on Infinite Trees.
J. Inf. Process. Cybern., 1990
1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
1986
Proceedings of the Automata, Languages and Programming, 13th International Colloquium, 1986
1984
Inf. Control., June, 1984
1982
Proceedings of the Automata, 1982