Martin Lange
About
Martin Lange has authored 49 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 Dwi Setyawan are about Top authors papers by Lê Hải Khôi are co-authored with Top journals papers by Hubert Escaith are published in Top journals papers by Sali̇m Yüce are published in Top fields papers by Andrzej Junkuszew are about Top countries impacted by papers by Z Chudáček Top countries impacted by papers by В. В. Парченко Top journals papers by Peđja Kovačević are published in