Citation Impact
25 standout
Citing Papers
Security in quantum cryptography
2022 Standout
Business Process Management: A Comprehensive Survey
2013 Standout
Works of Stéphane Demri being referenced
A parametric analysis of the state-explosion problem in model checking
2006
The Complexity of Propositional Linear Temporal Logics in Simple Cases
2002
Author Peers
| Author | Artificial Intelligence | CTM | Software | Last Decade | Papers | Cites |
|---|---|---|---|---|---|---|
| Stéphane Demri | 429 | 385 | 82 | 61 | 504 | |
| Rendeng Shi | 316 | 14 | 930 | |||
| Claes Mörlin | 5 | 37 | 2.5k | |||
| Harun Ün | 3 | 29 | 440 | |||
| Alireza Salehi | 1 | 27 | 553 | |||
| Jacob S. Tracy | 19 | 432 |
All Works
Login with ORCID to disown or claim papers
Loading papers...