Francisco Oliveira

Orcid: 0009-0003-2400-3601

Affiliations:

INESC-TEC, Porto, Portugal
University of Porto, Faculty of Engineering, Portugal

According to our database¹, Francisco Oliveira authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

[BibT_eX]

[DOI]

Francisco Oliveira

Alexandra Mendes

Carolina Carreira

Proceedings of the 36th IEEE International Symposium on Software Reliability Engineering, 2025

2024

Pruning End-Effectors State of the Art Review.

[BibT_eX]

[DOI]

José Boaventura Cunha

Filipe Santos

Proceedings of the Progress in Artificial Intelligence, 2024

2022

End-Effectors for Harvesting Manipulators - State Of The Art Review.

[BibT_eX]

[DOI]

Francisco Oliveira

Vítor Tinoco

Sandro Magalhães

Filipe Neves dos Santos

Manuel F. Silva

Proceedings of the IEEE International Conference on Autonomous Robot Systems and Competitions, 2022

Francisco Oliveira

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...