Erika Ábrahám
About
Erika Ábrahám has authored 56 papers that have received a total of 437 indexed citations.
This includes 38 papers in Computational Theory and Mathematics, 20 papers in Artificial Intelligence and 17 papers in Software. The topics of these papers are Formal Methods in Verification (37 papers), Logic, programming, and type systems (12 papers) and Software Reliability and Analysis Research (8 papers). Erika Ábrahám is often cited by papers focused on Formal Methods in Verification (37 papers), Logic, programming, and type systems (12 papers) and Software Reliability and Analysis Research (8 papers) and collaborates with scholars based in Germany, United States and Norway. Erika Ábrahám's co-authors include Bernd Becker, Ralf Wimmer, Sriram Sankaranarayanan, Joost-Pieter Katoen and Armando Tacchella and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information Systems Frontiers
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Antônio Alberto Nogueira are about Top countries impacted by papers by Woo‐Sung Yun Top fields papers by Nian-Ning Huang are about Top journals papers by Walter Flausino are published in Top authors papers by Werasak Sasanakul are co-authored with Top journals papers by Bruce W. Watson are published in Top journals papers by Wan-Kyu Lee are published in Top journals papers by Emin Kaymak are published in