IT Architecture automatic verification: A network evidence-based approach A Alegria, A Vasconcelos 2010 Fourth International Conference on Research Challenges in Information …, 2010 | 14 | 2010 |
T5QL: Taming language models for SQL generation S Arcadinho, D Aparício, H Veiga, A Alegria arXiv preprint arXiv:2209.10254, 2022 | 8 | 2022 |
Duplicated code pattern mining in visual programming languages M Terra-Neves, J Nadkarni, M Ventura, P Resende, H Veiga, A Alegria Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 4 | 2021 |
Architecture discovery HMFC da Veiga, AMC dos Santos, RVP Madaleno US Patent App. 18/408,122, 2024 | | 2024 |
SAT-Based Algorithms for Regular Graph Pattern Matching M Terra-Neves, J Amaral, A Lemos, R Quintino, P Resende, A Alegria Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8136-8145, 2024 | | 2024 |
Architecture discovery HMFC da Veiga, AMC dos Santos, RVP Madaleno US Patent 11,922,137, 2024 | | 2024 |
Constrained decoding and ranking of language models for code generation SDP Arcadinho, JPG Lages, JPN Nadkarni, MR Lourenço, ASA Da Costa, ... US Patent App. 18/210,530, 2023 | | 2023 |