António Morgado
About
António Morgado has authored 11 papers that have received a total of 133 indexed citations.
This includes 8 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (4 papers) and Distributed Constraint Optimization Problems and Algorithms (4 papers). António Morgado is often cited by papers focused on Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (4 papers) and Distributed Constraint Optimization Problems and Algorithms (4 papers) and collaborates with scholars based in Portugal, Spain and United States. António Morgado's co-authors include João Marques‐Silva, Alexey Ignatiev, Federico Heras, Jordi Planes and Sam Buss and has published in prestigious journals such as Artificial Intelligence, Journal of Symbolic Computation and Fundamenta Informaticae
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Heikki V. Huikuri are about Top fields papers by Elizna Maasdorp are about Top countries impacted by papers by Xianbo Zhuang Top journals papers by Jean-Pierre Deslauriers are published in Top fields papers by James Legge are about Top countries impacted by papers by Diana Butković Top journals papers by R. A. Mercer are published in Top countries impacted by papers by Chunhui Lin