Lars Lindemann
About
Lars Lindemann has authored 50 papers that have received a total of 899 indexed citations.
This includes 27 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 13 papers in Control and Systems Engineering. The topics of these papers are Formal Methods in Verification (27 papers), Advanced Control Systems Optimization (9 papers) and Distributed Multi-Agent Coordination and Control (8 papers). Lars Lindemann is often cited by papers focused on Formal Methods in Verification (27 papers), Advanced Control Systems Optimization (9 papers) and Distributed Multi-Agent Coordination and Control (8 papers) and collaborates with scholars based in United States, Sweden and Germany. Lars Lindemann's co-authors include Dimos V. Dimarogonas, George J. Pappas, J. Troe, H. Hippler and Manfred Morari and has published in prestigious journals such as The Journal of Chemical Physics, The Journal of Physical Chemistry and IEEE Transactions on Automatic Control
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Simona Mancini are co-authored with Top journals papers by Mohammed Osman are published in Top countries impacted by papers by Horn‐Jiunn Sheen Top countries impacted by papers by Mary K. Canales Top authors papers by Bianca Klettke are co-authored with Top authors papers by Sahaja Acharya are co-authored with Top journals papers by Lan Yang are published in Top authors papers by F. Kajfež are co-authored with