João Alexandre Baptista Vieira Saraiva


AuthID: R-000-6R4

Confirmed Publications: 165



101
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
102
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 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
103
104
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
105
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
106
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
IN MY: ORCID | DBLP | CIÊNCIAVITAE
107
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 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
108
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
109
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
110
TITLE: Zipper-Based Attribute Grammars and Their Extensions
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 11 of 17. Total results: 165.

footer slogan

Useful Links

Get Help

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