Inês Lynce
About
Inês Lynce has authored 51 papers that have received a total of 352 indexed citations.
This includes 26 papers in Artificial Intelligence, 26 papers in Computer Networks and Communications and 21 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (19 papers), Distributed Constraint Optimization Problems and Algorithms (19 papers) and Logic, Reasoning, and Knowledge (8 papers). Inês Lynce is often cited by papers focused on Formal Methods in Verification (19 papers), Distributed Constraint Optimization Problems and Algorithms (19 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in Portugal, Ireland and United Kingdom. Inês Lynce's co-authors include João Marques‐Silva, Vasco Manquinho, Ruben Martins, Pedro T. Monteiro and Josep Argelich and has published in prestigious journals such as Expert Systems with Applications, Artificial Intelligence and Computers & Operations Research
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Anitha Venugopal are published in Top fields papers by Dawei Liu are about Top fields papers by Darusman Darusman are about Top fields papers by A. Guerra‐Tapia are about Top fields papers by Vivian A. Gray are about Top fields papers by Jesse Gitaka are about Top fields papers by Guojie Wang are about Top fields papers by Anna Plotka are about