João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Publicações Confirmadas: 166



101
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 | DBLP | CIÊNCIAVITAE
102
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
103
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 | DBLP | CIÊNCIAVITAE
104
105
TÍTULO: Multiple intermediate structure deforestation by shortcut fusion
AUTORES: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages, SBLP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8129 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
106
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
107
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 | DBLP | CIÊNCIAVITAE
108
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 | DBLP | CIÊNCIAVITAE
109
TÍTULO: Special section on the Brazilian Symposium on Programming Languages  Full Text
AUTORES: Andre Santos; Joao Saraiva ;
PUBLICAÇÃO: 2013, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
110
TÍTULO: Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions
AUTORES: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLICAÇÃO: 2013, FONTE: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 11 de 17. Total de resultados: 166.

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

Links Úteis

Ajuda

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