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 fields papers by M.M. Balp are about Top fields papers by J. Darby Smith are about Top authors papers by Gary Banks are co-authored with Top journals papers by Francesco Alberti are published in Top journals papers by Xiansheng Ni are published in Top fields papers by M. Nordby are about Top journals papers by Lynn Chong are published in Top fields papers by Drahomíra Herrmannová are about