Immediate Impact

1 standout

Citing Papers

Thorough state-of-the-art analysis of electric and hybrid vehicle powertrains: Topologies and integrated energy management strategies
2019 Standout
1 intermediate paper

Works of Timo Latvala being referenced

Linear Encodings of Bounded LTL Model Checking
2006

Author Peers

Author Last Decade Papers Cites
Timo Latvala 93 66 58 7 116
Tommi Junttila 129 111 69 13 166
Kåre J. Kristoffersen 81 43 45 9 110
Viktor Schuppan 184 116 118 10 216
Harald Rueß 88 59 41 11 113
Yonit Kesten 156 96 79 10 172
Ivan S. Zapreev 76 45 55 6 101
Grégoire Hamon 49 40 25 7 106
Simona Orzan 78 64 34 11 104
Gilles Audemard 134 118 48 8 188
Niklas Sörensson 129 104 75 5 188

All Works

Loading papers...

Rankless by CCL
2026