Gunther Reißig

30 papers and 428 indexed citations i.

About

Gunther Reißig has authored 30 papers that have received a total of 428 indexed citations. This includes 21 papers in Computational Theory and Mathematics, 16 papers in Control and Systems Engineering and 10 papers in Numerical Analysis. The topics of these papers are Formal Methods in Verification (12 papers), Advanced Control Systems Optimization (9 papers) and Petri Nets in System Modeling (7 papers). Gunther Reißig is often cited by papers focused on Formal Methods in Verification (12 papers), Advanced Control Systems Optimization (9 papers) and Petri Nets in System Modeling (7 papers) and collaborates with scholars based in Germany, United States and Canada. Gunther Reißig's co-authors include Matthias Rungger, Ferdinand Svaricek, Holger Boche, Paul I. Barton and Majid Zamani and has published in prestigious journals such as IEEE Transactions on Automatic Control, Journal of Mathematical Analysis and Applications and SIAM Journal on Scientific Computing

In The Last Decade

Rankless by CCL
2025