Immediate Impact
2 standout
Citing Papers
Thorough state-of-the-art analysis of electric and hybrid vehicle powertrains: Topologies and integrated energy management strategies
2019 Standout
An overview of fault tree analysis and its application in model based dependability analysis
2017 Standout
Works of Tommi Junttila being referenced
Efficient theory combination via boolean search
2006
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
2005
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Tommi Junttila | 129 | 111 | 69 | 13 | 166 | |
| Viktor Schuppan | 184 | 116 | 118 | 10 | 216 | |
| Gilles Audemard | 134 | 118 | 48 | 8 | 188 | |
| Shoham Ben-David | 100 | 76 | 87 | 13 | 158 | |
| Henrik Reif Andersen | 143 | 91 | 71 | 14 | 165 | |
| Yonit Kesten | 156 | 96 | 79 | 10 | 172 | |
| Raffaella Gentilini | 126 | 78 | 30 | 17 | 165 | |
| Martin Wehrle | 82 | 243 | 66 | 28 | 267 | |
| Harald Rueß | 88 | 59 | 41 | 11 | 113 | |
| Richard L. Schwartz | 60 | 69 | 39 | 19 | 145 | |
| Y. S. Ramakrishna | 90 | 84 | 71 | 15 | 127 |
All Works
Loading papers...