Goran Frehse

31 papers and 548 indexed citations i.

Goran Frehse has authored 31 papers that have received a total of 548 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