José Campos
AuthID: R-002-R8Q
1
TITLE: An exploratory study on the usage of quantum programming languages Full Text
AUTHORS: Ferreira, Felipe; Campos, Jose;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
AUTHORS: Ferreira, Felipe; Campos, Jose;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
2
TITLE: Gate Branch Coverage: A Metric for Quantum Software Testing
AUTHORS: Fortunato, Daniel; Campos, Jose; Abreu, Rui;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Fortunato, Daniel; Campos, Jose; Abreu, Rui;
PUBLISHED: 2024, SOURCE: 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
TITLE: Verification and Validation of Quantum Software
AUTHORS: Daniel Fortunato; Luis Jiménez-Navajas; José Campos; Rui Abreu;
PUBLISHED: 2024, SOURCE: Quantum Software
AUTHORS: Daniel Fortunato; Luis Jiménez-Navajas; José Campos; Rui Abreu;
PUBLISHED: 2024, SOURCE: Quantum Software
4
TITLE: Mutation Testing of Quantum Programs Written in QISKit
AUTHORS: Fortunato, Daniel; Campos, Jose; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 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)
AUTHORS: Fortunato, Daniel; Campos, Jose; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 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)
