Daniel Geist
About
Daniel Geist has authored 11 papers that have received a total of 86 indexed citations.
This includes 6 papers in Computational Theory and Mathematics, 6 papers in Software and 2 papers in Artificial Intelligence. The topics of these papers are Software Testing and Debugging Techniques (6 papers), Formal Methods in Verification (6 papers) and Embedded Systems Design Techniques (2 papers). Daniel Geist is often cited by papers focused on Software Testing and Debugging Techniques (6 papers), Formal Methods in Verification (6 papers) and Embedded Systems Design Techniques (2 papers) and collaborates with scholars based in Israel, United States and Italy. Daniel Geist's co-authors include Yaron Wolfsthal, Cindy Eisner, Michael W. Vannier, Ervin Y. Rodin and Baruch Schieber and has published in prestigious journals such as Computers & Operations Research, Computers & Mathematics with Applications and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Jennifer Larson Breakdown of academic impact, for papers by Molly Pretorius Holme Breakdown of academic impact, for papers by José Gutiérrez Salinas Breakdown of academic impact, for papers by F.J. Rodríguez Breakdown of academic impact, for papers by Otto Laporte Breakdown of academic impact, for papers by Carles Viñas Breakdown of academic impact, for papers by Silvia Dell’Orco Breakdown of academic impact, for papers by B. A. Raue