José Meseguer
About
José Meseguer has authored 170 papers that have received a total of 4.2k indexed citations.
This includes 126 papers in Computational Theory and Mathematics, 124 papers in Artificial Intelligence and 33 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (107 papers), Logic, programming, and type systems (105 papers) and Logic, Reasoning, and Knowledge (62 papers). José Meseguer is often cited by papers focused on Formal Methods in Verification (107 papers), Logic, programming, and type systems (105 papers) and Logic, Reasoning, and Knowledge (62 papers) and collaborates with scholars based in United States, Spain and Norway. José Meseguer's co-authors include Joseph A. Goguen, Narciso Martı́-Oliet, Peter Csaba Ölveczky, Steven Eker and Francisco Durán and has published in prestigious journals such as Analytica Chimica Acta, ACM Computing Surveys and Physics of Fluids
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Junjiang Fu Top authors papers by P. Elliott Miller are co-authored with Top countries impacted by papers by Ilse Van Diest Top authors papers by Isabel Cañellas are co-authored with Top authors papers by Lei Liu are co-authored with Top journals papers by Tao Zhang are published in Top fields papers by Maria Paola Canevini are about Top journals papers by Vı́ctor J. Herrero are published in