Immediate Impact
17 standout
Citing Papers
Managing the Strategic Transformation of Higher Education through Artificial Intelligence
2023 Standout
A comprehensive survey on sentiment analysis: Approaches, challenges and trends
2021 Standout
Works of Valentin Goranko being referenced
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
2010
Complete axiomatization and decidability of Alternating-time temporal logic
2005
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Valentin Goranko | 968 | 609 | 241 | 93 | 1.1k | |
| Toniann Pitassi | 669 | 685 | 166 | 81 | 1.1k | |
| Alasdair Urquhart | 759 | 816 | 100 | 67 | 1.0k | |
| Andre Scedrov | 1025 | 706 | 274 | 75 | 1.2k | |
| Marc Denecker | 1020 | 178 | 241 | 116 | 1.2k | |
| Stefan Szeider | 490 | 705 | 318 | 116 | 1.0k | |
| J. Lambek | 700 | 621 | 63 | 56 | 1.3k | |
| Robert L. Constable | 733 | 575 | 139 | 70 | 996 | |
| Yves Lespérance | 1045 | 178 | 180 | 59 | 1.2k | |
| Geoff Sutcliffe | 732 | 475 | 127 | 81 | 867 | |
| J. C. Shepherdson | 807 | 890 | 87 | 54 | 1.3k |
All Works
Login with ORCID to disown or claim papers
Loading papers...