Stefan Mitsch

1.4k total citations
50 papers, 447 citations indexed

About

Stefan Mitsch is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Stefan Mitsch has authored 50 papers receiving a total of 447 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. Recurrent topics in Stefan Mitsch's work include Formal Methods in Verification (24 papers), Context-Aware Activity Recognition Systems (9 papers) and Logic, programming, and type systems (8 papers). Stefan Mitsch is often cited by papers focused on Formal Methods in Verification (24 papers), Context-Aware Activity Recognition Systems (9 papers) and Logic, programming, and type systems (8 papers). Stefan Mitsch collaborates with scholars based in United States, Austria and China. Stefan Mitsch's co-authors include André Platzer, Wieland Schwinger, Werner Retschitzegger, Sarah M. Loos, Khalil Ghorbal, Jan-David Quesel, Nikos Aréchiga, Magnus O. Myreen, Yong Kiam Tan and Johannes Schönböck and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Information Fusion.

In The Last Decade

Stefan Mitsch

46 papers receiving 423 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Stefan Mitsch United States 11 187 181 95 88 78 50 447
Christian Heinzemann Germany 10 173 0.9× 92 0.5× 46 0.5× 64 0.7× 143 1.8× 36 359
Elena Fersman Sweden 12 99 0.5× 163 0.9× 106 1.1× 25 0.3× 50 0.6× 21 493
David J. Musliner United States 10 433 2.3× 126 0.7× 200 2.1× 119 1.4× 98 1.3× 61 673
Umut Durak Germany 14 186 1.0× 76 0.4× 63 0.7× 25 0.3× 183 2.3× 140 662
Joachim Denil Belgium 13 92 0.5× 80 0.4× 74 0.8× 20 0.2× 188 2.4× 82 474
Eunsuk Kang United States 14 268 1.4× 115 0.6× 245 2.6× 20 0.2× 150 1.9× 64 696
Jang‐Eui Hong South Korea 12 147 0.8× 35 0.2× 131 1.4× 60 0.7× 94 1.2× 83 523
DeJiu Chen Sweden 14 166 0.9× 104 0.6× 58 0.6× 13 0.1× 193 2.5× 81 549
Sheng-Tzong Cheng Taiwan 12 99 0.5× 49 0.3× 317 3.3× 45 0.5× 26 0.3× 86 566
Bruno Nogueira Brazil 13 86 0.5× 90 0.5× 221 2.3× 38 0.4× 50 0.6× 58 437

Countries citing papers authored by Stefan Mitsch

Since Specialization
Citations

This map shows the geographic impact of Stefan Mitsch'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 Stefan Mitsch with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Stefan Mitsch more than expected).

Fields of papers citing papers by Stefan Mitsch

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Stefan Mitsch. 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 Stefan Mitsch. The network helps show where Stefan Mitsch may publish in the future.

Co-authorship network of co-authors of Stefan Mitsch

This figure shows the co-authorship network connecting the top 25 collaborators of Stefan Mitsch. A scholar is included among the top collaborators of Stefan Mitsch 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 Stefan Mitsch. Stefan Mitsch 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.
Geretti, Luca, Matthias Althoff, Luis Benet, et al.. (2023). ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. EPiC series in computing. 96. 61–32.
2.
Mitsch, Stefan, et al.. (2023). ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. EPiC series in computing. 96. 170–150.
3.
Mitsch, Stefan, et al.. (2022). Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. ACM Transactions on Embedded Computing Systems. 22(1). 1–30. 6 indexed citations
4.
Lin, Qin, Stefan Mitsch, André Platzer, & John M. Dolan. (2021). Safe and Resilient Practical Waypoint-Following for Autonomous Vehicles. IEEE Control Systems Letters. 6. 1574–1579. 4 indexed citations
5.
Tan, Yong Kiam, et al.. (2018). VeriPhy: verified controller executables from verified cyber-physical system models. Chalmers Research (Chalmers University of Technology). 617–630. 17 indexed citations
6.
Mitsch, Stefan, et al.. (2018). A Benchmark for Component-based Hybrid Systems Safety Verification. EPiC series in computing. 48. 65–54. 1 indexed citations
7.
8.
Tan, Yong Kiam, et al.. (2018). VeriPhy: verified controller executables from verified cyber-physical system models. ACM SIGPLAN Notices. 53(4). 617–630. 6 indexed citations
9.
Mitsch, Stefan, Yong Kiam Tan, André Platzer, et al.. (2018). ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. EPiC series in computing. 54. 110–91. 5 indexed citations
10.
Jeannin, Jean-Baptiste, et al.. (2016). A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. International Journal on Software Tools for Technology Transfer. 19(6). 717–741. 17 indexed citations
11.
Mitsch, Stefan, et al.. (2015). Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. 757–764. 4 indexed citations
12.
Mitsch, Stefan, André Platzer, Werner Retschitzegger, & Wieland Schwinger. (2015). Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems. ACM Computing Surveys. 48(1). 1–40. 8 indexed citations
13.
Mitsch, Stefan, Elisabeth Kapsammer, Angelika Kusel, et al.. (2013). Automatic data transformation: breaching the walled gardens of social network platforms. 89–98. 4 indexed citations
14.
Mitsch, Stefan, et al.. (2012). The Situation Radar - Visualizing Collaborative Situation Awareness in Traffic Control Systems. 19th ITS World CongressERTICO - ITS EuropeEuropean CommissionITS AmericaITS Asia-Pacific. 1 indexed citations
15.
Mitsch, Stefan, et al.. (2011). Making workflows situation aware. 182–188. 2 indexed citations
16.
Mitsch, Stefan, et al.. (2010). Situation prediction nets: playing the token game for ontology-driven situation awareness. 202–218. 4 indexed citations
17.
Mitsch, Stefan, et al.. (2008). Automatic Position Determination of Fixed Infrastructure Sensor Network Nodes based on Topology Sensing and Maps.. International Conference on Wireless Networks. 17–22. 1 indexed citations
18.
Mitsch, Stefan, et al.. (2008). Large-Scale Industrial Positioning and Location Tracking Are We There Yet?. 251–259. 2 indexed citations
19.
Mitsch, Stefan, et al.. (2008). An Engineering Toolbox to Build Situation Aware Ambient Assisted Living Systems. 30. 110–116. 4 indexed citations
20.
Mitsch, Stefan, et al.. (2008). A Two-Layered Deployment Scheme for Wireless Sensor Network based Location Tracking. 726–730. 4 indexed citations

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 Christian Heinzemann Breakdown of academic impact, for papers by Elena Fersman Breakdown of academic impact, for papers by David J. Musliner Breakdown of academic impact, for papers by Umut Durak Breakdown of academic impact, for papers by Joachim Denil Breakdown of academic impact, for papers by Eunsuk Kang Breakdown of academic impact, for papers by Jang‐Eui Hong Breakdown of academic impact, for papers by DeJiu Chen Breakdown of academic impact, for papers by Sheng-Tzong Cheng Breakdown of academic impact, for papers by Bruno Nogueira
Rankless by CCL
2026