Goran Frehse
About
Goran Frehse has authored 31 papers that have received a total of 551 indexed citations.
This includes 26 papers in Computational Theory and Mathematics, 16 papers in Software and 9 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (24 papers), Logic, programming, and type systems (7 papers) and Software Reliability and Analysis Research (7 papers). Goran Frehse is often cited by papers focused on Formal Methods in Verification (24 papers), Logic, programming, and type systems (7 papers) and Software Reliability and Analysis Research (7 papers) and collaborates with scholars based in France, Germany and United States. Goran Frehse's co-authors include Matthias Althoff, R. L. Ray, Alexandre Donzé, Jan Lunze and Marcelo Forets and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Lecture notes in control and information sciences and Information and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Cristina Dobrea Top authors papers by R. Kumaresan are co-authored with Top journals papers by Durward Olds are published in Top fields papers by Asao Hosoda are about Top countries impacted by papers by Carmelilia De Bernardo Top authors papers by Manisha Ray are co-authored with Top journals papers by Brij M. L. Kapur are published in Top countries impacted by papers by Howard P. Clemens