João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 166



101
TITLE: A Framework for Modular and Customizable Software Analysis
AUTHORS: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
102
TITLE: A Model-based Approach for Test Cases Generation
AUTHORS: Silva, JC; Silva, JL ; Campos, JC ; Saraiva, JA ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
103
TITLE: Complexity Metrics for ClassSheet Models
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
104
105
TITLE: Multiple intermediate structure deforestation by shortcut fusion
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
106
TITLE: Preface
AUTHORS: Lammel, R; Saraiva, J ; Visser, J;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
107
TITLE: Querying Model-Driven Spreadsheets
AUTHORS: Cunha, Jacome ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2013, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
108
TITLE: QuerySheet: A Bidirectional Query Environment for Model-Driven Spreadsheets
AUTHORS: Belo, Orlando ; Cunha, Jacorne ; Fernandes, Joao Paulo ; Mendes, Jorge ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2013, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 6 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
109
TITLE: Special section on the Brazilian Symposium on Programming Languages  Full Text
AUTHORS: Andre Santos; Joao Saraiva ;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
110
TITLE: Using Cloogy and Case Based Reasoning to Identify Electrical Consumptions
AUTHORS: Antonio Damasceno; Andreia Carreiro; João Saraiva ; Jose Neto; Jorge Landeck;
PUBLISHED: 2013, SOURCE: Advances in Data Mining, 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 2013. Workshop Proceedings
INDEXED IN: DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 11 of 17. Total results: 166.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service