Ana Carolina Silva

According to our database, Ana Carolina Silva authored at least 4 papers between 2012 and 2023.

Collaborative distances:

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

2023

Execution Time Program Verification with Tight Bounds.

Ana Carolina Silva, Manuel Barbosa, Mário Florido

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

A Data Recording Mobile Application to Create Datasets of Vehicle Users' Routines.

Pedro Guimarães, Flora J. Ferreira, Ana Carolina Silva, Wolfram Erlhagen, Sérgio Monteiro, Estela Bicho

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

2021

Prediction of attitudes towards human-centred cognitive vehicles aware of their users' routines and preferences.

Ankit R. Patel, Flora J. Ferreira, Sergio Monteiro, Ana Carolina Silva, Wolfram Erlhagen, Estela Bicho

Proceedings of the 6th IEEE International Forum on Research and Technology for Society and Industry, 2021

2012

A Bio-inspired Model Reliably Predicts the Collision of Approaching Objects under Different Light Conditions.

Ana Carolina Silva, Cristina Peixoto dos Santos

Proceedings of the From Animals to Animats 12, 2012