Viktor Schuppan

11 papers and 224 indexed citations i.

Viktor Schuppan has authored 11 papers that have received a total of 224 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 9 papers in Software and 6 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (9 papers), Software Testing and Debugging Techniques (5 papers) and Logic, programming, and type systems (3 papers). Viktor Schuppan is often cited by papers focused on Formal Methods in Verification (9 papers), Software Testing and Debugging Techniques (5 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in Switzerland, Austria and Poland. Viktor Schuppan's co-authors include Armin Biere, Keijo Heljanko, Timo Latvala, Cyrille Artho and Tommi Junttila and has published in prestigious journals such as Theoretical Computer Science, Acta Informatica and Science of Computer Programming