Old Web
36
Papers
1068
Citations
0.02
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (22)
Sort By
Journal Conference Others
- Default
- Most Recent
- Most Early
- Most Citation
No data
- Show All
- Source
- Cite
- Save
Citations (4) - Show All
- Source
- Cite
- Save
Citations (0) -
- Source
- Cite
- Save
Citations (17) - 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 (1) -
- Source
- Cite
- Save
Citations (65) -
- Source
- Cite
- Save
Citations (0) -
- Source
- Cite
- Save
Citations (22) - Show All
- Source
- Cite
- Save
Citations (7) -
- Source
- Cite
- Save
Citations (76)
- 1
- 2
- 3