Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Pedro Miguel Ribeiro Martins
AuthID:
R-001-SCD
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
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:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
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
Handle
12
TÃTULO:
Zipper-Based Attribute Grammars and Their Extensions
AUTORES:
Pedro Martins
;
Joao Paulo Fernandes
;
Joao Saraiva
;
PUBLICAÇÃO:
2013
,
FONTE:
17th Brazilian Symposium on Programming Languages (SBLP)
in
PROGRAMMING LANGUAGES, SBLP 2013,
VOLUME:
8129
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
6
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:
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012,
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
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
INDEXADO EM:
Scopus
DBLP
CrossRef
15
TÃTULO:
Program and Aspect Metrics for MATLAB
AUTORES:
Pedro Martins
; Paulo Lopes;
Joao P Fernandes
;
Joao Saraiva
;
Joao M P Cardoso
;
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:
Jacome Cunha
;
Joao Paulo Fernandes
;
Pedro Martins
;
Jorge Mendes
;
Joao Saraiva
;
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
:
23
Adicionar à lista
Marked
Marcar Todas
Exportar
×
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
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service