Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Click on the image)
Autenticação local
Recuperação de Password
Register
Entrar
Pedro Miguel Ribeiro Martins
AuthID:
R-001-SCD
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (15)
Article (1)
Year Start - End:
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 16
11
TITLE:
A Framework for Modular and Customizable Software Analysis
AUTHORS:
Pedro Martins
;
Nuno Carvalho
;
Joao Paulo Fernandes
;
Jose Joao Almeida
;
Joao Saraiva
;
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
12
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
13
TITLE:
A Purely Functional Combinator Language for Software Quality Assessment
AUTHORS:
Pedro Martins
;
João Paulo Fernandes
;
João Saraiva
;
PUBLISHED:
2012
,
SOURCE:
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012,
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
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability - SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers,
VOLUME:
7991
INDEXED IN:
Scopus
DBLP
CrossRef
15
TITLE:
Program and Aspect Metrics for MATLAB
AUTHORS:
Pedro Martins
; Paulo Lopes;
Joao P Fernandes
;
Joao Saraiva
;
Joao M P Cardoso
;
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:
Jacome Cunha
;
Joao Paulo Fernandes
;
Pedro Martins
;
Jorge Mendes
;
Joao Saraiva
;
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
:
23
Adicionar à lista
Marked
Marcar Todas
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 2 de 2. Total de resultados: 16.
<<
<
1
2
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service