Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 3963
49 Team MembersFilters -> Year: 2025
921
TÃTULO: Reconciling Predictions in the Regression Setting: An Application to Bus Travel Time Prediction
AUTORES: Mendes Moreira, J ; Baratchi, M;
PUBLICAÇÃO: 2020, FONTE: 18th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XVIII, IDA 2020, VOLUME: 12080, PÁGINAS: 313-325
AUTORES: Mendes Moreira, J ; Baratchi, M;
PUBLICAÇÃO: 2020, FONTE: 18th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XVIII, IDA 2020, VOLUME: 12080, PÁGINAS: 313-325
922
TÃTULO: Reinforcement Learning in Navigation and Cooperative Mapping
AUTORES: Cruz, JA; Cardoso, HL ; Reis, LP ; Sousa, A. ;
PUBLICAÇÃO: 2020, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2020), PÁGINAS: 200-205
AUTORES: Cruz, JA; Cardoso, HL ; Reis, LP ; Sousa, A. ;
PUBLICAÇÃO: 2020, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2020), PÁGINAS: 200-205
923
TÃTULO: REPLICA: A solution for next generation iot and digital twin based fault diagnosis and predictive maintenance
AUTORES: Rossini, R; Conzon, D; Prato, G; Pastrone, C; Reis, J; Gil Gonçalves ;
PUBLICAÇÃO: 2020, FONTE: 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the Next Generation Internet of Things, SAM IoT 2020 in CEUR Workshop Proceedings, VOLUME: 2739, PÁGINAS: 55-62
AUTORES: Rossini, R; Conzon, D; Prato, G; Pastrone, C; Reis, J; Gil Gonçalves ;
PUBLICAÇÃO: 2020, FONTE: 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the Next Generation Internet of Things, SAM IoT 2020 in CEUR Workshop Proceedings, VOLUME: 2739, PÁGINAS: 55-62
924
TÃTULO: Response Time Analysis of Multiframe Mixed-Criticality Systems
AUTORES: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 27th International Conference on Real-Time Networks and Systems (RTNS) in RTNS 2019: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2019), PÁGINAS: 8-18
AUTORES: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: 27th International Conference on Real-Time Networks and Systems (RTNS) in RTNS 2019: PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2019), PÁGINAS: 8-18
925
TÃTULO: Response time analysis of multiframe mixed-criticality systems with arbitrary deadlines
AUTORES: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: REAL-TIME SYSTEMS, VOLUME: 57, NÚMERO: 1-2, PÁGINAS: 141-189
AUTORES: Hussain, I; Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2020, FONTE: REAL-TIME SYSTEMS, VOLUME: 57, NÚMERO: 1-2, PÁGINAS: 141-189
926
TÃTULO: Reverse Engineering of Android Applications: REiMPAcT
AUTORES: Marco A Gonçalves; Ana C R Paiva ;
PUBLICAÇÃO: 2020, FONTE: 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020 in Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, VOLUME: 1266, PÁGINAS: 369-382
AUTORES: Marco A Gonçalves; Ana C R Paiva ;
PUBLICAÇÃO: 2020, FONTE: 13th International Conference on the Quality of Information and Communications Technology, QUATIC 2020 in Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, VOLUME: 1266, PÁGINAS: 369-382
927
TÃTULO: Revisiting harmonic change detection
AUTORES: Ramoneda, P; Bernardes, G ;
PUBLICAÇÃO: 2020, FONTE: 149th Audio Engineering Society Convention 2020, AES 2020 in 149th Audio Engineering Society Convention 2020, AES 2020
AUTORES: Ramoneda, P; Bernardes, G ;
PUBLICAÇÃO: 2020, FONTE: 149th Audio Engineering Society Convention 2020, AES 2020 in 149th Audio Engineering Society Convention 2020, AES 2020
928
TÃTULO: Robot 2019: Fourth Iberian Robotics Conference. Advances in Robotics, Volume 2
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: Advances in Intelligent Systems and Computing
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: Advances in Intelligent Systems and Computing
929
TÃTULO: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 1, Porto, Portugal, 20-22 November, 2019
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: ROBOT (1), VOLUME: 1092
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: ROBOT (1), VOLUME: 1092
930
TÃTULO: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 2, Porto, Portugal, 20-22 November, 2019
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: ROBOT (2), VOLUME: 1093
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: ROBOT (2), VOLUME: 1093
931
TÃTULO: Role of Content Analysis in Improving the Curation of Experimental Data
AUTORES: João Daniel Aguiar Castro ; Cristiana Landeira; João Rocha da Silva; Cristina Ribeiro ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Digit. Curation, VOLUME: 15, NÚMERO: 1, PÁGINAS: 1-14
AUTORES: João Daniel Aguiar Castro ; Cristiana Landeira; João Rocha da Silva; Cristina Ribeiro ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Digit. Curation, VOLUME: 15, NÚMERO: 1, PÁGINAS: 1-14
932
TÃTULO: ROSY: An elegant language to teach the pure reactive nature of robot programming
AUTORES: Hugo Pacheco ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: 4th IEEE International Conference on Robotic Computing, IRC 2020 in Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020, PÁGINAS: 240-247
AUTORES: Hugo Pacheco ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: 4th IEEE International Conference on Robotic Computing, IRC 2020 in Fourth IEEE International Conference on Robotic Computing, IRC 2020, Taichung, Taiwan, November 9-11, 2020, PÁGINAS: 240-247
933
TÃTULO: Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces
AUTORES: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLICAÇÃO: 2020, FONTE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PÁGINAS: 516-523
AUTORES: Alberto Oliveira; Ricardo Freitas; Alípio Jorge ; Vítor Amorim; Nuno Moniz ; Ana C R Paiva ; Paulo J Azevedo ;
PUBLICAÇÃO: 2020, FONTE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PÁGINAS: 516-523
934
TÃTULO: Serious Pervasive Games
AUTORES: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; van Zeller, Maria ; Liliana Santos; António Augusto de Sousa ;
PUBLICAÇÃO: 2020, FONTE: Frontiers Comput. Sci., VOLUME: 2, PÁGINAS: 30
AUTORES: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; van Zeller, Maria ; Liliana Santos; António Augusto de Sousa ;
PUBLICAÇÃO: 2020, FONTE: Frontiers Comput. Sci., VOLUME: 2, PÁGINAS: 30
935
TÃTULO: Simulating a Three-Lane Roundabout Using SUMO
AUTORES: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLICAÇÃO: 2020, FONTE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PÁGINAS: 18-31
AUTORES: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLICAÇÃO: 2020, FONTE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PÁGINAS: 18-31
936
TÃTULO: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTORES: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-7
AUTORES: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-7
937
TÃTULO: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PÁGINAS: 101-115
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020, PÁGINAS: 101-115
938
TÃTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
AUTORES: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
939
TÃTULO: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PÁGINAS: 1349-1352
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PÁGINAS: 1349-1352
940
TÃTULO: SmartGC: a software architecture for garbage collection in smart cities
AUTORES: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, NÚMERO: 2, PÁGINAS: 79-93
AUTORES: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, NÚMERO: 2, PÁGINAS: 79-93