Liana Hadarean
About
Liana Hadarean has authored 3 papers that have received a total of 27 indexed citations.
This includes 3 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in Sociology and Political Science. The topics of these papers are Security and Verification in Computing (2 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers). Liana Hadarean is often cited by papers focused on Security and Verification in Computing (2 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States and Switzerland. Liana Hadarean's co-authors include Andrew Reynolds, Cesare Tinelli, Byron Cook, Andrew Gacek and Aaron Stump and has published in prestigious journals such as Formal Methods in System Design
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Emel Azak are co-authored with Top authors papers by H.-Å. Gustafsson are co-authored with Top journals papers by F. Fares are published in Top countries impacted by papers by Daniel Adamiak Top authors papers by Wendy H. Grillo are co-authored with Top journals papers by Esma Kerboua are published in Top journals papers by P. Lariccia are published in Top authors papers by S. P. Vyatchanin are co-authored with