António Alegria

According to our database, António Alegria authored at least 4 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

SAT-Based Algorithms for Regular Graph Pattern Matching.

Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, António Alegria

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

T5QL: Taming language models for SQL generation.

Samuel Arcadinho, David Aparício, Hugo Veiga, António Alegria

CoRR, 2022

2021

Duplicated code pattern mining in visual programming languages.

Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga, António Alegria

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2010

IT Architecture Automatic Verification: A Network Evidence-based Approach.

António Alegria, André Vasconcelos

Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, 2010