José Campos
AuthID: R-002-R8Q
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
AUTORES: Ferreira, Felipe; Campos, Jose;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
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
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
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
AUTORES: Daniel Fortunato; Luis Jiménez-Navajas; José Campos; Rui Abreu;
PUBLICAÇÃO: 2024, FONTE: Quantum Software
4
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)
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)
