Berndt Farwer
About
Berndt Farwer has authored 13 papers that have received a total of 76 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 6 papers in Computer Networks and Communications and 5 papers in Artificial Intelligence. The topics of these papers are Petri Nets in System Modeling (8 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (4 papers). Berndt Farwer is often cited by papers focused on Petri Nets in System Modeling (8 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Germany and United Kingdom. Berndt Farwer's co-authors include Michael Köhler, Manfred Kudlek, Heiko Rölke, Nils Bulling and Rafael H. Bordini and has published in prestigious journals such as Fundamenta Informaticae
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Dieta Nurrika are about Top journals papers by Novi Reandy Sasmita are published in Top fields papers by Ángeles Rodríguez Esteban are about Top journals papers by Daxi Wang are published in Top fields papers by J. N. Ashley are about Top fields papers by Doris Mary Stenton are about Top authors papers by Amy Edwards are co-authored with Top fields papers by Jan Rak are about