Friedrich Slivovsky
About
Friedrich Slivovsky has authored 12 papers that have received a total of 52 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 3 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (10 papers), Advanced Graph Theory Research (4 papers) and Logic, programming, and type systems (3 papers). Friedrich Slivovsky is often cited by papers focused on Formal Methods in Verification (10 papers), Advanced Graph Theory Research (4 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in Austria, United Kingdom and India. Friedrich Slivovsky's co-authors include Stefan Szeider, Robert Ganian, Daniël Paulusma, Johannes K. Fichte and Franz‐Xaver Reichl and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Journal of Artificial Intelligence Research
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Rong-Hao Liang are about Top authors papers by Philip A. Bushby are co-authored with Top journals papers by Alessandra Rossi are published in Top countries impacted by papers by Abdelmalek Benzekri Top authors papers by T. S. Papola are co-authored with Top fields papers by Yasue Kishino are about Top fields papers by Suzanne Cahill are about Top countries impacted by papers by Philippe J. Maarek