Pedro Miguel Ribeiro Martins


AuthID: R-001-SCD

Publicações Confirmadas: 16



11
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
12
TÍTULO: Zipper-Based Attribute Grammars and Their Extensions
AUTORES: Martins, P ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
13
TÍTULO: A Purely Functional Combinator Language for Software Quality Assessment
AUTORES: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: SLATE, VOLUME: 21
INDEXADO EM: Scopus DBLP
14
TÍTULO: A Web Portal for the Certification of Open Source Software
AUTORES: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS
INDEXADO EM: Scopus DBLP CrossRef
15
TÍTULO: Program and Aspect Metrics for MATLAB
AUTORES: Martins, P ; Lopes, P; Fernandes, JP ; Saraiva, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
16
TÍTULO: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTORES: Cunha, J ; Fernandes, JP ; Martins, P ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
Página 2 de 2. Total de resultados: 16.

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