Ana Cruz

According to our database, Ana Cruz authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

2023

Augmented Reality and Digital Twin for Mineral Industry.

Diogo Francisco, Ana Cruz, Nuno Rodrigues, Alexandrino Gonçalves, Roberto Ribeiro

Proceedings of the International Conference on Graphics and Interaction, 2023

2022

Paraconsistent Transition Systems.

Ana Cruz, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

A Logic for Paraconsistent Transition Systems.

Ana Cruz, Alexandre Madeira, Luís Soares Barbosa

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

2021

Multi AGV Industrial Supervisory System.

Ana Cruz, Diogo Matos, José Lima, Paulo Costa, Pedro Costa

Proceedings of the Optimization, Learning Algorithms and Applications, 2021