Paley Li
Active 2010–2024
- 9
- Papers
- 96
- Citations
- 4
- h-index
- 2
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is 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 Science97.3%
- Decision Sciences1.3%
- Engineering1.3%
Topics
- Logic, programming, and type systems27.9%
- Parallel Computing and Optimization Techniques14.2%
- Formal Methods in Verification10.2%
- Software Engineering Research8.6%
- Distributed systems and fault tolerance8.1%
- Security and Verification in Computing8.1%
- Other22.8%
Frequent coauthors
- Christoph Pichler3
- Jan Vitek3
- Roland Schatz3
- Aleksandar Prokopec2
- Alex Potanin2
- Alex Villazn2
- Amer Diwan2
- Andrea Ros2
- Benjamin Chung2
- C Cheney2
- Christopher Vick2
- David Leopoldseder2
- Doug Simon2
- Francesco Zappa Nardelli2
- Gilles Duboscq2
- Hanspeter Mssenbck2
- Hanspeter Mössenböck2
- Humphrey Burchell2
- J Eliot2
- Konstantin Serebryany2
- Krste Asanovic2
- Liang Wang2
- Lubomr Bulej2
- Mahmood Ali2
All papers
Loading papers…
