Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Rui Filipe Lima Maranhão de Abreu
AuthID:
R-000-KWV
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (144)
Article (32)
Editorial Material (11)
Book Chapter (5)
Unpublished (4)
Article in Press (3)
Proceedings (1)
Phd Thesis (1)
Review (1)
Year Start - End:
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
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: 202
61
TÃTULO:
Empirical Study of Restarted and Flaky Builds on Travis CI
PDF
AUTORES:
Thomas Durieux; Claire Le Goues; Michael Hilton;
Rui Abreu
;
PUBLICAÇÃO:
2020
,
FONTE:
17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020
in
CoRR,
VOLUME:
abs/2003.11772
INDEXADO EM:
Scopus
DBLP
arXiv
CrossRef
NO MEU:
ORCID
|
DBLP
62
TÃTULO:
Message from TAIC PART Chairs
AUTORES:
Abreu, R
; Amorim, M; Yang, G;
PUBLICAÇÃO:
2020
,
FONTE:
13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
in
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
INDEXADO EM:
Scopus
NO MEU:
ORCID
63
TÃTULO:
Message from the General Chairs
AUTORES:
Abreu, R
;
Faria, JP
;
PUBLICAÇÃO:
2020
,
FONTE:
13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020
in
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
INDEXADO EM:
Scopus
NO MEU:
ORCID
64
TÃTULO:
Multiple fault localization of software programs: A systematic literature review
Full Text
AUTORES:
Zakari, A; Lee, SP;
Abreu, R
; Ahmed, BH; Rasheed, RA;
PUBLICAÇÃO:
2020
,
FONTE:
INFORMATION AND SOFTWARE TECHNOLOGY,
VOLUME:
124
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
12
NO MEU:
ORCID
|
DBLP
65
TÃTULO:
Off-the-shelf Components for Quantum Programming and Testing
PDF
AUTORES:
Cláudio Gomes;
Daniel Fortunato
;
João Paulo Fernandes
;
Rui Abreu
;
PUBLICAÇÃO:
2020
,
FONTE:
1st International Workshop on Software Engineering and Technology, Q-SET 2020
in
Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), (Online Conference) Denver ─ Broomfield, Colorado, USA, October, 2020.,
VOLUME:
2705
INDEXADO EM:
Scopus
DBLP
NO MEU:
ORCID
|
DBLP
66
TÃTULO:
SmartBugs. a framework to analyze solidity smart contracts
AUTORES:
João F Ferreira
; Pedro Cruz; Thomas Durieux;
Rui Abreu
;
PUBLICAÇÃO:
2020
,
FONTE:
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM:
CrossRef
:
1
NO MEU:
ORCID
67
TÃTULO:
SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTORES:
Ferreira, JF
; Cruz, P; Durieux, T;
Abreu, R
;
PUBLICAÇÃO:
2020
,
FONTE:
35th IEEE/ACM International Conference on Automated Software Engineering (ASE)
in
2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
ORCID
|
DBLP
68
TÃTULO:
Visual sketching. from image sketches to code
AUTORES:
Marcelo d'Amorim
;
Rui Abreu
; Carlos Mello;
PUBLICAÇÃO:
2020
,
FONTE:
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
INDEXADO EM:
CrossRef
:
1
NO MEU:
ORCID
69
TÃTULO:
Visual sketching: From image sketches to code
AUTORES:
D'Amorim, M;
Abreu, R
; Mello, C;
PUBLICAÇÃO:
2020
,
FONTE:
42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020
in
Proceedings - International Conference on Software Engineering
INDEXADO EM:
Scopus
NO MEU:
ORCID
70
TÃTULO:
Visual Sketching: From Image Sketches to Code
AUTORES:
d'Amorim, M;
Abreu, R
; Mello, C;
PUBLICAÇÃO:
2020
,
FONTE:
42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)
in
2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020)
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
DBLP
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 7 de 21. Total de resultados: 202.
<<
<
3
4
5
6
7
8
9
10
11
>
>>
×
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
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service