Michał Cierniak
About
Michał Cierniak has authored 16 papers that have received a total of 388 indexed citations.
This includes 16 papers in Hardware and Architecture, 8 papers in Computer Networks and Communications and 7 papers in Artificial Intelligence. The topics of these papers are Parallel Computing and Optimization Techniques (16 papers), Logic, programming, and type systems (6 papers) and Formal Methods in Verification (4 papers). Michał Cierniak is often cited by papers focused on Parallel Computing and Optimization Techniques (16 papers), Logic, programming, and type systems (6 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States. Michał Cierniak's co-authors include James M. Stichnoth, Guei-Yuan Lueh, Ali-Reza Adl-Tabatabai and Brian T. R. Lewis and has published in prestigious journals such as The Computer Journal, ACM SIGPLAN Notices and Concurrency and Computation Practice and Experience.
In The Last Decade
side by side view
Countries citing papers authored by Michał Cierniak
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by John P. Holleran Breakdown of academic impact, for papers by Tony O’Driscoll Breakdown of academic impact, for papers by Wataru Kitamura Breakdown of academic impact, for papers by Jiawen Chen Breakdown of academic impact, for papers by Liza Bronner Murrison Breakdown of academic impact, for papers by Duncan J. Wood Breakdown of academic impact, for papers by Evann Eisenberg Breakdown of academic impact, for papers by Ai Leen Choo