Stefan Schupp
About
Stefan Schupp has authored 17 papers that have received a total of 55 indexed citations.
This includes 15 papers in Computational Theory and Mathematics, 14 papers in Software and 6 papers in Safety, Risk, Reliability and Quality. The topics of these papers are Formal Methods in Verification (15 papers), Software Reliability and Analysis Research (13 papers) and Safety Systems Engineering in Autonomy (6 papers). Stefan Schupp is often cited by papers focused on Formal Methods in Verification (15 papers), Software Reliability and Analysis Research (13 papers) and Safety Systems Engineering in Autonomy (6 papers) and collaborates with scholars based in Germany, Austria and United Kingdom. Stefan Schupp's co-authors include R. L. Ray, Anne Remke, Arnd Hartmanns, Marcelo Forets and Christian Schilling and has published in prestigious journals such as Chemistry - A European Journal, Information and Computation and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Olga Shabalina are about Top fields papers by Zbigniew Landau are about Top authors papers by M. Beatson are co-authored with Top fields papers by Pablo Ruiz Fabo are about Top authors papers by Vincent Newey are co-authored with Top fields papers by Mack P. Holt are about Top fields papers by Klaus Grubmüller are about Top countries impacted by papers by Wolfram Kahl