Michael Mendler

1.1k total citations
49 papers, 428 citations indexed

About

Michael Mendler is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Michael Mendler has authored 49 papers receiving a total of 428 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Computational Theory and Mathematics, 21 papers in Hardware and Architecture and 21 papers in Artificial Intelligence. Recurrent topics in Michael Mendler's work include Formal Methods in Verification (28 papers), Embedded Systems Design Techniques (20 papers) and Logic, programming, and type systems (16 papers). Michael Mendler is often cited by papers focused on Formal Methods in Verification (28 papers), Embedded Systems Design Techniques (20 papers) and Logic, programming, and type systems (16 papers). Michael Mendler collaborates with scholars based in Germany, United Kingdom and United States. Michael Mendler's co-authors include Gerald Lüttgen, Reinhard von Hanxleden, Peter P. Nawroth, Michael Morcos, Valeria de Paiva, Thomas Fleming, Partha S. Roop, Andrea Schlotterer, Thomas R. Shiple and Gérard Berry and has published in prestigious journals such as Journal of Biological Chemistry, Diabetologia and Theoretical Computer Science.

In The Last Decade

Michael Mendler

46 papers receiving 407 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Michael Mendler Germany	11	202	171	143	44	42	49	428
David Lacey United States	7	162 0.8×	116 0.7×	154 1.1×		28 0.7×	10	347
Giuseppe Scollo Italy	9	207 1.0×	191 1.1×	48 0.3×		44 1.0×	36	396
Yukiyoshi Kameyama Japan	10	90 0.4×	223 1.3×	90 0.6×		45 1.1×	39	272
Robert Reynolds United States	10	15 0.1×	7 0.0×	47 0.3×	3 0.1×	57 1.4×	20	310
Duncan Coutts Australia	4	44 0.2×	95 0.6×	90 0.6×		61 1.5×	6	229
James L. Schmidt United States	7	38 0.2×	146 0.9×	31 0.2×		44 1.0×	12	318
Brent Australia	4	226 1.1×	129 0.8×	382 2.7×		109 2.6×	11	844
Tetsu Iwata Japan	10	24 0.1×	256 1.5×	30 0.2×		34 0.8×	48	379
William F. Smyth Canada	9	84 0.4×	179 1.0×	60 0.4×		28 0.7×	38	339
Marc Pouzet France	12	288 1.4×	94 0.5×	315 2.2×		60 1.4×	39	450

Countries citing papers authored by Michael Mendler

Since Specialization

Citations

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

Fields of papers citing papers by Michael Mendler

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Michael Mendler

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

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Colaço, Jean-Louis, et al.. (2023). A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines. ACM Transactions on Embedded Computing Systems. 22(5s). 1–26. 1 indexed citations

Mendler, Michael, et al.. (2019). Towards Object-Oriented Modeling in SCCharts. 3 indexed citations

Mendler, Michael, Stefan Kopf, Jan B. Groener, et al.. (2018). Urine levels of 5-aminoimidazole-4-carboxamide riboside (AICAR) in patients with type 2 diabetes. Acta Diabetologica. 55(6). 585–592. 2 indexed citations

Mendler, Michael, et al.. (2017). Compositional timing-aware semantics for synchronous programming. Edinburgh Research Explorer. 1–8. 2 indexed citations

Hanxleden, Reinhard von, et al.. (2017). SCEst. ACM Transactions on Embedded Computing Systems. 17(2). 1–26. 1 indexed citations

Mendler, Michael, et al.. (2017). Timing Analysis of Synchronous Programs using WCRT Algebra. ACM Transactions on Embedded Computing Systems. 16(5s). 1–19. 9 indexed citations

Mendler, Michael, Andreas Schlotterer, Youssef Ibrahim, et al.. (2014). daf-16/FOXO and glod-4/glyoxalase-1 are required for the life-prolonging effect of human insulin under high glucose conditions in Caenorhabditis elegans. Diabetologia. 58(2). 393–401. 28 indexed citations

Mendler, Michael, et al.. (2014). On the Computational Interpretation of CK_n for Contextual Information Processing. Fundamenta Informaticae. 130(1). 125–162. 1 indexed citations

Hanxleden, Reinhard von, et al.. (2014). SCCharts: sequentially constructive statecharts for safety-critical applications. ACM SIGPLAN Notices. 49(6). 372–383. 22 indexed citations

10.

Hanxleden, Reinhard von, et al.. (2013). Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. Design, Automation, and Test in Europe. 581–586. 6 indexed citations

11.

Mendler, Michael, et al.. (2011). Cut-free Gentzen calculus for multimodalCK. Information and Computation. 209(12). 1465–1490. 5 indexed citations

12.

Mendler, Michael & Gerald Lüttgen. (2010). Is observational congruence onμ-expressions axiomatisable in equational Horn logic?. Information and Computation. 208(6). 634–651. 3 indexed citations

13.

Mendler, Michael, et al.. (2009). Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.. Description Logics. 2 indexed citations

14.

Mendler, Michael, et al.. (2009). WCRT algebra and interfaces for Esterel-style synchronous processing. Design, Automation, and Test in Europe. 93–98. 15 indexed citations

15.

Mendler, Michael, et al.. (2009). WCRT algebra and interfaces for esterel-style synchronous processing. 66. 93–98. 4 indexed citations

16.

Mendler, Michael, et al.. (2008). Towards Constructive DL for Abstraction and Refinement.. Description Logics. 4 indexed citations

17.

Lüttgen, Gerald & Michael Mendler. (2001). Statecharts: From Visual Syntax to Model-Theoretic Semantics. GI Jahrestagung (1). 615–621. 6 indexed citations

18.

Mendler, Michael. (2000). Characterising combinational timing analyses in intuitionistic modal logic. Logic Journal of IGPL. 8(6). 821–852. 6 indexed citations

19.

Mendler, Michael, et al.. (1997). Propositional Lax Logic. Information and Computation. 137(1). 1–33. 88 indexed citations

20.

Andersen, Henrik Reif & Michael Mendler. (1994). An Asynchronous Algebra with Multiple Clocks. 58–73. 5 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