Marcin Jurdziński
About
Marcin Jurdziński has authored 28 papers that have received a total of 524 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 13 papers in Artificial Intelligence and 6 papers in Management Science and Operations Research. The topics of these papers are Formal Methods in Verification (17 papers), semigroups and automata theory (8 papers) and Logic, programming, and type systems (6 papers). Marcin Jurdziński is often cited by papers focused on Formal Methods in Verification (17 papers), semigroups and automata theory (8 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in United Kingdom, France and Denmark. Marcin Jurdziński's co-authors include Krzysztof R. Apt, Ranko Lazić, Krishnendu Chatterjee, Mogens Nielsen and Artur Czumaj and has published in prestigious journals such as SIAM Journal on Computing, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Eric Jankowski Top fields papers by Amélia G. Araújo are about Top fields papers by Keith S. Kyler are about Top fields papers by Marco Romano are about Top fields papers by Emir Hénic are about Top fields papers by Mohit Kumar are about Top journals papers by G H Fallet are published in Top authors papers by Liam Ebrill are co-authored with