D. Niwinski
发表
A. Arnold,
D. Niwinski,
2001
.
Andreas Podelski,
Witold Charatonik,
Igor Walukiewicz,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Christof Löding,
Igor Walukiewicz,
Arnaud Carayol,
2010
.
Damian Niwiński,
D. Niwinski,
1985
.
Damian Niwinski,
D. Niwinski,
1982,
ICALP.
Anna Gambin,
Damian Niwinski,
Anna K. Marciniak-Czochra,
2012,
ERCIM News.
Jan Chomicki,
Damian Niwinski,
Jan Chomicki,
1993,
J. Comput. Syst. Sci..
David Toman,
Damian Niwinski,
David Toman,
1996,
EDBT.
Michal Skrzypczak,
Alexander Moshe Rabinovich,
Mikolaj Bojanczyk,
2010,
Fundam. Informaticae.
Damian Niwinski,
André Arnold,
A. Arnold,
2007,
Fundam. Informaticae.
Damian Niwinski,
D. Niwinski,
1988,
[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
Damian Niwinski,
André Arnold,
A. Arnold,
1992,
Tree Automata and Languages.
Damian Niwinski,
André Arnold,
Henryk Michalewski,
2014,
Theory of Computing Systems.
Szczepan Hummel,
Damian Niwinski,
Henryk Michalewski,
2009,
STACS.
Igor Walukiewicz,
Damian Niwinski,
D. Niwinski,
2003,
Theor. Comput. Sci..
Damian Niwinski,
D. Niwinski,
2002,
CSL.
Helmut Seidl,
Damian Niwinski,
H. Seidl,
1999,
RAIRO Theor. Informatics Appl..
Damian Niwinski,
D. Niwinski,
1997,
Theor. Comput. Sci..
Michal Skrzypczak,
Damian Niwinski,
Marcin Przybylko,
2020,
ICALP.
Igor Walukiewicz,
Pawel Urzyczyn,
Damian Niwinski,
2005,
ICALP.
Filip Murlak,
Damian Niwinski,
André Arnold,
2008,
Logic and Automata.
André Arnold,
Damian Niwiński,
A. Arnold,
2001
.
Thomas Colcombet,
Damian Niwinski,
Thomas Colcombet,
2006,
Theor. Comput. Sci..
Igor Walukiewicz,
Damian Niwinski,
D. Niwinski,
1996,
Theor. Comput. Sci..
Damian Niwinski,
D. Niwinski,
2016,
Axioms.
Michal Skrzypczak,
Damian Niwinski,
D. Niwinski,
2021,
MFCS.
Bruno Courcelle,
Andreas Podelski,
Damian Niwinski,
1991,
Mathematical systems theory.
Igor Walukiewicz,
Damian Niwinski,
D. Niwinski,
1998,
STACS.