Oded Padon
Active 2014–2026
- Affiliations
- Stanford 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
- 0009-0006-4209-1635
- 50
- Papers
- 1,441
- Citations
- 17
- h-index
- 23
- 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 Science93.4%
- Engineering1.7%
- Decision Sciences1.2%
- Mathematics0.6%
- Social Sciences0.5%
- Biochemistry, Genetics and Molecular Biology0.4%
- Other2.2%
Topics
- Formal Methods in Verification17.7%
- Parallel Computing and Optimization Techniques12.9%
- Logic, programming, and type systems10.9%
- Software Testing and Debugging Techniques9.3%
- Distributed systems and fault tolerance8.9%
- Advanced Neural Network Applications8.4%
- Other31.9%
Frequent coauthors
- Sharon Shoham23
- Mooly Sagiv11
- Alex Aiken10
- Kenneth L. McMillan8
- Zhihao Jia7
- Giuliano Losa5
- James R. Wilcox4
- Jason R. Koenig4
- Jochen Hoenicke4
- Jon Howell4
- Neil Immerman4
- Noam Rinetzky4
- Andreas Podelski3
- Auguste Hirth3
- Bryan Parno3
- Clark W. Barrett3
- Deepak D'Souza3
- Henry Ma3
- Hiroshi Unno 00013
- Jens Palsberg3
- Jessica Pointing3
- Sina Lin3
- Suvam Mukherjee3
- Takeshi Tsukada3
All papers
Loading papers…
