Steven Eker
About
Steven Eker has authored 24 papers that have received a total of 707 indexed citations.
This includes 18 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 5 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (5 papers). Steven Eker is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (11 papers) and Logic, Reasoning, and Knowledge (5 papers) and collaborates with scholars based in United States, Spain and France. Steven Eker's co-authors include José Meseguer, Narciso Martı́-Oliet, Francisco Durán, Patrick Lincoln and Manuel Clavel and has published in prestigious journals such as BMC Bioinformatics, 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 Neil Pasco Breakdown of academic impact, for papers by Jeff Chase Breakdown of academic impact, for papers by Lisa C. Grubisha Breakdown of academic impact, for papers by Dun-Quan Xu Breakdown of academic impact, for papers by Hyunjun Yoo Breakdown of academic impact, for papers by Grace Chung Breakdown of academic impact, for papers by Allen H. Li Breakdown of academic impact, for papers by Galen R. Hatfield