Daniel Geist

751 total citations
22 papers, 270 citations indexed

About

Daniel Geist is a scholar working on Computational Theory and Mathematics, Software and Hardware and Architecture. According to data from OpenAlex, Daniel Geist has authored 22 papers receiving a total of 270 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Computational Theory and Mathematics, 9 papers in Software and 8 papers in Hardware and Architecture. Recurrent topics in Daniel Geist's work include Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (9 papers) and VLSI and Analog Circuit Testing (5 papers). Daniel Geist is often cited by papers focused on Formal Methods in Verification (10 papers), Software Testing and Debugging Techniques (9 papers) and VLSI and Analog Circuit Testing (5 papers). Daniel Geist collaborates with scholars based in Israel, United States and Switzerland. Daniel Geist's co-authors include Yaron Wolfsthal, Ralph M. M. Smeets, Alan Hartman, Baruch Schieber, Ayal Zaks, Michael W. Vannier, Cindy Eisner, Roy Armoni, Shoham Ben-David and V. Iyengar and has published in prestigious journals such as Computers & Operations Research, Computers & Mathematics with Applications and IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

In The Last Decade

Daniel Geist

21 papers receiving 241 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Daniel Geist Israel 8 172 130 97 72 42 22 270
Michal Rimon Israel 7 198 1.2× 103 0.8× 134 1.4× 89 1.2× 28 0.7× 16 291
Markus Schordan United States 11 214 1.2× 88 0.7× 44 0.5× 38 0.5× 118 2.8× 34 282
Gil Shurek Israel 10 295 1.7× 149 1.1× 158 1.6× 130 1.8× 67 1.6× 13 405
Deepak A. Mathaikutty United States 9 187 1.1× 62 0.5× 67 0.7× 61 0.8× 71 1.7× 46 246
Nobuaki Kawato Japan 7 94 0.5× 65 0.5× 30 0.3× 75 1.0× 33 0.8× 21 180
Allon Adir Israel 10 254 1.5× 75 0.6× 108 1.1× 133 1.8× 66 1.6× 21 327
Derek L. Beatty United States 7 332 1.9× 263 2.0× 114 1.2× 189 2.6× 37 0.9× 11 453
S. Bocchio Italy 8 149 0.9× 40 0.3× 71 0.7× 25 0.3× 57 1.4× 17 198
Srivaths Ravi United States 11 334 1.9× 47 0.4× 40 0.4× 296 4.1× 75 1.8× 43 419
Kavita Ravi United States 8 108 0.6× 241 1.9× 173 1.8× 74 1.0× 16 0.4× 13 338

Countries citing papers authored by Daniel Geist

Since Specialization
Citations

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

Fields of papers citing papers by Daniel Geist

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Daniel Geist

This figure shows the co-authorship network connecting the top 25 collaborators of Daniel Geist. A scholar is included among the top collaborators of Daniel Geist 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 Daniel Geist. Daniel Geist 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.
Geist, Daniel, et al.. (2008). A method for hunting bugs that occur due to system conflicts. 11–17. 1 indexed citations
2.
Geist, Daniel, et al.. (2005). Combining System Level Modeling with Assertion Based Verification. 310–315. 35 indexed citations
3.
Schieber, Baruch, Daniel Geist, & Ayal Zaks. (2005). Computing the minimum DNF representation of Boolean functions defined by intervals. Discrete Applied Mathematics. 149(1-3). 154–173. 25 indexed citations
4.
Geist, Daniel, et al.. (2004). Formal verification analysis of load-voltage power dynamics and control. World Automation Congress. 16. 107–112. 3 indexed citations
5.
Geist, Daniel, et al.. (2003). A methodology for the verification of a "system on chip". 574–579. 6 indexed citations
6.
Geist, Daniel, et al.. (2003). Semi-formal test generation and resolving a temporal abstraction problem in practice. 699–699. 4 indexed citations
7.
Rodin, Ervin Y., et al.. (2003). Flight and fire control knowledge representation. 779–780. 1 indexed citations
8.
Geist, Daniel & Benjamin Melamed. (2003). TEStool: an environment for visual interactive modeling of autocorrelated traffic. 1285–1289. 5 indexed citations
9.
Ben-David, Shoham, Cindy Eisner, Daniel Geist, & Yaron Wolfsthal. (2003). Model Checking at IBM. Formal Methods in System Design. 22(2). 101–108. 20 indexed citations
10.
Beer, Ilan, et al.. (2001). On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design. 19(1). 35–44. 6 indexed citations
11.
Geist, Daniel, et al.. (2001). Semi-formal test generation with genevieve. 617–622. 8 indexed citations
12.
Heyman, Tamir, Daniel Geist, Orna Grümberg, & Assaf Schuster. (2000). Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. 1 indexed citations
13.
Geist, Daniel, et al.. (1999). A study in coverage-driven test generation. 970–975. 57 indexed citations
14.
Geist, Daniel, et al.. (1999). A methodology for the verification of a “system on chip”. 574–579. 15 indexed citations
15.
Geist, Daniel, et al.. (1996). Coverage-Directed Test Generation Using Symbolic Techniques, Formal Methods in CAD. UEA Digital Repository (University of East Anglia). 2 indexed citations
16.
Chandra, Ashok K., V. Iyengar, Barry K. Rosen, et al.. (1995). AVPGEN-A test generator for architecture verification. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 3(2). 188–200. 57 indexed citations
17.
Geist, Daniel & Ervin Y. Rodin. (1992). Adjacency of the 0–1 knapsack problem. Computers & Operations Research. 19(8). 797–800. 6 indexed citations
18.
Rodin, Ervin Y. & Daniel Geist. (1990). Flight and fire control with logic programming. Computers & Mathematics with Applications. 20(9-10). 15–27. 2 indexed citations
19.
Geist, Daniel & Michael W. Vannier. (1989). PC-based 3-D reconstruction of medical images. Computers & Graphics. 13(2). 135–143. 13 indexed citations
20.
Geist, Daniel & Michael W. Vannier. (1988). Medical Imaging In An Object Oriented Environment. Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE. 914. 1299–1299. 2 indexed citations

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 Michal Rimon Breakdown of academic impact, for papers by Markus Schordan Breakdown of academic impact, for papers by Gil Shurek Breakdown of academic impact, for papers by Deepak A. Mathaikutty Breakdown of academic impact, for papers by Nobuaki Kawato Breakdown of academic impact, for papers by Allon Adir Breakdown of academic impact, for papers by Derek L. Beatty Breakdown of academic impact, for papers by S. Bocchio Breakdown of academic impact, for papers by Srivaths Ravi Breakdown of academic impact, for papers by Kavita Ravi
Rankless by CCL
2026