Bernd Mahr

2.9k total citations
31 papers, 961 citations indexed

About

Bernd Mahr is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Bernd Mahr has authored 31 papers receiving a total of 961 indexed citations (citations by other indexed papers that have themselves been cited), including 10 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 6 papers in Software. Recurrent topics in Bernd Mahr's work include Logic, programming, and type systems (6 papers), Formal Methods in Verification (5 papers) and Model-Driven Software Engineering Techniques (4 papers). Bernd Mahr is often cited by papers focused on Logic, programming, and type systems (6 papers), Formal Methods in Verification (5 papers) and Model-Driven Software Engineering Techniques (4 papers). Bernd Mahr collaborates with scholars based in Germany, Austria and Switzerland. Bernd Mahr's co-authors include Hartmut Ehrig, Friedrich Jüttner, Michael Bassett, Marco Warth, Jonathan Hall, Jacques Loeckx, Armin Grünwald, Rolf W. Günther, Günter Gebauer and Georges De Moor and has published in prestigious journals such as Water Research, Journal of Computer and System Sciences and Software & Systems Modeling.

In The Last Decade

Bernd Mahr

25 papers receiving 845 citations

Peers

Bernd Mahr
Arthur Bernstein United States
Rinus Plasmeijer Netherlands
William Clinger United States
Pierre Cointe France
Sylvain Hallé Canada
Peter Sestoft Denmark
Pierre McKenzie Canada
Giorgio Delzanno Italy
Alessandro Aldini Italy
Michael Dyer United States
Arthur Bernstein United States
Bernd Mahr
Citations per year, relative to Bernd Mahr Bernd Mahr (= 1×) peers Arthur Bernstein

Countries citing papers authored by Bernd Mahr

Since Specialization
Citations

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

Fields of papers citing papers by Bernd Mahr

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Bernd Mahr

This figure shows the co-authorship network connecting the top 25 collaborators of Bernd Mahr. A scholar is included among the top collaborators of Bernd Mahr 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 Bernd Mahr. Bernd Mahr 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.
Mahr, Bernd. (2024). Position Statement: Models in Software and Systems Development. Technische Universität Berlin – Universitätsbibliothek.
2.
Mahr, Bernd, et al.. (2011). Diagramme als Bilder, die Modelle repräsentieren: Diagrammgebrauch in der Elementargeometrie. University of Southern Denmark Research Portal (University of Southern Denmark). 31. 275–309. 1 indexed citations
3.
Mahr, Bernd, Michael Bassett, Jonathan Hall, & Marco Warth. (2011). Development of an efficient and compact range extender engine. MTZ worldwide. 72(10). 16–23. 5 indexed citations
4.
Ehrig, Hartmut & Bernd Mahr. (2011). Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. 10 indexed citations
5.
6.
Mahr, Bernd, et al.. (2008). Autonomous Systems – Self-Organization, Management, and Control. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 6 indexed citations
7.
Ehrig, Hartmut & Bernd Mahr. (2001). Theory and practice of software development: a review of driving forces and expectations of TAPSOFT from 1985 to 1997. 118–130. 1 indexed citations
8.
Ehrig, Hartmut & Bernd Mahr. (2001). Algebraic techniques in software development: a review of progress up to the mid nineties. 34(9). 134–152. 2 indexed citations
9.
Mahr, Bernd, et al.. (2001). Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. 9 indexed citations
10.
Eklund, Patrik, et al.. (1996). Co-operative health information networks "CHIN". 34. 1068–1072. 1 indexed citations
11.
Jüttner, Friedrich, et al.. (1995). Emissions of two- and four-stroke outboard engines—II. Impact on water quality. Water Research. 29(8). 1983–1987. 22 indexed citations
12.
Mahr, Bernd, et al.. (1994). Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993. North-Holland eBooks. 5 indexed citations
13.
Mahr, Bernd, et al.. (1993). An ODP-Oriented Framework for European Services in Telemedicine. 15–33. 2 indexed citations
14.
Ehrig, Hartmut & Bernd Mahr. (1990). Fundamentals of Algebraic Specification 2. 352 indexed citations
15.
Günther, Rolf W., et al.. (1989). Informatik und Verantwortung, Arbeitskeis "Grenzen eines verantwortbaren Einsatzes von Informationstechnik" der Gesellschaft für Informatik.. Informatik-Spektrum. 12. 281–289.
16.
Ehrig, Hartmut & Bernd Mahr. (1985). Equations and initial semantics. Springer eBooks. 7 indexed citations
17.
Loeckx, Jacques & Bernd Mahr. (1985). A note on the equational calculus for many-sorted algebras with possibly empty carrier sets. Publications of the UdS (Saarland University). 30. 61–65. 2 indexed citations
18.
Ehrig, Hartmut & Bernd Mahr. (1985). Fundamentals of Algebraic Specification 1. 209 indexed citations
19.
Mahr, Bernd, et al.. (1982). Graph Grammars as a Tool for Description in Computer Processed Control: A Case Study.. 165–176. 3 indexed citations
20.
Mahr, Bernd. (1982). Algebraic complexity of path problems. Springer Link (Chiba Institute of Technology). 16(3). 263–292.

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 Arthur Bernstein Breakdown of academic impact, for papers by Rinus Plasmeijer Breakdown of academic impact, for papers by William Clinger Breakdown of academic impact, for papers by Pierre Cointe Breakdown of academic impact, for papers by Sylvain Hallé Breakdown of academic impact, for papers by Peter Sestoft Breakdown of academic impact, for papers by Pierre McKenzie Breakdown of academic impact, for papers by Giorgio Delzanno Breakdown of academic impact, for papers by Alessandro Aldini Breakdown of academic impact, for papers by Michael Dyer
Rankless by CCL
2026