Gidon Ernst
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
- Hardware and Architecture top 10%
- Physical Unclonable Functions (PUFs) and Hardware Security
Papers in
-
- Security and Verification in Computing 8
- Logic, programming, and type systems 7
- Machine Learning and Algorithms 3
-
- Formal Methods in Verification 13
- Co-authors
- Zhenya Zhang (8 shared papers)Sean Sedwards (5 shared papers)Ichiro Hasuo (5 shared papers)Paolo Arcaini (7 shared papers)Gerhard Schellhorn (6 shared papers)Wolfgang Reif (6 shared papers)Georgios Fainekos (6 shared papers)Giulia Pedrielli (5 shared papers)
- Journals
- ACM Transactions on Modeling and Computer Simulation (1 paper)Science of Computer Programming (1 paper)Formal Aspects of Computing (1 paper)International Journal on Software Tools for Technology Transfer (1 paper)IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (1 paper)
- Partner nations
- GermanyJapanUnited States
In The Last Decade
Gidon Ernst
23 papers receiving 211 citations
Peers
Comparison fields: 5 of 26
- Software 86
- Hardware and Architecture 55
- Computational Theory and Mathematics 108
- Signal Processing 40
- Artificial Intelligence 92
Countries citing papers authored by Gidon Ernst
This map shows the geographic impact of Gidon Ernst'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 Gidon Ernst with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Gidon Ernst more than expected).
Fields of papers citing papers by Gidon Ernst
This network shows the impact of papers produced by Gidon Ernst. 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 Gidon Ernst. The network helps show where Gidon Ernst may publish in the future.
Co-authors
The 24 scholars most cited alongside Gidon Ernst, 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 24 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2018 | 35 | |
| 2 | 2008 | 20 | |
| 3 | 2014 | 19 | |
| 4 | 2022 | 18 | |
| 5 | 2021 | 16 | |
| 6 | 2021 | 16 | |
| 7 | 2011 | 16 | |
| 8 | 2019 | 16 | |
| 9 | 2020 | 11 | |
| 10 | 2022 | 8 | |
| 11 | 2018 | 7 | |
| 12 | COMPATIBILITY PROBLEMS OF SMALL AND LARGE PASSENGER CARS IN HEAD ON COLLISIONS | 1991 | 6 |
| 13 | 2014 | 6 | |
| 14 | 2023 | 5 | |
| 15 | 2016 | 5 | |
| 16 | Safety in small and large passenger cars: the compatibility problem in head-on collisions | 1991 | 4 |
| 17 | 2012 | 3 | |
| 18 | 2018 | 3 | |
| 19 | 2015 | 2 | |
| 20 | 2018 | 2 |
About Gidon Ernst
Gidon Ernst is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Hardware and Architecture, Computer Networks and Communications and Software, having authored 24 papers that have together received 221 indexed citations. Recurring topics across this work include Formal Methods in Verification (13 papers), Security and Verification in Computing (8 papers), Logic, programming, and type systems (7 papers), Physical Unclonable Functions (PUFs) and Hardware Security (6 papers), Distributed systems and fault tolerance (4 papers), Advanced Malware Detection Techniques (4 papers), Software Testing and Debugging Techniques (4 papers) and Machine Learning and Algorithms (3 papers). The work is most often cited by research in Software (86 citations), Hardware and Architecture (55 citations), Computational Theory and Mathematics (108 citations), Signal Processing (40 citations) and Artificial Intelligence (92 citations). Gidon Ernst has collaborated with scholars based in Germany, Japan and United States. Frequent co-authors include Zhenya Zhang, Sean Sedwards, Ichiro Hasuo, Paolo Arcaini, Gerhard Schellhorn, Wolfgang Reif, Georgios Fainekos, Giulia Pedrielli, Toby Murray and Yoriyuki Yamagata. Their work appears in journals such as ACM Transactions on Modeling and Computer Simulation, Science of Computer Programming, Formal Aspects of Computing, International Journal on Software Tools for Technology Transfer and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
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.