Christof Löding

33 papers and 264 indexed citations i.

Christof Löding has authored 33 papers that have received a total of 264 indexed citations. This includes 25 papers in Computational Theory and Mathematics, 22 papers in Artificial Intelligence and 5 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (18 papers), semigroups and automata theory (18 papers) and Logic, programming, and type systems (12 papers). Christof Löding is often cited by papers focused on Formal Methods in Verification (18 papers), semigroups and automata theory (18 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in Germany, France and United States. Christof Löding's co-authors include Thomas Colcombet, Krzysztof R. Apt, Olivier Serre, P. Madhusudan and Jan Van den Bussche and has published in prestigious journals such as Journal of the ACM, Lecture notes in computer science and ACM Transactions on Programming Languages and Systems.