Ana Carolina Quintela Alves da Silva Vilares
AuthID: R-001-TBN
1
TÃTULO: Execution Time Program Verification with Tight Bounds
AUTORES: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880
AUTORES: Silva, Ana Carolina; Barbosa, Manuel ; Florido, Mario ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, VOLUME: 13880
2
TÃTULO: A Data Recording Mobile Application to Create Datasets of Vehicle Users' Routines
AUTORES: Guimaraes, Pedro; Ferreira, Flora ; Silva, Ana Carolina; Erlhagen, Wolfram; Monteiro, Sergio; Bicho, Estela;
PUBLICAÇÃO: 2022, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC)
AUTORES: Guimaraes, Pedro; Ferreira, Flora ; Silva, Ana Carolina; Erlhagen, Wolfram; Monteiro, Sergio; Bicho, Estela;
PUBLICAÇÃO: 2022, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2022 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC)
3
TÃTULO: Field Results of a Navigation Architecture with Timing Constraints Full Text
AUTORES: Jorge Silva; Joao Sequeira; Cristina Santos;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF ROBOTICS, VOLUME: 2015
AUTORES: Jorge Silva; Joao Sequeira; Cristina Santos;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF ROBOTICS, VOLUME: 2015
