António Ravara
About
António Ravara has authored 24 papers that have received a total of 266 indexed citations.
This includes 18 papers in Artificial Intelligence, 12 papers in Information Systems and 8 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (8 papers) and QoS-Aware Web Services Composition and Semantic Matching (7 papers). António Ravara is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (8 papers) and QoS-Aware Web Services Composition and Semantic Matching (7 papers) and collaborates with scholars based in Portugal, United Kingdom and Italy. António Ravara's co-authors include Vasco T. Vasconcelos, Simon J. Gay, Ivan Lanese, Nils Gesbert and Antonio Vallecillo and has published in prestigious journals such as ACM Computing Surveys, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Fangyuan Zhao are about Top fields papers by A. Naazie are about Top countries impacted by papers by Sun Hee Heo Top countries impacted by papers by Shixu Meng Top fields papers by Marco Cristo are about Top countries impacted by papers by A. Ipe Top countries impacted by papers by Maliha Naseer Top journals papers by Pathalam Ganesan are published in