A Sanjit
Active 2024–2025
- 2
- Papers
- 6
- Citations
- 1
- h-index
- 0
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 2 years (3 citations) are not shown (dated before this author's first paper)
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 Science100%
Topics
- Formal Methods in Verification16.7%
- Software Testing and Debugging Techniques16.7%
- Logic, programming, and type systems11.1%
- Software Engineering Research11.1%
- Parallel Computing and Optimization Techniques5.6%
- Software Engineering Techniques and Practices5.6%
- Other33.3%
Frequent coauthors
- Andrzej Wasowski2
- Arjun Guha2
- Axel Legay2
- Cesare Tinelli2
- Chunqiu Steven2
- Chunqiu Steven Xia2
- Clark Barrett2
- Cuiyun Gao2
- David Lo2
- Edmund Clarke2
- Jeffrey Ullman2
- Jeremy Siek2
- Jie Zhang2
- John Mylopoulos2
- Lingming Zhang2
- Marco Roveri2
- Mark Harman2
- Michele Tufano2
- Murray Shanahan2
- Nicolas Halbwachs2
- Nielsen2
- Nikolaj Bjrner2
- Orna Grumberg2
- Philip Wadler2
All papers
Loading papers…