João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 166



11
TÍTULO: pyZtrategic: A Zipper-Based Embedding of Strategies and Attribute Grammars in Python
AUTORES: Emanuel Rodrigues ; José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2024, FONTE: ENASE
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
12
TÍTULO: Tabulation with Zippers
AUTORES: Viera, Marcos; Pardo, Alberto; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: 17th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2024, VOLUME: 14659
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
13
TÍTULO: Trading Runtime for Energy Efficiency Leveraging Power Caps to Save Energy across Programming Languages
AUTORES: Cunha, Simao ; Silva, Luis; Saraiva, Joao ; Fernandes, Joao Paulo ;
PUBLICAÇÃO: 2024, FONTE: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE) in PROCEEDINGS OF THE 17TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2024
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID
14
TÍTULO: Zipper-based embedding of strategic attribute grammars  Full Text
AUTORES: Macedo, Jose Nuno ; Rodrigues, Emanuel; Viera, Marcos; Saraiva, Joao ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 211
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
15
TÍTULO: <i>PyAnaDroid</i>: A fully-customizable execution pipeline for benchmarking Android Applications  Full Text
AUTORES: Rua, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 39th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION, ICSME
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
16
TÍTULO: A congestion-based local search for transmission expansion planning problems
AUTORES: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLICAÇÃO: 2023, FONTE: Swarm Evol. Comput., VOLUME: 83
INDEXADO EM: DBLP
17
TÍTULO: Efficient Embedding of Strategic Attribute Grammars via Memoization
AUTORES: José Nuno Macedo ; Emanuel Rodrigues; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2023, FONTE: PEPM@POPL
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID
18
TÍTULO: Exploring Data Analysis and Visualization Techniques for Project Tracking: Insights from the ITC
AUTORES: Barrocas, Andre; da Silva, Alberto Rodrigues ; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 16th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, QUATIC 2023, VOLUME: 1871
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
19
TÍTULO: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTORES: Ribeiro, Francisco; Castro de Macedo, Jose Nuno ; Tsushima, Kanae; Abreu, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID
20
Página 2 de 17. Total de resultados: 166.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service