Tihomir Gvero
About
Tihomir Gvero has authored 9 papers that have received a total of 182 indexed citations.
This includes 6 papers in Artificial Intelligence, 6 papers in Information Systems and 4 papers in Software. The topics of these papers are Logic, programming, and type systems (6 papers), Software Engineering Research (6 papers) and Software Testing and Debugging Techniques (4 papers). Tihomir Gvero is often cited by papers focused on Logic, programming, and type systems (6 papers), Software Engineering Research (6 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in Switzerland, United States and Germany. Tihomir Gvero's co-authors include Viktor Kunčak, Milos Gligoric, Sarfraz Khurshid, Darko Marinov and Ružica Piskač and has published in prestigious journals such as ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Bridget Alex are about Top fields papers by H.-Z. Ding are about Top authors papers by Maxime J.M. van der Valk are co-authored with Top authors papers by Shigemi Otsuka are co-authored with Top journals papers by A. I. Naumenkov are published in Top fields papers by Motoyuki Abe are about Top authors papers by Anupreet Kour are co-authored with Top authors papers by James P. Blaisdell are co-authored with