Morgan Deters
Active 2001–2025
- Affiliations
- New York UniversityThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0001-6218-8107
- 29
- Papers
- 1,388
- Citations
- 15
- h-index
- 19
- 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
- Stanford University15.8%
- University of Iowa15%
- Centre National de la Recherche Scientifique11.8%
- TU Wien6.4%
- Chinese Academy of Sciences6.2%
- University of Waterloo5.8%
- Other38.9%
Fields
- Computer Science95.3%
- Engineering1.2%
- Decision Sciences0.6%
- Social Sciences0.6%
- Business, Management and Accounting0.4%
- Mathematics0.4%
- Other1.5%
Topics
- Formal Methods in Verification22.6%
- Logic, programming, and type systems19.5%
- Software Testing and Debugging Techniques15.4%
- Logic, Reasoning, and Knowledge5.8%
- Software Engineering Research5.6%
- Security and Verification in Computing5.2%
- Other26%
Frequent coauthors
- Clark W. Barrett14
- Cesare Tinelli11
- Andrew Reynolds 000110
- Stéphane Demri7
- Ron Cytron5
- Aaron Stump4
- Viktor Kuncak4
- Tianyi Liang3
- Albert Oliveras2
- Liana Hadarean2
- Matthew P. Hampton2
- Nestan Tsiskaridze2
- Tim King 00012
- A Christopher1
- A Sanjit1
- Aart Van Halteren1
- Abhik Roychoudhury1
- Abhishek Torlak1
- Abhishek Udupa1
- Adam Belloum1
- Adam Petcher1
- Adrian Johnstone1
- Ahmad Wasi Uddin1
- Aidin Rasti1
All papers
Loading papers…
