4 citations · 6 across the 3 of their papers we have counts for
3 papers
SAT-Based Algorithms for Regular Graph Pattern Matching
Miguel Terra-Neves, José Amaral, Alexandre Lemos +3
Graph matching is a fundamental problem in pattern recognition, with many applications such as software analysis and computational biology. One well-known type of graph matching pr…
T5QL: Taming language models for SQL generation
Samuel Arcadinho, David Aparício, Hugo Veiga +1
Automatic SQL generation has been an active research area, aiming at streamlining the access to databases by writing natural language with the given intent instead of writing SQL.…
Duplicated Code Pattern Mining in Visual Programming Languages
Miguel Terra-Neves, João Nadkarni, Miguel Ventura +3
Visual Programming Languages (VPLs), coupled with the high-level abstractions that are commonplace in visual programming environments, enable users with less technical knowledge to…