Fabian Immler

555 total citations
17 papers, 76 citations indexed

About

Fabian Immler is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology. According to data from OpenAlex, Fabian Immler has authored 17 papers receiving a total of 76 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Computational Theory and Mathematics, 8 papers in Artificial Intelligence and 2 papers in Molecular Biology. Recurrent topics in Fabian Immler's work include Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Numerical Methods and Algorithms (3 papers). Fabian Immler is often cited by papers focused on Logic, programming, and type systems (8 papers), Formal Methods in Verification (7 papers) and Numerical Methods and Algorithms (3 papers). Fabian Immler collaborates with scholars based in Germany, United States and Italy. Fabian Immler's co-authors include Matthias Althoff, Sebastian Polarz, Xin Chen, Sebastian Theiß, Yong Kiam Tan, Bohua Zhan, Michael Kovermann, Luis Benet, Christian Schilling and Alexandre Chapoutot and has published in prestigious journals such as Langmuir, Biochimie and ChemBioChem.

In The Last Decade

Fabian Immler

16 papers receiving 73 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Fabian Immler Germany 6 36 26 16 12 7 17 76
K. A. Germina India 6 128 3.6× 7 0.3× 31 1.9× 2 0.2× 8 1.1× 52 172
Dinesh India 5 5 0.1× 9 0.3× 16 1.0× 3 0.3× 1 0.1× 32 80
H.-E. Richert Germany 9 18 0.5× 30 1.2× 7 0.4× 3 0.3× 6 0.9× 23 237
Ali Mohammadian Iran 8 95 2.6× 18 0.7× 61 3.8× 2 0.2× 1 0.1× 37 269
Shi-Cai Gong China 11 207 5.8× 7 0.3× 92 5.8× 12 1.0× 5 0.7× 35 293
Xuan Zang China 3 57 1.6× 20 0.8× 3 0.2× 2 0.2× 4 0.6× 10 94
E. R. Puczyłowski Poland 13 130 3.6× 21 0.8× 9 0.6× 2 0.3× 88 518
Pace P. Nielsen United States 10 58 1.6× 16 0.6× 7 0.4× 1 0.1× 52 392
Christian Berthet Canada 4 33 0.9× 11 0.4× 2 0.1× 4 0.3× 7 45
B. C. Brodie Singapore 3 8 0.2× 78 3.0× 7 0.4× 8 170

Countries citing papers authored by Fabian Immler

Since Specialization
Citations

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

Fields of papers citing papers by Fabian Immler

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Fabian Immler

This figure shows the co-authorship network connecting the top 25 collaborators of Fabian Immler. A scholar is included among the top collaborators of Fabian Immler 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 Fabian Immler. Fabian Immler is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Immler, Fabian, et al.. (2023). Targeted Preparation and NMR Spectroscopic Characterization of Lys11‐Linked Ubiquitin Trimers. ChemBioChem. 25(3). e202300670–e202300670. 2 indexed citations
2.
Kovermann, Michael, Alessandra Stefan, Fabian Immler, et al.. (2023). The Mycobacterium tuberculosis protein tyrosine phosphatase MptpA features a pH dependent activity overlapping the bacterium sensitivity to acidic conditions. Biochimie. 213. 66–81. 3 indexed citations
3.
Geretti, Luca, Matthias Althoff, Luis Benet, et al.. (2020). ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. EPiC series in computing. 74. 49–21. 4 indexed citations
4.
Immler, Fabian & Yong Kiam Tan. (2020). The Poincaré-Bendixson theorem in Isabelle/HOL. 338–352. 3 indexed citations
5.
Immler, Fabian & Yong Kiam Tan. (2019). The Poincaré-Bendixson Theorem.. 2019. 1 indexed citations
6.
Immler, Fabian & Bohua Zhan. (2019). Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. 65–77. 3 indexed citations
7.
Theiß, Sebastian, et al.. (2019). NHC-Metallosurfactants as Active Polymerization Catalysts. Langmuir. 35(50). 16514–16520. 19 indexed citations
8.
Immler, Fabian, Matthias Althoff, Luis Benet, et al.. (2019). ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. EPiC series in computing. 61. 41–19. 3 indexed citations
9.
Immler, Fabian. (2018). A Verified ODE Solver and Smale's 14th Problem. mediaTUM – the media and publications repository of the Technical University Munich (Technical University Munich). 121–130.
10.
Immler, Fabian. (2018). A Verified ODE Solver and the Lorenz Attractor. Journal of Automated Reasoning. 61(1-4). 73–111. 9 indexed citations
11.
Immler, Fabian. (2018). Tool Presentation: Isabelle/HOL for Reachability Analysis of Continuous Systems. EPiC series in computing. 34. 180–171. 6 indexed citations
12.
Immler, Fabian, et al.. (2018). The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. Journal of Automated Reasoning. 62(2). 215–236. 6 indexed citations
13.
Chen, Xin, Matthias Althoff, & Fabian Immler. (2018). ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. EPiC series in computing. 48. 160–149. 6 indexed citations
14.
Immler, Fabian, Matthias Althoff, Xin Chen, et al.. (2018). ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. EPiC series in computing. 54. 53–34. 3 indexed citations
15.
Immler, Fabian, et al.. (2016). Gröbner Bases Theory.. 2016. 1 indexed citations
16.
Immler, Fabian. (2015). A Verified Algorithm for Geometric Zonotope/Hyperplane Intersection. 129–136. 5 indexed citations
17.
Immler, Fabian & Johannes Hölzl. (2012). Ordinary Differential Equations.. 2012. 2 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 K. A. Germina Breakdown of academic impact, for papers by Dinesh Breakdown of academic impact, for papers by H.-E. Richert Breakdown of academic impact, for papers by Ali Mohammadian Breakdown of academic impact, for papers by Shi-Cai Gong Breakdown of academic impact, for papers by Xuan Zang Breakdown of academic impact, for papers by E. R. Puczyłowski Breakdown of academic impact, for papers by Pace P. Nielsen Breakdown of academic impact, for papers by Christian Berthet Breakdown of academic impact, for papers by B. C. Brodie
Rankless by CCL
2026