Erwin Engeler

1.2k total citations
38 papers, 592 citations indexed

About

Erwin Engeler is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Geometry and Topology. According to data from OpenAlex, Erwin Engeler has authored 38 papers receiving a total of 592 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Computational Theory and Mathematics, 12 papers in Artificial Intelligence and 4 papers in Geometry and Topology. Recurrent topics in Erwin Engeler's work include Logic, Reasoning, and Knowledge (7 papers), Advanced Algebra and Logic (7 papers) and Computability, Logic, AI Algorithms (7 papers). Erwin Engeler is often cited by papers focused on Logic, Reasoning, and Knowledge (7 papers), Advanced Algebra and Logic (7 papers) and Computability, Logic, AI Algorithms (7 papers). Erwin Engeler collaborates with scholars based in Switzerland and United States. Erwin Engeler's co-authors include William Hatcher, B. F. Caviness, Y. N. Lakshman, Albert Visser, Gerhard Jäger, Sergei Artëmov, Solomon Feferman and George Boolos and has published in prestigious journals such as Lecture notes in mathematics, American Mathematical Monthly and Theoretical Computer Science.

In The Last Decade

Erwin Engeler

30 papers receiving 472 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Erwin Engeler Switzerland 11 368 348 81 47 39 38 592
H. B. Enderton United States 6 440 1.2× 573 1.6× 65 0.8× 26 0.6× 48 1.2× 23 913
Steven Givant United States 11 437 1.2× 414 1.2× 117 1.4× 57 1.2× 56 1.4× 39 696
Heinz-Dieter Ebbinghaus Germany 8 573 1.6× 474 1.4× 92 1.1× 23 0.5× 36 0.9× 18 849
Michael Beeson United States 13 562 1.5× 475 1.4× 218 2.7× 86 1.8× 121 3.1× 50 899
Harold T. Hodes United States 10 309 0.8× 393 1.1× 25 0.3× 26 0.6× 35 0.9× 30 624
Haskell B. Curry United States 9 759 2.1× 941 2.7× 30 0.4× 25 0.5× 34 0.9× 23 1.2k
J. L. Bell Canada 3 303 0.8× 441 1.3× 45 0.6× 13 0.3× 85 2.2× 3 533
Dirk van Dalen Netherlands 12 252 0.7× 292 0.8× 49 0.6× 65 1.4× 39 1.0× 35 515
Yuri Matiyasevich Russia 9 283 0.8× 205 0.6× 86 1.1× 23 0.5× 60 1.5× 61 473
Jonathan P. Seldin Canada 10 512 1.4× 666 1.9× 20 0.2× 15 0.3× 40 1.0× 26 757

Countries citing papers authored by Erwin Engeler

Since Specialization
Citations

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

Fields of papers citing papers by Erwin Engeler

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Erwin Engeler

This figure shows the co-authorship network connecting the top 25 collaborators of Erwin Engeler. A scholar is included among the top collaborators of Erwin Engeler 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 Erwin Engeler. Erwin Engeler 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.
Engeler, Erwin, B. F. Caviness, & Y. N. Lakshman. (1996). Proceedings of the 1996 international symposium on Symbolic and algebraic computation. 49 indexed citations
2.
Artëmov, Sergei, George Boolos, Erwin Engeler, et al.. (1995). Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994.. Annals of Pure and Applied Logic. 75. 1. 1 indexed citations
3.
Engeler, Erwin. (1993). Foundations of Mathematics: Questions of Analysis, Geometry & Algorithmics. Medical Entomology and Zoology. 4 indexed citations
4.
Engeler, Erwin. (1988). Representation of varieties in combinatory algebras. Algebra Universalis. 25(1). 85–95. 4 indexed citations
5.
Engeler, Erwin, et al.. (1988). Berechnungstheorie für Informatiker. 1 indexed citations
6.
Engeler, Erwin. (1987). Goals and design considerations for a mathematical laboratory. ACM SIGSAM Bulletin. 21(3). 7–8. 1 indexed citations
7.
Engeler, Erwin. (1984). Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics. Journal of Symbolic Logic. 49(1). 301–303. 10 indexed citations
8.
Engeler, Erwin. (1981). Generalized Galois theory and its application to complexity. Theoretical Computer Science. 13(3). 271–293. 8 indexed citations
9.
Engeler, Erwin. (1981). Algebras and combinators. Algebra Universalis. 13(1). 389–392. 55 indexed citations
10.
Engeler, Erwin. (1981). Logic of Programs, Workshop. 12 indexed citations
11.
Engeler, Erwin. (1971). Algorithmic approximations. Journal of Computer and System Sciences. 5(1). 67–82. 7 indexed citations
12.
Engeler, Erwin. (1971). Symposium on Semantics of Algorithmic Languages. Lecture notes in mathematics. 55 indexed citations
13.
Engeler, Erwin & William Hatcher. (1970). Foundations of Mathematics.. American Mathematical Monthly. 77(1). 90–90. 93 indexed citations
14.
Engeler, Erwin. (1969). On the Problem of Foundations of Category Theory. dialectica. 23(1). 58–66. 5 indexed citations
15.
Engeler, Erwin. (1968). Formal languages; automata and structures. 17 indexed citations
16.
Engeler, Erwin, et al.. (1966). Languages with Expressions of Infinite Length.. American Mathematical Monthly. 73(6). 684–684. 112 indexed citations
17.
Engeler, Erwin. (1963). A reduction-principle for infinite formulas. Mathematische Annalen. 151(4). 296–303. 1 indexed citations
18.
Engeler, Erwin. (1961). Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln. Mathematical logic quarterly. 7(11-14). 213–218. 1 indexed citations
19.
Engeler, Erwin. (1959). Äquivalenzklassen von n‐Tupeln. Mathematical logic quarterly. 5(14-24). 340–345. 9 indexed citations
20.
Engeler, Erwin. (1958). Untersuchungen zur Modelltheorie. Repository for Publications and Research Data (ETH Zurich).

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 H. B. Enderton Breakdown of academic impact, for papers by Steven Givant Breakdown of academic impact, for papers by Heinz-Dieter Ebbinghaus Breakdown of academic impact, for papers by Michael Beeson Breakdown of academic impact, for papers by Harold T. Hodes Breakdown of academic impact, for papers by Haskell B. Curry Breakdown of academic impact, for papers by J. L. Bell Breakdown of academic impact, for papers by Dirk van Dalen Breakdown of academic impact, for papers by Yuri Matiyasevich Breakdown of academic impact, for papers by Jonathan P. Seldin
Rankless by CCL
2026