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
Top fields papers by Tanya Frost are about Top fields papers by Abdullah Al Shafi Majumder are about Top journals papers by V. Angelini are published in Top authors papers by Heru Handika are co-authored with Top authors papers by A. A. Minaenko are co-authored with Top journals papers by N Terblanche are published in Top journals papers by W.T. ELWELL are published in Top countries impacted by papers by A.B. Ivanov