André Platzer
About
André Platzer has authored 61 papers that have received a total of 1.1k indexed citations.
This includes 50 papers in Computational Theory and Mathematics, 28 papers in Artificial Intelligence and 18 papers in Software. The topics of these papers are Formal Methods in Verification (50 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (12 papers). André Platzer is often cited by papers focused on Formal Methods in Verification (50 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (12 papers) and collaborates with scholars based in United States, Germany and Austria. André Platzer's co-authors include Stefan Mitsch, Sarah M. Loos, Yong Kiam Tan, Khalil Ghorbal and Nikos Aréchiga and has published in prestigious journals such as IEEE Transactions on Automatic Control, ACM Computing Surveys and Journal of the ACM.
In The Last Decade
side by side view
Countries citing papers authored by André Platzer
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Christian Pylatiuk Breakdown of academic impact, for papers by Sameh Attia Breakdown of academic impact, for papers by Yung‐Tse Hung Breakdown of academic impact, for papers by Hiroshi Hano Breakdown of academic impact, for papers by Anja Pickhard Breakdown of academic impact, for papers by Adrien Morel Breakdown of academic impact, for papers by Chunyu Ma Breakdown of academic impact, for papers by Christel Tran