Maribel Fernández
About
Maribel Fernández has authored 75 papers that have received a total of 485 indexed citations.
This includes 60 papers in Artificial Intelligence, 43 papers in Computational Theory and Mathematics and 10 papers in Software. The topics of these papers are Logic, programming, and type systems (48 papers), Logic, Reasoning, and Knowledge (34 papers) and Formal Methods in Verification (22 papers). Maribel Fernández is often cited by papers focused on Logic, programming, and type systems (48 papers), Logic, Reasoning, and Knowledge (34 papers) and Formal Methods in Verification (22 papers) and collaborates with scholars based in United Kingdom, France and Brazil. Maribel Fernández's co-authors include Ian Mackie, Claude Kirchner, Franco Barbanera, Bruno Pinaud and Murdoch J. Gabbay and has published in prestigious journals such as Allergy, Optometry and Vision Science and International Archives of Allergy and Immunology
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by João‐Paulo Dias are co-authored with Top authors papers by Alexander Khodosovtsev are co-authored with Top fields papers by Mario Seccareccia are about Top authors papers by Cung The Anh are co-authored with Top fields papers by Jun Ishimoto are about Top fields papers by Sun‐Il Choi are about Top countries impacted by papers by Sazali Abdul Wahab Top countries impacted by papers by Beom-Soo Hyun