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 fields papers by Rajesh Sonti are about Top countries impacted by papers by Francesco Bonavolontà Top journals papers by Omar A. Almohammed are published in Top authors papers by Lin Xiao are co-authored with Top countries impacted by papers by Carlos Galindo Top journals papers by Uğur Gönlügür are published in Top countries impacted by papers by María Verónica Alderete Top fields papers by R Omoto are about