Bernd Steinbach

733 total citations
55 papers, 351 citations indexed

About

Bernd Steinbach is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Electrical and Electronic Engineering. According to data from OpenAlex, Bernd Steinbach has authored 55 papers receiving a total of 351 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 12 papers in Electrical and Electronic Engineering. Recurrent topics in Bernd Steinbach's work include Formal Methods in Verification (13 papers), Advanced Graph Theory Research (8 papers) and Constraint Satisfaction and Optimization (6 papers). Bernd Steinbach is often cited by papers focused on Formal Methods in Verification (13 papers), Advanced Graph Theory Research (8 papers) and Constraint Satisfaction and Optimization (6 papers). Bernd Steinbach collaborates with scholars based in Germany, Trinidad and Tobago and Jamaica. Bernd Steinbach's co-authors include Christian Posthoff, Alan Mishchenko, Marek Perkowski, Christian A. Lang, F. Schümann, Chunhui Wu, Alexis De Vos, Karin Steinbach, Zhiwei Sun and Dominik Fröhlich and has published in prestigious journals such as Artificial Intelligence Review, The Journal of Technology Transfer and Journal of Computational and Theoretical Nanoscience.

In The Last Decade

Bernd Steinbach

47 papers receiving 311 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Bernd Steinbach Germany 11 212 135 130 87 34 55 351
Vigyan Singhal United States 12 331 1.6× 82 0.6× 194 1.5× 261 3.0× 41 1.2× 27 518
Lucia Cloth Netherlands 12 160 0.8× 41 0.3× 50 0.4× 32 0.4× 19 0.6× 20 299
Joseph L. Yucas United States 11 95 0.4× 193 1.4× 115 0.9× 40 0.5× 11 0.3× 33 351
P.N. Marinos United States 10 88 0.4× 101 0.7× 72 0.6× 101 1.2× 4 0.1× 23 365
Jiřı́ Srba Denmark 9 231 1.1× 186 1.4× 28 0.2× 31 0.4× 12 0.4× 68 353
Ernst Moritz Hahn Germany 10 319 1.5× 160 1.2× 17 0.1× 51 0.6× 25 0.7× 27 449
B. Plateau France 8 176 0.8× 30 0.2× 23 0.2× 82 0.9× 14 0.4× 15 377
Wanwei Liu China 8 71 0.3× 65 0.5× 29 0.2× 45 0.5× 4 0.1× 37 190
Richard Raimi United States 4 318 1.5× 138 1.0× 67 0.5× 137 1.6× 9 0.3× 6 418

Countries citing papers authored by Bernd Steinbach

Since Specialization
Citations

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

Fields of papers citing papers by Bernd Steinbach

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Bernd Steinbach

This figure shows the co-authorship network connecting the top 25 collaborators of Bernd Steinbach. A scholar is included among the top collaborators of Bernd Steinbach 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 Steinbach. Bernd Steinbach 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.
Steinbach, Bernd, et al.. (2022). Logic Functions and Equations.
2.
Steinbach, Bernd, et al.. (2017). Agent-based power equilibrium in a smart grid with XBOOLE. 9 4. 406–416. 2 indexed citations
3.
Steinbach, Bernd & Christian Posthoff. (2017). Boolean Differential Calculus. 2 indexed citations
4.
Steinbach, Bernd & Christian Posthoff. (2015). Highly Complex 4-Colored Rectangle-free Grids - Solution Unsolved Multiple-Valued Problems.. 24. 369–404.
5.
Posthoff, Christian & Bernd Steinbach. (2014). SOLVING THE GAME OF SUDOKU. ICGA Journal. 37(2). 111–116. 1 indexed citations
6.
7.
Steinbach, Bernd. (2012). THE SOLUTION OF ULTRA LARGE GRID PROBLEMS. 2 indexed citations
8.
Steinbach, Bernd, et al.. (2010). Application of CUDA in the Boolean Domain for the Unate Covering Problem. PDXScholar (Portland State University). 85(9). 1327–35. 3 indexed citations
9.
Steinbach, Bernd & Christian Posthoff. (2009). Logic Functions and Equations: Examples and Exercises. CERN Document Server (European Organization for Nuclear Research). 18 indexed citations
10.
Steinbach, Bernd & Christian Posthoff. (2007). Set-based SAT-solving. Facta universitatis - series Electronics and Energetics. 20(3). 395–414. 1 indexed citations
11.
Fröhlich, Dominik, et al.. (2003). UML-Based Co-Design for Run-Time Reconfigurable Architectures.. Forum on specification and Design Languages. 285–297. 1 indexed citations
12.
Steinbach, Bernd & Christian A. Lang. (2003). Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. Artificial Intelligence Review. 20(3-4). 319–360. 4 indexed citations
13.
Lang, Christian A. & Bernd Steinbach. (2003). Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining. Artificial Intelligence Review. 20(3-4). 233–267. 13 indexed citations
14.
Steinbach, Bernd & Alan Mishchenko. (2001). SNF: A Special Normal Form for ESOPs. 23(4). 319–20. 7 indexed citations
15.
Mishchenko, Alan, et al.. (2001). Implicit Algorithms for Multi-Valued Input Support Manipulation. PDXScholar (Portland State University). 9 indexed citations
16.
Steinbach, Bernd, et al.. (1999). Fast Boolean Calculations Using Ordered Lists Of Ternary Vectors. 3 indexed citations
17.
Steinbach, Bernd. (1995). Synthesis of Multi-Level Circuits Using EXOR-Gates. 10 indexed citations
18.
Steinbach, Bernd. (1992). XBOOLE-A TOOLBOX FOR MODELLING, SIMULATION, AND ANALYSIS OF LARGE DIGITAL SYSTEMS. 15 indexed citations
19.
Steinbach, Bernd, et al.. (1991). A new decomposition method for multilevel circuit design. European Design Automation Conference. 374–377. 30 indexed citations
20.
Steinbach, Bernd & Karin Steinbach. (1978). Mission and responsibility of the technology transfer agent. The Journal of Technology Transfer. 3(1). 67–71. 1 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 Vigyan Singhal Breakdown of academic impact, for papers by Lucia Cloth Breakdown of academic impact, for papers by Joseph L. Yucas Breakdown of academic impact, for papers by P.N. Marinos Breakdown of academic impact, for papers by Jiřı́ Srba Breakdown of academic impact, for papers by Ernst Moritz Hahn Breakdown of academic impact, for papers by B. Plateau Breakdown of academic impact, for papers by Wanwei Liu Breakdown of academic impact, for papers by Richard Raimi
Rankless by CCL
2026