Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
José Campos
AuthID:
R-002-R8Q
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (29)
Article (4)
Book Chapter (4)
Year Start - End:
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
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: 37
1
TÃTULO:
An exploratory study on the usage of quantum programming languages
Full Text
AUTORES:
Ferreira, Felipe;
Campos, Jose
;
PUBLICAÇÃO:
2025
,
FONTE:
SCIENCE OF COMPUTER PROGRAMMING,
VOLUME:
240
INDEXADO EM:
Scopus
WOS
CrossRef
NO MEU:
ORCID
2
TÃTULO:
Gate Branch Coverage: A Metric for Quantum Software Testing
AUTORES:
Fortunato, Daniel;
Campos, Jose
;
Abreu, Rui
;
PUBLICAÇÃO:
2024
,
FONTE:
1st ACM International Workshop on Quantum Software Engineering:The Next Evolution (QSE-NE)
in
PROCEEDINGS OF THE 1ST ACM INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING:THE NEXT EVOLUTION, QSE-NE 2024
INDEXADO EM:
Scopus
WOS
CrossRef
NO MEU:
ORCID
3
TÃTULO:
Verification and Validation of Quantum Software
AUTORES:
Daniel Fortunato; Luis Jiménez-Navajas;
José Campos
; Rui Abreu;
PUBLICAÇÃO:
2024
,
FONTE:
Quantum Software
INDEXADO EM:
CrossRef
NO MEU:
ORCID
4
TÃTULO:
Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTORES:
Chatterjee, Prantik;
Campos, Jose
;
Abreu, Rui
; Roy, Subhajit;
PUBLICAÇÃO:
2023
,
FONTE:
32nd International Joint Conference on Artificial Intelligence (IJCAI)
in
PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023,
VOLUME:
2023-August
INDEXADO EM:
Scopus
WOS
CrossRef
:
2
Unpaywall
5
TÃTULO:
Automatic Generation of Smell-free Unit Tests
AUTORES:
Afonso, Joao
;
Campos, Jose
;
PUBLICAÇÃO:
2023
,
FONTE:
16th IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT)
in
2023 IEEE/ACM INTERNATIONAL WORKSHOP ON SEARCH-BASED AND FUZZ TESTING, SBFT
INDEXADO EM:
Scopus
WOS
6
TÃTULO:
The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing
AUTORES:
Chen, Qihong; Camara, Ruben;
Campos, Jose
;
Souto, Andre
; Ahmed, Iftekhar;
PUBLICAÇÃO:
2023
,
FONTE:
45th IEEE/ACM International Conference on Software Engineering (ICSE)
in
2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE
INDEXADO EM:
Scopus
WOS
CrossRef
:
3
NO MEU:
ORCID
|
CIÊNCIAVITAE
7
TÃTULO:
Exploring Transformers for Multi-Label Classification of Java Vulnerabilities
AUTORES:
Mamede, Claudia
;
Pinconschi, Eduard
;
Abreu, Rui
;
Campos, Jose
;
PUBLICAÇÃO:
2022
,
FONTE:
22nd IEEE International Conference on Software Quality, Reliability and Security (QRS)
in
2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS,
VOLUME:
2022-December
INDEXADO EM:
Scopus
WOS
CrossRef
NO MEU:
ORCID
|
CIÊNCIAVITAE
8
TÃTULO:
Mutation Testing of Quantum Programs Written in QISKit
AUTORES:
Fortunato, Daniel
;
Campos, Jose
;
Abreu, Rui
;
PUBLICAÇÃO:
2022
,
FONTE:
44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER)
in
2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022)
INDEXADO EM:
WOS
CrossRef
:
3
9
TÃTULO:
Mutation Testing of Quantum Programs Written in QISKit
AUTORES:
Fortunato, D
;
Campos, J
;
Abreu, R
;
PUBLICAÇÃO:
2022
,
FONTE:
44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022
in
Proceedings - International Conference on Software Engineering
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
|
CIÊNCIAVITAE
10
TÃTULO:
Mutation Testing of Quantum Programs: A Case Study With Qiskit
AUTORES:
Daniel Fortunato;
Jose Campos
;
Rui Abreu
;
PUBLICAÇÃO:
2022
,
FONTE:
IEEE Transactions on Quantum Engineering,
VOLUME:
3
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
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 1 de 4. Total de resultados: 37.
<<
<
1
2
3
4
>
>>
×
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