Szymon Toruńczyk

19 papers and 68 indexed citations i.

About

Szymon Toruńczyk has authored 19 papers that have received a total of 68 indexed citations. This includes 14 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 6 papers in Geometry and Topology. The topics of these papers are semigroups and automata theory (7 papers), Formal Methods in Verification (6 papers) and Combinatorial Optimization and Complexity Theory (6 papers). Szymon Toruńczyk is often cited by papers focused on semigroups and automata theory (7 papers), Formal Methods in Verification (6 papers) and Combinatorial Optimization and Complexity Theory (6 papers) and collaborates with scholars based in Poland, Germany and Spain. Szymon Toruńczyk's co-authors include Michał Pilipczuk, Mikołaj Bojańczyk, Sebastian Siebertz, Jakub Gajarský and Jaroslav Nešetřil and has published in prestigious journals such as Journal of the ACM, ACM SIGPLAN Notices and Semigroup Forum.

In The Last Decade

Rankless by CCL
2025