Christoph Matheja

11 papers and 131 indexed citations i.

Christoph Matheja has authored 11 papers that have received a total of 131 indexed citations. This includes 11 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 2 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (10 papers), Logic, programming, and type systems (8 papers) and Logic, Reasoning, and Knowledge (4 papers). Christoph Matheja is often cited by papers focused on Formal Methods in Verification (10 papers), Logic, programming, and type systems (8 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in Germany, United Kingdom and Switzerland. Christoph Matheja's co-authors include Joost-Pieter Katoen, Benjamin Lucien Kaminski, Péter Müller, Alexander J. Summers and Federico Olmedo and has published in prestigious journals such as Journal of the ACM, Acta Informatica and ACM Transactions on Computational Logic