João Marques‐Silva
0000-0002-6632-3086
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Formal Methods in Verification
(173)
Constraint Satisfaction and Optimization
(88)
Logic, Reasoning, and Knowledge
(75)
Explainable Artificial Intelligence (XAI)
(70)
Software Testing and Debugging Techniques
(56)
Affiliations
University College Dublin
Institució Catalana de Recerca i Estudis Avançats
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
Centre National de la Recherche Scientifique
Université Toulouse III - Paul Sabatier