Steven Eker
About
Steven Eker has authored 24 papers that have received a total of 702 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
Top fields papers by Henrike Schmidtberg are about Top fields papers by Francisco J. Santaclara are about Top fields papers by Julie Malphurs are about Top fields papers by Kenzo Kinugasa are about Top fields papers by Muhammad Wasim Khan are about Top authors papers by Kersten Diers are co-authored with Top authors papers by O. Srinivas are co-authored with Top authors papers by G Schreiber are co-authored with