Dariusz Biernacki
About
Dariusz Biernacki has authored 37 papers that have received a total of 518 indexed citations.
This includes 28 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 9 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (27 papers), Formal Methods in Verification (14 papers) and Logic, Reasoning, and Knowledge (13 papers). Dariusz Biernacki is often cited by papers focused on Logic, programming, and type systems (27 papers), Formal Methods in Verification (14 papers) and Logic, Reasoning, and Knowledge (13 papers) and collaborates with scholars based in Poland, United States and Denmark. Dariusz Biernacki's co-authors include Olivier Danvy, E. E. Eyler, Filip Sieczkowski, Chung-chieh Shan and Małgorzata Biernacka and has published in prestigious journals such as The Journal of Chemical Physics, Chemical Physics Letters and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Oleg Shevaleevskiy are published in Top authors papers by Maurice M. Best are co-authored with Top countries impacted by papers by Charles M. Eichler Top authors papers by Görán Zador are co-authored with Top countries impacted by papers by Christine Hachem Top journals papers by Hiroshi Sunada are published in Top fields papers by Zhang Zhang are about Top journals papers by Akihiro Yamamura are published in