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 Alejandra Fernández are published in Top journals papers by Ahmet S. Ayan are published in Top fields papers by Aleksandra Sudarić are about Top fields papers by Andrzej Chwojnowski are about Top countries impacted by papers by Shaoxing Chen Top countries impacted by papers by A Rizvi Top countries impacted by papers by Rubens Penha Cysne