Home
âē
Grant Iraci
âē
Impact Dashboard
Citations
16
1.8/year avg
i10-index
0
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
2018 âĸ Ruchkin/2018/IPL
2
2018 âĸ 2018:Ruchkin:IPL
đŦ Research Areas
Model Checking
Formal Methods
Cyber-physical Systems
đ¤ Top Collaborators
Most frequent co-authors ranked by number of joint publications.
2
David Garlan
ABLE
Actual ABLE member
2 publications
3
Bradley Schmerl
ABLE
Actual ABLE member
2 publications
4
Joshua Sunshine
Not an ABLE member
2 publications
5
Ivan Ruchkin
ABLE
Actual ABLE member
2 publications
Showing top 4 of 4 co-authors