Jan Olaf Blech
About
Jan Olaf Blech has authored 43 papers that have received a total of 228 indexed citations.
This includes 19 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 14 papers in Industrial and Manufacturing Engineering. The topics of these papers are Formal Methods in Verification (16 papers), Flexible and Reconfigurable Manufacturing Systems (13 papers) and Logic, programming, and type systems (10 papers). Jan Olaf Blech is often cited by papers focused on Formal Methods in Verification (16 papers), Flexible and Reconfigurable Manufacturing Systems (13 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in Finland, Germany and Australia. Jan Olaf Blech's co-authors include Jia Huang, Christian Buckl, Valeriy Vyatkin, Alois Knoll and Andreas Raabe and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, ACM Transactions on Embedded Computing Systems and Formal Methods in System Design
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by John J. Drummond are about Top countries impacted by papers by I. Zendah Top authors papers by Zhijie Han are co-authored with Top fields papers by Radu Mircea Neagoe are about Top fields papers by Junyan Chen are about Top journals papers by Alexandra G. Poydasheva are published in Top journals papers by Kexin Yang are published in Top journals papers by Jeremi London are published in