Martin Lange
About
Martin Lange has authored 48 papers that have received a total of 231 indexed citations.
This includes 45 papers in Computational Theory and Mathematics, 44 papers in Artificial Intelligence and 8 papers in Software. The topics of these papers are Formal Methods in Verification (43 papers), Logic, programming, and type systems (43 papers) and Logic, Reasoning, and Knowledge (16 papers). Martin Lange is often cited by papers focused on Formal Methods in Verification (43 papers), Logic, programming, and type systems (43 papers) and Logic, Reasoning, and Knowledge (16 papers) and collaborates with scholars based in Germany, France and Switzerland. Martin Lange's co-authors include Oliver Friedmann, Étienne Lozes, Dietrich Kuske, Felix Klaedtke and Julián Gutiérrez and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Family Practice
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Tetsuya Murai are about Top authors papers by Mohammad Ranjbar are co-authored with Top fields papers by Defu Yang are about Top journals papers by Char Miller are published in Top fields papers by Rusdianasari Rusdianasari are about Top countries impacted by papers by Koorosh Gharehbaghi Top journals papers by Jacub Pandelaki are published in Top fields papers by Hari Subramoni are about