Andreas Krebs

96 papers and 680 indexed citations i.

Andreas Krebs has authored 96 papers that have received a total of 680 indexed citations. This includes 34 papers in Computational Theory and Mathematics, 21 papers in Artificial Intelligence and 15 papers in Endocrinology, Diabetes and Metabolism. The topics of these papers are semigroups and automata theory (25 papers), Formal Methods in Verification (13 papers) and Logic, programming, and type systems (9 papers). Andreas Krebs is often cited by papers focused on semigroups and automata theory (25 papers), Formal Methods in Verification (13 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in Germany, Switzerland and United States. Andreas Krebs's co-authors include Karl Otfried Schwab, Jürgen Doerfer, Arno Schmidt-Trücksäss, Karl Winkler and Michael Wurm and has published in prestigious journals such as Journal of Fluid Mechanics, The Journal of Organic Chemistry and Chemistry - A European Journal.