Christoph Weidenbach

37 papers and 186 indexed citations i.

Christoph Weidenbach has authored 37 papers that have received a total of 186 indexed citations. This includes 27 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (10 papers). Christoph Weidenbach is often cited by papers focused on Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (10 papers) and collaborates with scholars based in Germany, France and Austria. Christoph Weidenbach's co-authors include Arnaud Fietzke, Andreas Nonnengart, Ullrich Hustadt, Jasmin Christian Blanchette and Christoph Meyer and has published in prestigious journals such as Journal of Agricultural and Food Chemistry, Lecture notes in computer science and Science of Computer Programming.