Erwin Engeler
Impact in
- Theoretical Computer Science top 2%
- History and Theory of Mathematics
-
- Formal Methods in Verification
- Computability, Logic, AI Algorithms
- Advanced Algebra and Logic
- semigroups and automata theory
Papers in
-
- Computability, Logic, AI Algorithms 11
- Advanced Algebra and Logic 10
- semigroups and automata theory 7
- Polynomial and algebraic computation 3
-
- Logic, programming, and type systems 10
- Logic, Reasoning, and Knowledge 9
- Co-authors
- William Hatcher (1 shared paper)Y. N. Lakshman (1 shared paper)B. F. Caviness (1 shared paper)Sergei Artëmov (1 shared paper)Albert Visser (1 shared paper)Gerhard Jäger (1 shared paper)Solomon Feferman (1 shared paper)George Boolos (1 shared paper)
- Journals
- Journal of Symbolic Logic (5 papers)Lecture notes in mathematics (4 papers)dialectica (3 papers)Theoretical Computer Science (3 papers)Mathematische Annalen (2 papers)
- Partner nations
- SwitzerlandUnited StatesIsrael
In The Last Decade
Erwin Engeler
43 papers receiving 778 citations
Peers
Comparison fields: 5 of 75
- Theoretical Computer Science 62
- Computational Theory and Mathematics 633
- Artificial Intelligence 585
- Software 72
- Geometry and Topology 114
Countries citing papers authored by Erwin Engeler
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
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-authors
The 10 scholars most cited alongside Erwin Engeler, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 58 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1966 | 146 | |
| 2 | 1970 | 123 | |
| 3 | 1971 | 81 | |
| 4 | 1981 | 80 | |
| 5 | 1967 | 69 | |
| 6 | 1974 | 68 | |
| 7 | Logic of Programs | 1982 | 59 |
| 8 | Proceedings of the 1996 international symposium on Symbolic and algebraic computation | 1996 | 51 |
| 9 | Logic of Programs, Workshop | 1981 | 32 |
| 10 | Formal languages; automata and structures | 1968 | 31 |
| 11 | 1971 | 31 | |
| 12 | 1983 | 21 | |
| 13 | 1968 | 15 | |
| 14 | 1995 | 15 | |
| 15 | Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics | 1984 | 13 |
| 16 | 1959 | 11 | |
| 17 | 1959 | 10 | |
| 18 | 1981 | 9 | |
| 19 | 2019 | 9 | |
| 20 | 1993 | 9 |
About Erwin Engeler
Erwin Engeler is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Geometry and Topology, Theoretical Computer Science and Computational Mechanics, having authored 58 papers that have together received 973 indexed citations. Recurring topics across this work include Computability, Logic, AI Algorithms (11 papers), Advanced Algebra and Logic (10 papers), Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (9 papers), semigroups and automata theory (7 papers), History and Theory of Mathematics (5 papers), Mathematics and Applications (3 papers) and Polynomial and algebraic computation (3 papers). The work is most often cited by research in Theoretical Computer Science (62 citations), Computational Theory and Mathematics (633 citations), Artificial Intelligence (585 citations), Software (72 citations) and Geometry and Topology (114 citations). Erwin Engeler has collaborated with scholars based in Switzerland, United States and Israel. Frequent co-authors include William Hatcher, Y. N. Lakshman, B. F. Caviness, Sergei Artëmov, Albert Visser, Gerhard Jäger, Solomon Feferman, George Boolos, Johann A. Makowsky and Norbert Hungerbühler. Their work appears in journals such as Journal of Symbolic Logic, Lecture notes in mathematics, dialectica, Theoretical Computer Science and Mathematische Annalen.
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.