Bernd Reusch

21 papers and 182 indexed citations i.

About

Bernd Reusch has authored 21 papers that have received a total of 182 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 2 papers in Biomedical Engineering. The topics of these papers are Advanced Algebra and Logic (4 papers), semigroups and automata theory (3 papers) and Formal Methods in Verification (2 papers). Bernd Reusch is often cited by papers focused on Advanced Algebra and Logic (4 papers), semigroups and automata theory (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Germany, United States and The Netherlands. Bernd Reusch's co-authors include Klaus Tochtermann, Mahdi Fathi, Hans‐Werner Denker, Lothar Brecker and Rainer Brück and has published in prestigious journals such as IEEE Transactions on Computers, Image and Vision Computing and Journal of Computer and System Sciences.

In The Last Decade

Rankless by CCL
2025