Terra-Neves, Miguel
- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions
2020/12/28 by Margarida Ferreira, Miguel Terra-Neves, Ferreira, Margarida +7 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #cs.AI #cs.FL
- CUBES: A Parallel Synthesizer for SQL Using Examples
2022/03/09 by Ricardo Brancas, Brancas, Ricardo, Miguel Terra-Neves +7 · 1 citation
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Scientific Computing and Data Management #Software Engineering (cs.SE)