Alexander Leitsch
About
Alexander Leitsch has authored 29 papers that have received a total of 229 indexed citations.
This includes 26 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 1 paper in Molecular Biology. The topics of these papers are Logic, programming, and type systems (22 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (14 papers). Alexander Leitsch is often cited by papers focused on Logic, programming, and type systems (22 papers), Logic, Reasoning, and Knowledge (16 papers) and Formal Methods in Verification (14 papers) and collaborates with scholars based in Austria, France and Italy. Alexander Leitsch's co-authors include Matthias Baaz, Daniel S. Weller, Stefan Hetzl, Georg Gottlob and Gheorghe Pǎun and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Vishal Kundnani Breakdown of academic impact, for papers by Noor Azurati Ahmad Breakdown of academic impact, for papers by K. Vijayan Asari Breakdown of academic impact, for papers by Ali Almasood Breakdown of academic impact, for papers by Fengyi Guo Breakdown of academic impact, for papers by W Rödl Breakdown of academic impact, for papers by Szu‐Ting Chou Breakdown of academic impact, for papers by Huajun Li