Christoph Scholl

38 papers and 233 indexed citations i.

Christoph Scholl has authored 38 papers that have received a total of 233 indexed citations. This includes 32 papers in Computational Theory and Mathematics, 18 papers in Software and 16 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (32 papers), Software Testing and Debugging Techniques (11 papers) and Logic, programming, and type systems (10 papers). Christoph Scholl is often cited by papers focused on Formal Methods in Verification (32 papers), Software Testing and Debugging Techniques (11 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in Germany, Taiwan and Austria. Christoph Scholl's co-authors include Bernd Becker, Rolf Drechsler, Ernst Althaus, Ralf Wimmer and Uwe Waldmann and has published in prestigious journals such as Sensors, IEEE Transactions on Computers and Theoretical Computer Science