Lutz Schröder
About
Lutz Schröder has authored 76 papers that have received a total of 647 indexed citations.
This includes 65 papers in Artificial Intelligence, 48 papers in Computational Theory and Mathematics and 5 papers in Mathematical Physics. The topics of these papers are Logic, Reasoning, and Knowledge (52 papers), Logic, programming, and type systems (47 papers) and Formal Methods in Verification (24 papers). Lutz Schröder is often cited by papers focused on Logic, Reasoning, and Knowledge (52 papers), Logic, programming, and type systems (47 papers) and Formal Methods in Verification (24 papers) and collaborates with scholars based in Germany, United Kingdom and Australia. Lutz Schröder's co-authors include Dirk Pattinson, Till Mossakowski, Stefan Milius, Yde Venema and P. Wild and has published in prestigious journals such as Information Fusion, Theoretical Computer Science and Journal of Biomedical Informatics
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Anders Martinsson are published in Top countries impacted by papers by A. Semke Top fields papers by Carlo Giovannella are about Top authors papers by Nan Yan are co-authored with Top countries impacted by papers by Dorina Creangă Top countries impacted by papers by Muhammad Gulistan Top fields papers by Hirokazu Sakamoto are about Top authors papers by Masahito Hosaka are co-authored with