Manuel Clavel
About
Manuel Clavel has authored 29 papers that have received a total of 708 indexed citations.
This includes 18 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 7 papers in Information Systems. The topics of these papers are Formal Methods in Verification (14 papers), Logic, programming, and type systems (13 papers) and Logic, Reasoning, and Knowledge (10 papers). Manuel Clavel is often cited by papers focused on Formal Methods in Verification (14 papers), Logic, programming, and type systems (13 papers) and Logic, Reasoning, and Knowledge (10 papers) and collaborates with scholars based in Spain, United States and Switzerland. Manuel Clavel's co-authors include José Meseguer, Marina Egea, Francisco Durán, David Basin and Narciso Martı́-Oliet and has published in prestigious journals such as Antimicrobial Agents and Chemotherapy, Journal of neurosurgery and IEEE Transactions on Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by W. Herreman are published in Top authors papers by Melanie Chandler are co-authored with Top authors papers by Stefan Heinze are co-authored with Top fields papers by Mohd Rizal Alkahari are about Top fields papers by L. E. DeLisi are about Top fields papers by Hae-Rahn Bae are about Top countries impacted by papers by R. A. Woods Top authors papers by Sophie Griggs are co-authored with