Tom Ridge
- University of Cambridge
26
Papers
782
Citations
0.02
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (26)
Sort By
Journal Conference Others
- Default
- Most Recent
- Most Early
- Most Citation
No data
- Show All
- Source
- Cite
- Save
Citations (0) - 2019 Journal of the ACMShow All
- Source
- Cite
- Save
Citations (11) - Show All
- Source
- Cite
- Save
Citations (0) - Show All
- Source
- Cite
- Save
Citations (0) -
- Source
- Cite
- Save
Citations (48) -
- Source
- Cite
- Save
Citations (77) - Show All
- Source
- Cite
- Save
Citations (8) - 2011 FM | Formal Methods
- Vladimir Klebanov
- Peter Müller
- Natarajan Shankar
- Gary T. Leavens
- Valentin Wüstholz
- Eyad Alkassar
- Rob Arthan
- Derek Bronish
- Rod Chapman
- Ernie Cohen
- Mark A. Hillebrand
- Bart Jacobs
- K. Rustan M. Leino
- Rosemary Monahan
- Frank Piessens
- Nadia Polikarpova
- Tom Ridge
- Jan Smans
- Stephan Tobies
- Thomas Tuerk
- Mattias Ulbrich
- Benjamin Weiß
Show All- Source
- Cite
- Save
Citations (72) - Show All
- Source
- Cite
- Save
Citations (24) - Show All
- Source
- Cite
- Save
Citations (1)
- 1
- 2
- 3