Clemens Wiltsche
About
Clemens Wiltsche has authored 6 papers that have received a total of 122 indexed citations.
This includes 5 papers in Computational Theory and Mathematics, 2 papers in Social Psychology and 2 papers in Automotive Engineering. The topics of these papers are Formal Methods in Verification (5 papers), Autonomous Vehicle Technology and Safety (2 papers) and Human-Automation Interaction and Safety (2 papers). Clemens Wiltsche is often cited by papers focused on Formal Methods in Verification (5 papers), Autonomous Vehicle Technology and Safety (2 papers) and Human-Automation Interaction and Safety (2 papers) and collaborates with scholars based in United Kingdom, United States and Switzerland. Clemens Wiltsche's co-authors include Ufuk Topcu, Laura Humphrey, Marta Kwiatkowska, Raffaello D’Andrea and Feng Lu and has published in prestigious journals such as IEEE Transactions on Automation Science and Engineering, Information and Computation and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Berit Köhler are about Top fields papers by Carla Obradors‐Tarragó are about Top authors papers by P. T. Thomas are co-authored with Top fields papers by Faizan Anwar are about Top authors papers by Nikolay Botushanov are co-authored with Top journals papers by A. V-Y. Thean are published in Top journals papers by Tanner Jensen are published in Top journals papers by R. Mikkelson are published in