Damian Niwiński
About
Damian Niwiński has authored 28 papers that have received a total of 215 indexed citations.
This includes 25 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 4 papers in Geometry and Topology. The topics of these papers are semigroups and automata theory (15 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (10 papers). Damian Niwiński is often cited by papers focused on semigroups and automata theory (15 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in Poland, France and United States. Damian Niwiński's co-authors include Igor Walukiewicz, André Arnold, Henryk Michalewski, Danièle Beauquier and Paweł Parys and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Journal of Symbolic Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Changji Wang Top journals papers by J. G. Enríquez are published in Top countries impacted by papers by Yu Top fields papers by Kevin Bennion are about Top authors papers by Miguel Poveda-García are co-authored with Top fields papers by Gilles Callebaut are about Top authors papers by Liang Ni are co-authored with Top countries impacted by papers by Michelle Hallack