Eli Singerman
Impact in
- Hardware and Architecture top 10%
- Embedded Systems Design Techniques
- VLSI and Analog Circuit Testing
- Physical Unclonable Functions (PUFs) and Hardware Security
- Software top 10%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
Papers in
-
- Formal Methods in Verification 9
- semigroups and automata theory 2
-
- Embedded Systems Design Techniques 6
- VLSI and Analog Circuit Testing 3
- Co-authors
- Moshe Y. Vardi (4 shared papers)Gila Kamhi (1 shared paper)Tamarah Arons (3 shared papers)David Harel (3 shared papers)Stefano Tonetta (1 shared paper)Zurab Khasidashvili (1 shared paper)Roberto Sebastiani (1 shared paper)Jin Yang (1 shared paper)
- Journals
- Information and Computation (1 paper)Annals of Pure and Applied Logic (1 paper)Formal Methods in System Design (1 paper)2008 Design, Automation and Test in Europe (1 paper)
- Partner nations
- IsraelUnited StatesUnited Kingdom
In The Last Decade
Eli Singerman
12 papers receiving 87 citations
Peers
Comparison fields: 5 of 12
- Hardware and Architecture 74
- Software 38
- Computational Theory and Mathematics 56
- Electrical and Electronic Engineering 35
- Artificial Intelligence 11
Countries citing papers authored by Eli Singerman
This map shows the geographic impact of Eli Singerman'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 Eli Singerman with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Eli Singerman more than expected).
Fields of papers citing papers by Eli Singerman
This network shows the impact of papers produced by Eli Singerman. 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 Eli Singerman. The network helps show where Eli Singerman may publish in the future.
Co-authors
The 9 scholars most cited alongside Eli Singerman, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2008 | 30 | |
| 2 | 2011 | 16 | |
| 3 | 2014 | 14 | |
| 4 | 2008 | 11 | |
| 5 | 2014 | 8 | |
| 6 | 2008 | 5 | |
| 7 | 2006 | 5 | |
| 8 | 2007 | 3 | |
| 9 | 1999 | 2 | |
| 10 | 2007 | 2 | |
| 11 | 1996 | 1 | |
| 12 | 2002 | 1 |
About Eli Singerman
Eli Singerman is a scholar working on Computational Theory and Mathematics, Hardware and Architecture, Software, Artificial Intelligence and Electrical and Electronic Engineering, having authored 12 papers that have together received 98 indexed citations. Recurring topics across this work include Formal Methods in Verification (9 papers), Embedded Systems Design Techniques (6 papers), Software Testing and Debugging Techniques (4 papers), Logic, programming, and type systems (3 papers), Logic, Reasoning, and Knowledge (3 papers), VLSI and Analog Circuit Testing (3 papers), Software Reliability and Analysis Research (2 papers) and semigroups and automata theory (2 papers). The work is most often cited by research in Hardware and Architecture (74 citations), Software (38 citations), Computational Theory and Mathematics (56 citations), Electrical and Electronic Engineering (35 citations) and Artificial Intelligence (11 citations). Eli Singerman has collaborated with scholars based in Israel, United States and United Kingdom. Frequent co-authors include Moshe Y. Vardi, Gila Kamhi, Tamarah Arons, David Harel, Stefano Tonetta, Zurab Khasidashvili, Roberto Sebastiani, Jin Yang and Ranan Fraer. Their work appears in journals such as Information and Computation, Annals of Pure and Applied Logic, Formal Methods in System Design and 2008 Design, Automation and Test in Europe.
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.