Wolfgang Reif

99 papers and 513 indexed citations i.

About

Wolfgang Reif has authored 99 papers that have received a total of 513 indexed citations. This includes 30 papers in Artificial Intelligence, 29 papers in Industrial and Manufacturing Engineering and 25 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (20 papers), Manufacturing Process and Optimization (16 papers) and Software Reliability and Analysis Research (13 papers). Wolfgang Reif is often cited by papers focused on Formal Methods in Verification (20 papers), Manufacturing Process and Optimization (16 papers) and Software Reliability and Analysis Research (13 papers) and collaborates with scholars based in Germany, United States and Austria. Wolfgang Reif's co-authors include Alwin Hoffmann, Gerhard Schellhorn, Jan-Philipp Steghöfer, Gidon Ernst and Frank Ortmeier and has published in prestigious journals such as Nature, Sensors and Reliability Engineering & System Safety

In The Last Decade

Rankless by CCL
2025