Eugenio Roanes-Macı́as
About
Eugenio Roanes-Macı́as has authored 19 papers that have received a total of 179 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 5 papers in Computational Mechanics. The topics of these papers are Polynomial and algebraic computation (10 papers), Formal Methods in Verification (7 papers) and Logic, programming, and type systems (6 papers). Eugenio Roanes-Macı́as is often cited by papers focused on Polynomial and algebraic computation (10 papers), Formal Methods in Verification (7 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in Spain, United States and United Kingdom. Eugenio Roanes-Macı́as's co-authors include Luis M. Laita, Eugenio Roanes–Lozano, Antonio Hernando, Michael J. Wester and Carlos Roncero‐Clemente and has published in prestigious journals such as SIAM Review, Computers & Mathematics with Applications and Mathematics and Computers in Simulation.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Flóra Faragó Breakdown of academic impact, for papers by Afe Adogame Breakdown of academic impact, for papers by Svasti Daengsvang Breakdown of academic impact, for papers by Roberto Voces Breakdown of academic impact, for papers by Hyung-Soo Lee Breakdown of academic impact, for papers by Ray Asghari Breakdown of academic impact, for papers by Murray L. Schwartz Breakdown of academic impact, for papers by Anil Aggrawal