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