Immediate Impact
4 standout
Citing Papers
Thorough state-of-the-art analysis of electric and hybrid vehicle powertrains: Topologies and integrated energy management strategies
2019 Standout
Quantum algorithms: an overview
2016 Standout
Works of Viktor Schuppan being referenced
Linear Encodings of Bounded LTL Model Checking
2006
Efficient reduction of finite state model checking to reachability analysis
2004
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Viktor Schuppan | 184 | 118 | 116 | 10 | 216 | |
| Tommi Junttila | 129 | 69 | 111 | 13 | 166 | |
| Barbara Jobstmann | 208 | 126 | 132 | 14 | 298 | |
| Yonit Kesten | 156 | 79 | 96 | 10 | 172 | |
| Ernst Moritz Hahn | 194 | 146 | 115 | 21 | 285 | |
| Timo Latvala | 93 | 58 | 66 | 7 | 116 | |
| Gilles Audemard | 134 | 48 | 118 | 8 | 188 | |
| Yaniv Saʼar | 123 | 67 | 80 | 6 | 163 | |
| Shoham Ben-David | 100 | 87 | 76 | 13 | 158 | |
| Wendelin Serwe | 103 | 57 | 63 | 18 | 163 | |
| Henrik Reif Andersen | 143 | 71 | 91 | 14 | 165 |
All Works
Login with ORCID to disown or claim papers
Loading papers...