David Dill
Active 2009–2026
- 6
- Papers
- 13
- Citations
- 2
- h-index
- 0
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science83.3%
- Medicine16.7%
Topics
- Software Testing and Debugging Techniques16.7%
- Formal Methods in Verification11.1%
- Software Engineering Research11.1%
- Epilepsy research and treatment5.6%
- Logic, programming, and type systems5.6%
- Software Engineering Techniques and Practices5.6%
- Other44.4%
Frequent coauthors
- Alexandre David4
- Edmund Clarke4
- Gerd Behrmann4
- Joseph Sifakis4
- Kim Larsen4
- Paul Pettersson4
- Rajeev Alur4
- Thomas Henzinger4
- Wang Yi4
- A Cimatti3
- Alessandro Cimatti3
- Amir Pnueli3
- Christel Baier3
- Doron Peled3
- Enrico Giunchiglia3
- Klaus Havelund3
- Koushik Sen3
- Leonardo De3
- M Roveri3
- Mark Ryan3
- Michael Huth3
- Moshe Vardi3
- Moura3
- Oded Maler3
All papers
Loading papers…
