João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 166



101
TÍTULO: Smelling Faults in Spreadsheets  Full Text
AUTORES: Abreu, R ; Cunha, J ; Fernandes, JP ; Martins, P ; Perez, A ; Saraiva, J ;
PUBLICAÇÃO: 2014, FONTE: 30th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2014 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: ORCID
102
TÍTULO: A Framework for Modular and Customizable Software Analysis
AUTORES: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
NO MEU: ORCID
103
TÍTULO: A Model-based Approach for Test Cases Generation
AUTORES: Silva, JC; Silva, JL ; Campos, JC ; Saraiva, JA ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
104
TÍTULO: Complexity Metrics for ClassSheet Models
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
NO MEU: ORCID
105
106
TÍTULO: Multiple Intermediate Structure Deforestation by Shortcut Fusion
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2013, FONTE: SBLP, VOLUME: 8129 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
107
TÍTULO: Preface
AUTORES: Lammel, R; Saraiva, J ; Visser, J;
PUBLICAÇÃO: 2013, FONTE: 4th International Summer School on Generative and Transformational Techniques in Software Engineering IV, GTTSE 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7680 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
108
TÍTULO: Querying Model-Driven Spreadsheets
AUTORES: Cunha, Jacome ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2013, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013)
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
109
TÍTULO: QuerySheet: A Bidirectional Query Environment for Model-Driven Spreadsheets
AUTORES: Belo, Orlando ; Cunha, Jacorne ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLICAÇÃO: 2013, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2013 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2013)
INDEXADO EM: Scopus WOS DBLP CrossRef: 6 Handle
NO MEU: ORCID
110
TÍTULO: Special section on the Brazilian Symposium on Programming Languages  Full Text
AUTORES: Santos, A; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
Página 11 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