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
Explore authors with similar magnitude of impact
Top authors papers by Anıl Özdemir are co-authored with Top countries impacted by papers by Liguang Mao Top authors papers by Takamori Kakino are co-authored with Top countries impacted by papers by Yi-Fan Ding Top journals papers by Dong Sup Kwag are published in Top countries impacted by papers by Y. Ohashi Top authors papers by Björn Nyberg are co-authored with Top journals papers by Yujiao Xian are published in