Jörg Bräuer
About
Jörg Bräuer has authored 18 papers that have received a total of 87 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 9 papers in Software and 5 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (14 papers), Software Testing and Debugging Techniques (7 papers) and Logic, programming, and type systems (4 papers). Jörg Bräuer is often cited by papers focused on Formal Methods in Verification (14 papers), Software Testing and Debugging Techniques (7 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Germany, Austria and United Kingdom. Jörg Bräuer's co-authors include Stefan Kowalewski, Bastian Schlich, Andy King, Thierry Lecomte and Andreas Steininger and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, Microelectronic Engineering and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Kevin McDaid are published in Top fields papers by Mariusz Wojnarski are about Top fields papers by María José Ezeizabarrena Segurola are about Top fields papers by D.Y. Yin are about Top countries impacted by papers by Georges Lefebvre Top countries impacted by papers by Alexandre Bérard Top fields papers by Patrick Waddell are about Top authors papers by Drahomíra Herrmannová are co-authored with