Matthias Rungger

740 total citations
34 papers, 425 citations indexed

About

Matthias Rungger is a scholar working on Computational Theory and Mathematics, Control and Systems Engineering and Hardware and Architecture. According to data from OpenAlex, Matthias Rungger has authored 34 papers receiving a total of 425 indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Computational Theory and Mathematics, 17 papers in Control and Systems Engineering and 10 papers in Hardware and Architecture. Recurrent topics in Matthias Rungger's work include Formal Methods in Verification (17 papers), Petri Nets in System Modeling (13 papers) and Advanced Control Systems Optimization (12 papers). Matthias Rungger is often cited by papers focused on Formal Methods in Verification (17 papers), Petri Nets in System Modeling (13 papers) and Advanced Control Systems Optimization (12 papers). Matthias Rungger collaborates with scholars based in Germany, United States and Netherlands. Matthias Rungger's co-authors include Majid Zamani, Paulo Tabuada, Olaf Stursberg, Gunther Reißig, Manuel Mazo, Rupak Majumdar, Jessy W. Grizzle, Aaron D. Ames, Marco Caccamo and Rohan Tabish and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and Journal of Computational and Applied Mathematics.

In The Last Decade

Matthias Rungger

33 papers receiving 399 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Matthias Rungger Germany 11 274 204 91 87 60 34 425
Petter Nilsson United States 14 219 0.8× 279 1.4× 99 1.1× 45 0.5× 43 0.7× 26 474
James Kapinski United States 12 275 1.0× 163 0.8× 154 1.7× 73 0.8× 189 3.1× 34 498
Yash Vardhan Pant United States 7 113 0.4× 86 0.4× 90 1.0× 31 0.4× 37 0.6× 31 278
Luca Geretti Italy 9 122 0.4× 60 0.3× 66 0.7× 41 0.5× 47 0.8× 24 245
Shakiba Yaghoubi United States 11 114 0.4× 55 0.3× 93 1.0× 43 0.5× 72 1.2× 21 238
Xuchu Ding United States 8 151 0.6× 60 0.3× 138 1.5× 25 0.3× 35 0.6× 9 321
Alongkrit Chutinan United States 7 241 0.9× 167 0.8× 81 0.9× 100 1.1× 76 1.3× 8 406
Sudarshan K. Srinivasan United States 12 173 0.6× 89 0.4× 170 1.9× 113 1.3× 72 1.2× 55 530
Alphan Ulusoy United States 10 190 0.7× 102 0.5× 144 1.6× 18 0.2× 72 1.2× 18 417
Parasara Sridhar Duggirala United States 9 157 0.6× 88 0.4× 58 0.6× 69 0.8× 71 1.2× 36 258

Countries citing papers authored by Matthias Rungger

Since Specialization
Citations

This map shows the geographic impact of Matthias Rungger's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Matthias Rungger with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Matthias Rungger more than expected).

Fields of papers citing papers by Matthias Rungger

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Matthias Rungger. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Matthias Rungger. The network helps show where Matthias Rungger may publish in the future.

Co-authorship network of co-authors of Matthias Rungger

This figure shows the co-authorship network connecting the top 25 collaborators of Matthias Rungger. A scholar is included among the top collaborators of Matthias Rungger based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Matthias Rungger. Matthias Rungger is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Tomar, M. S., Matthias Rungger, & Majid Zamani. (2020). Invariance Feedback Entropy of Uncertain Control Systems. IEEE Transactions on Automatic Control. 66(12). 5680–5695. 8 indexed citations
2.
Rungger, Matthias, et al.. (2018). SENSE: Abstraction-Based Synthesis of Networked Control Systems. SHILAP Revista de lepidopterología. 272. 65–78. 2 indexed citations
3.
Belta, Călin, et al.. (2017). Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations
4.
Tabish, Rohan, et al.. (2017). Application and system-level software fault tolerance through full system restarts. 197–206. 19 indexed citations
5.
Rungger, Matthias & Gunther Reißig. (2017). Arbitrarily precise abstractions for optimal controller synthesis. 56. 1761–1768. 5 indexed citations
6.
Ames, Aaron D., Paulo Tabuada, Austin Jones, et al.. (2017). First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis Hybrid Systems. 25. 155–173. 10 indexed citations
7.
Rungger, Matthias & Majid Zamani. (2017). Invariance Feedback Entropy of Nondeterministic Control Systems. 91–100. 14 indexed citations
8.
Rungger, Matthias, Gunther Reißig, & Majid Zamani. (2016). Symbolic synthesis with average performance guarantees. CU Scholar (University of Colorado Boulder). 5. 7404–7410. 2 indexed citations
9.
Ames, Aaron D., Paulo Tabuada, Bastian Schürmann, et al.. (2015). First steps toward formal controller synthesis for bipedal robots. 209–218. 10 indexed citations
10.
Rungger, Matthias, et al.. (2015). State space grids for low complexity abstractions. 317. 6139–6146. 4 indexed citations
11.
Zamani, Majid, Matthias Rungger, & Peyman Mohajerin Esfahani. (2015). Construction of approximations of stochastic control systems: A compositional approach. 525–530. 2 indexed citations
12.
Rungger, Matthias & Paulo Tabuada. (2014). Abstracting and refining robustness for cyber-physical systems. 223–232. 9 indexed citations
13.
Reißig, Gunther & Matthias Rungger. (2014). Feedback refinement relations for symbolic controller synthesis. 88–94. 12 indexed citations
14.
Rungger, Matthias, et al.. (2013). Generalization of an input-to-state stability preserving Runge–Kutta method for nonlinear control systems. Journal of Computational and Applied Mathematics. 255. 346–352. 1 indexed citations
15.
Reißig, Gunther & Matthias Rungger. (2013). Abstraction-based solution of optimal stopping problems under uncertainty. 8. 3190–3196. 14 indexed citations
16.
Rungger, Matthias & Paulo Tabuada. (2013). A symbolic approach to the design of robust cyber-physical systems. Zenodo (CERN European Organization for Nuclear Research). 31. 3932–3937. 6 indexed citations
17.
Rungger, Matthias, Manuel Mazo, & Paulo Tabuada. (2013). Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. 333–342. 39 indexed citations
18.
Rungger, Matthias, Manuel Mazo, & Paulo Tabuada. (2012). Scaling up controller synthesis for linear systems and safety specifications. 7638–7643. 7 indexed citations
19.
Rungger, Matthias & Olaf Stursberg. (2012). On-the-fly model abstraction for controller synthesis. 56. 2645–2650. 12 indexed citations
20.
Rungger, Matthias, et al.. (2008). Establishing Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich).

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Petter Nilsson Breakdown of academic impact, for papers by James Kapinski Breakdown of academic impact, for papers by Yash Vardhan Pant Breakdown of academic impact, for papers by Luca Geretti Breakdown of academic impact, for papers by Shakiba Yaghoubi Breakdown of academic impact, for papers by Xuchu Ding Breakdown of academic impact, for papers by Alongkrit Chutinan Breakdown of academic impact, for papers by Sudarshan K. Srinivasan Breakdown of academic impact, for papers by Alphan Ulusoy Breakdown of academic impact, for papers by Parasara Sridhar Duggirala
Rankless by CCL
2026