Pedro Miguel Ribeiro Martins


AuthID: R-001-SCD

Confirmed Publications: 16



11
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
12
TITLE: Zipper-Based Attribute Grammars and Their Extensions
AUTHORS: Martins, P ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2013, VOLUME: 8129
INDEXED IN: Scopus WOS DBLP CrossRef: 8
13
TITLE: A Purely Functional Combinator Language for Software Quality Assessment
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21
INDEXED IN: Scopus DBLP
14
TITLE: A Web Portal for the Certification of Open Source Software
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
15
TITLE: Program and Aspect Metrics for MATLAB
AUTHORS: Martins, P ; Lopes, P; Fernandes, JP ; Saraiva, J ; Cardoso, JMP ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, ISSUE: PART 4
INDEXED IN: Scopus WOS DBLP CrossRef: 4
16
TITLE: SmellSheet Detective: A Tool for Detecting Bad Smells in Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Martins, P ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 28
Page 2 of 2. Total results: 16.

footer slogan

Useful Links

Get Help

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