Michael Yoeli
Impact in
-
- semigroups and automata theory
- Formal Methods in Verification
- Advanced Algebra and Logic
- Petri Nets in System Modeling
- Hardware and Architecture top 5%
- VLSI and Analog Circuit Testing
Papers in
-
- semigroups and automata theory 26
- Formal Methods in Verification 10
- Petri Nets in System Modeling 7
- Cellular Automata and Applications 4
-
- VLSI and FPGA Design Techniques 17
- Low-power high-performance VLSI design 10
- Co-authors
- Ran Ginosar (6 shared papers)Janusz Brzozowski (5 shared papers)Daniel Geist (1 shared paper)Shoham Ben-David (1 shared paper)Ilan Beer (1 shared paper)James Turner (2 shared papers)Tuvi Etzion (2 shared papers)C. M. Ablow (3 shared papers)
- Journals
- IEEE Transactions on Computers (5 papers)Theoretical Computer Science (2 papers)Journal of Computer and System Sciences (2 papers)Journal of the ACM (2 papers)Journal of the Franklin Institute (1 paper)
- Partner nations
- IsraelUnited StatesCanada
In The Last Decade
Michael Yoeli
51 papers receiving 618 citations
Peers
Comparison fields: 5 of 30
- Computational Theory and Mathematics 408
- Hardware and Architecture 99
- Electrical and Electronic Engineering 311
- Discrete Mathematics and Combinatorics 23
- Artificial Intelligence 94
Countries citing papers authored by Michael Yoeli
This map shows the geographic impact of Michael Yoeli'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 Yoeli with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michael Yoeli more than expected).
Fields of papers citing papers by Michael Yoeli
This network shows the impact of papers produced by Michael Yoeli. 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 Yoeli. The network helps show where Michael Yoeli may publish in the future.
Co-authors
The 8 scholars most cited alongside Michael Yoeli, 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 54 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1992 | 106 | |
| 2 | 1964 | 86 | |
| 3 | 1965 | 65 | |
| 4 | 1961 | 51 | |
| 5 | 1994 | 44 | |
| 6 | Formal Verification of Hardware Design | 1990 | 39 |
| 7 | 1995 | 36 | |
| 8 | 1961 | 28 | |
| 9 | 1968 | 26 | |
| 10 | 1980 | 26 | |
| 11 | 1962 | 23 | |
| 12 | 1992 | 18 | |
| 13 | 1965 | 16 | |
| 14 | 1964 | 13 | |
| 15 | 1967 | 12 | |
| 16 | 1963 | 9 | |
| 17 | 1965 | 9 | |
| 18 | 1987 | 9 | |
| 19 | 1963 | 8 | |
| 20 | 1967 | 8 |
About Michael Yoeli
Michael Yoeli is a scholar working on Computational Theory and Mathematics, Electrical and Electronic Engineering, Discrete Mathematics and Combinatorics, Hardware and Architecture and Artificial Intelligence, having authored 54 papers that have together received 733 indexed citations. Recurring topics across this work include semigroups and automata theory (26 papers), VLSI and FPGA Design Techniques (17 papers), Formal Methods in Verification (10 papers), Low-power high-performance VLSI design (10 papers), Petri Nets in System Modeling (7 papers), Advanced Combinatorial Mathematics (4 papers), Cellular Automata and Applications (4 papers) and Analog and Mixed-Signal Circuit Design (2 papers). The work is most often cited by research in Computational Theory and Mathematics (408 citations), Hardware and Architecture (99 citations), Electrical and Electronic Engineering (311 citations), Discrete Mathematics and Combinatorics (23 citations) and Artificial Intelligence (94 citations). Michael Yoeli has collaborated with scholars based in Israel, United States and Canada. Frequent co-authors include Ran Ginosar, Janusz Brzozowski, Daniel Geist, Shoham Ben-David, Ilan Beer, James Turner, Tuvi Etzion and C. M. Ablow. Their work appears in journals such as IEEE Transactions on Computers, Theoretical Computer Science, Journal of Computer and System Sciences, Journal of the ACM and Journal of the Franklin Institute.
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.