Vasco Manquinho
About
Vasco Manquinho has authored 33 papers that have received a total of 207 indexed citations.
This includes 22 papers in Computational Theory and Mathematics, 13 papers in Computer Networks and Communications and 10 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (19 papers), Distributed Constraint Optimization Problems and Algorithms (9 papers) and Software Testing and Debugging Techniques (7 papers). Vasco Manquinho is often cited by papers focused on Formal Methods in Verification (19 papers), Distributed Constraint Optimization Problems and Algorithms (9 papers) and Software Testing and Debugging Techniques (7 papers) and collaborates with scholars based in Portugal, United States and United Kingdom. Vasco Manquinho's co-authors include Ruben Martins, João Marques‐Silva, Inês Lynce, Claire Le Goues and José Rui Figueira and has published in prestigious journals such as Expert Systems with Applications, Computers & Operations Research and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Padmakar Parihar are co-authored with Top journals papers by João Sequeira are published in Top journals papers by J.S. Sastry are published in Top journals papers by Juán José Miguel Tobal are published in Top journals papers by Joel Galofaro are published in Top countries impacted by papers by Eran Treister Top journals papers by N. S. Nesterov are published in Top fields papers by Hendrik Hartog are about