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 journals papers by Guled M. Jama are published in Top countries impacted by papers by Vivien Prigent Top journals papers by M. Sabaté-Gilarte are published in Top countries impacted by papers by Ronald Egan Top authors papers by Gillian Triggs are co-authored with Top authors papers by Chicheng Zhang are co-authored with Top authors papers by Mahmoud Elansary are co-authored with Top fields papers by Jonas Reiffers are about