Damian Niwiński

28 papers and 220 indexed citations i.

About

Damian Niwiński has authored 28 papers that have received a total of 220 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 Jerzy Jaworski 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

Fields of papers published by Damian Niwiński

Since Specialization
EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

Countries citing papers authored by Damian Niwiński

Since Specialization
Citations
Rankless by CCL
2025