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 countries impacted by papers by Dennis J. Richardson Top countries impacted by papers by Yuxin Guo Top countries impacted by papers by Mohammad Fallah Top countries impacted by papers by Valentinas Navickas Top authors papers by Sun Hee Choi are co-authored with Top authors papers by Mark Ovinis are co-authored with Top authors papers by Sun are co-authored with Top countries impacted by papers by Ф. Е. Максимов