José Campos

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026

QUTest: A Native Testing Framework for Quantum Programs.

[BibT_eX]

[DOI]

José Campos

CoRR, May, 2026

2025

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications.

[BibT_eX]

[DOI]

Isabel Amaral

Alexandra Mendes

José Campos

CoRR, November, 2025

2022

Message from the Q-SE 2022 Chairs Q-SE 2022.

[BibT_eX]

[DOI]

José Campos

Jianjun Zhao

Proceedings of the 3rd IEEE/ACM International Workshop on Quantum Software Engineering, 2022

2019

Object-Based Land Cover Classification of Cork Oak Woodlands using UAV Imagery and Orfeo ToolBox.

[BibT_eX]

[DOI]

Remote. Sens., 2019

2014

Sequencing educational resources with Seqins.

[BibT_eX]

[DOI]

Ricardo Queirós

José Paulo Leal

José Campos

Comput. Sci. Inf. Syst., 2014

2013

Seqins - A Sequencing Tool for Educational Resources.

[BibT_eX]

[DOI]

Ricardo Queirós

José Paulo Leal

José Campos

Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

José Campos

Bibliography

Loading...