Jung Soo Kim

Research Impact Dashboard

Publications
3
2003-2010
Citations
275
11.5/year avg
h-index
3
Impact metric
i10-index
3
Papers with â‰Ĩ10 cites

📊 Publications Over Time

📈 Citation Growth Timeline

Cumulative citations over time showing impact trajectory. ℹī¸ Historical data from OpenAlex starts in 2012; earlier citations are included as a baseline.

🏆 Top Cited Papers

  1. 1
    Model Checking Publish-Subscribe Systems
    2003 â€ĸ Kim2003
    142 citations
  2. 2
    Analyzing Architectural Styles with Alloy
    2006 â€ĸ Kim2006
    69 citations
  3. 3
    Analyzing Architectural Styles
    2010 â€ĸ Kim2010
    64 citations

đŸ”Ŧ Research Areas

Formal Methods Software Architecture Model Checking publish-subscribe-systems Architectural Analysis Architectural Style

🤝 Top Collaborators

Most frequent co-authors ranked by number of joint publications.

2
David Garlan ABLE
Actual ABLE member
3 publications
3
Serge Khersonsky
Not an ABLE member
1 publication

Showing top 2 of 2 co-authors