Jorge Cerqueira

According to our database, Jorge Cerqueira authored at least 2 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Timely Specification Repair for Alloy 6.

Jorge Cerqueira, Alcino Cunha, Nuno Macedo

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

2003

Hyperspectral Images Clustering on Reconfigurable Hardware Using the K-Means Algorithm.

Abel Guilhermino Silva-Filho, Alejandro César Frery, Cristiano C. de Araújo, Haglay Alice, Jorge Cerqueira, Juliana A. Loureiro, Manoel Eusébio de Lima, Maria das Gracas S. Oliveira, Michelle Matos Horta

Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003