António Morgado
Orcid: 0000-0002-5295-1321Affiliations:
- INESC-ID, Lisboa, Portugal
According to our database1,
António Morgado
authored at least 48 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
2
1
1
1
2
1
1
1
2
1
1
2
2
1
1
1
3
2
3
1
2
4
3
5
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2024
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Artificial Intelligence Research and Development, 2024
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
2022
TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.
CoRR, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021
2020
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
Proceedings of the Language and Automata Theory and Applications, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2018
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
CoRR, 2017
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Progress in Artificial Intelligence, 2017
2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
Constraints An Int. J., 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Hardware and Software: Verification and Testing, 2012
Proceedings of the Advances in Artificial Intelligence, 2012
2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Fundam. Informaticae, 2010
2008
2006
Proceedings of the Theory and Applications of Satisfiability Testing, 2006
2005
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005