Thomas R. Shiple
- Synopsys
35
Papers
1453
Citations
0.03
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (23)
Sort By
Journal Conference Others
- Default
- Most Recent
- Most Early
- Most Citation
No data
- 2012 FM | Formal Methods
- Source
- Cite
- Save
Citations (30) -
- Source
- Cite
- Save
Citations (0) - Show All
- Source
- Cite
- Save
Citations (0) -
- Source
- Cite
- Save
Citations (12) -
- Source
- Cite
- Save
Citations (1) - Show All
- Source
- Cite
- Save
Citations (32) - Show All
- Source
- Cite
- Save
Citations (25) - Show All
- Source
- Cite
- Save
Citations (119) -
- Source
- Cite
- Save
Citations (24) -
- Source
- Cite
- Save
Citations (12)
- 1
- 2
- 3