Eugenio Roanes–Lozano
About
Eugenio Roanes–Lozano has authored 70 papers that have received a total of 433 indexed citations.
This includes 31 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 10 papers in Computational Mechanics. The topics of these papers are Polynomial and algebraic computation (23 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (11 papers). Eugenio Roanes–Lozano is often cited by papers focused on Polynomial and algebraic computation (23 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in Spain, Cyprus and Israel. Eugenio Roanes–Lozano's co-authors include Luis M. Laita, Eugenio Roanes-Macı́as, Antonio Hernando, Antonio Hernando and Gabriel Aguilera‐Venegas and has published in prestigious journals such as Expert Systems with Applications, SIAM Review and Computers & Mathematics with Applications
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Mohammed Al‐Bahrani are published in Top journals papers by Eiichi Sasaki are published in Top authors papers by Czesław Ślusarczyk are co-authored with Top authors papers by Łukasz Jankowiak are co-authored with Top authors papers by Huanqiang Wang are co-authored with Top journals papers by E. Birks are published in Top countries impacted by papers by Svetlana G. Lukishova Top journals papers by Jang-Wook Hur are published in