( en | de | ru )

 

Disambiguation of "Orvalho, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
AlloyMax: bringing maximum satisfaction to relational specifications.

, , , , , , and . ESEC/SIGSOFT FSE, page 155-167. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Francisco Pedrosa Gil

 

Other publications of authors with the same name

AlloyMax: bringing maximum satisfaction to relational specifications., , , , , , and . ESEC/SIGSOFT FSE, page 155-167. ACM, (2021)SQUARES : A SQL Synthesizer Using Query Reverse Engineering., , , , and . Proc. VLDB Endow., 13 (12): 2853-2856 (2020)Graph Neural Networks For Mapping Variables Between Programs - Extended Version., , , and . CoRR, (2023)C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments., , and . CoRR, (2022)CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases., , and . CoRR, (2024)Graph Neural Networks for Mapping Variables Between Programs., , , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1811-1818. IOS Press, (2023)InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments., , and . CoRR, (2022)MultIPAs: applying program transformations to introductory programming assignments for data augmentation., , and . ESEC/SIGSOFT FSE, page 1657-1661. ACM, (2022)UpMax: User Partitioning for MaxSAT., , and . SAT, volume 271 of LIPIcs, page 19:1-19:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Encodings for Enumeration-Based Program Synthesis., , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 583-599. Springer, (2019)