Francisco Durán
About
Francisco Durán has authored 60 papers that have received a total of 702 indexed citations.
This includes 42 papers in Artificial Intelligence, 26 papers in Computational Theory and Mathematics and 26 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (24 papers), Formal Methods in Verification (23 papers) and QoS-Aware Web Services Composition and Semantic Matching (18 papers). Francisco Durán is often cited by papers focused on Logic, programming, and type systems (24 papers), Formal Methods in Verification (23 papers) and QoS-Aware Web Services Composition and Semantic Matching (18 papers) and collaborates with scholars based in Spain, United States and Norway. Francisco Durán's co-authors include José Meseguer, Antonio Vallecillo, Narciso Martı́-Oliet, Ernesto Pimentel and Steven Eker and has published in prestigious journals such as Journal of Food Composition and Analysis, Theoretical Computer Science and Information and Software Technology
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Reuben Rudman are published in Top fields papers by Y. Ishihara are about Top fields papers by J. Komeno are about Top authors papers by Marie‐Hélène Gagné are co-authored with Top authors papers by Z. Hricha are co-authored with Top countries impacted by papers by Masami Yoshino Top fields papers by Akira Ôbayashi are about Top fields papers by Tristan Bunnell are about