Citation Impact
1 standout
Citing Papers
Modal Logic
2001 Standout
Works of Ildikó Sain being referenced
Total correctness in nonstandard logics of programs
1987
A simple proof for the completeness of Floyd's method
1985
Author Peers
| Author | CTM | Artificial Intelligence | Mathematical Physics | GT | Last Decade | Papers | Cites |
|---|---|---|---|---|---|---|---|
| Ildikó Sain | 126 | 137 | 4 | 7 | 21 | 147 | |
| M. K. Bhat | 1 | 2 | 12 | 196 | |||
| Shilu Xu | 18 | 754 | |||||
| E Bruce Brooks | 2 | 5 | 225 | ||||
| Gregor Schäfer | 1 | 13 | 10 | 427 | |||
| Thanusu Parandhaman | 2 | 13 | 1.2k |
All Works
Loading papers...