![author-photo](https://www.acemap.info/api/v2/img/default/author.png)
Seungjoon Park
- Research Institute for Advanced Computer Science
![](/_nuxt/img/unstar.2cfe9cb.png)
23
Papers
2376
Citations
0.11
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
- Show All
- Source
- Cite
- Save
Citations (1) - 2005 FM | Formal MethodsShow All
- Source
- Cite
- Save
Citations (37) -
- Source
- Cite
- Save
Citations (0) -
- Source
- Cite
- Save
Citations (4) -
- Source
- Cite
- Save
Citations (86) - 2003 FM | Formal Methods
- Source
- Cite
- Save
Citations (5) -
- Source
- Cite
- Save
Citations (8) - Show All
- Source
- Cite
- Save
Citations (70) -
- Source
- Cite
- Save
Citations (6) -
- Source
- Cite
- Save
Citations (14)
- 1
- 2
- 3