Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3973
49 Team MembersFilters -> Year: 2025
641
TÃTULO: Embedding Traffic Network Characteristics Using Tensor for Improved Traffic Prediction
AUTORES: Bhanu, M; Mendes Moreira, J ; Chandra, J;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 22, NÚMERO: 6, PÁGINAS: 3359-3371
AUTORES: Bhanu, M; Mendes Moreira, J ; Chandra, J;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 22, NÚMERO: 6, PÁGINAS: 3359-3371
642
TÃTULO: Empirical Study on the Impact of Different Sets of Parameters of Gradient Boosting Algorithms for Time-Series Forecasting with LightGBM
AUTORES: Filipa S. Barros ; Vítor Cerqueira ; Carlos Soares ;
PUBLICAÇÃO: 2021, FONTE: 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021 in PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I, VOLUME: 13031, PÁGINAS: 454-465
AUTORES: Filipa S. Barros ; Vítor Cerqueira ; Carlos Soares ;
PUBLICAÇÃO: 2021, FONTE: 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021 in PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I, VOLUME: 13031, PÁGINAS: 454-465
643
TÃTULO: Empowering Visual Internet-of-Things Mashups with Self-Healing Capabilities
AUTORES: Dias, JP ; André Restivo ; Ferreira, HS ;
PUBLICAÇÃO: 2021, FONTE: 3rd IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT), PÁGINAS: 44-51
AUTORES: Dias, JP ; André Restivo ; Ferreira, HS ;
PUBLICAÇÃO: 2021, FONTE: 3rd IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT) in 2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING RESEARCH AND PRACTICES FOR THE IOT (SERP4IOT), PÁGINAS: 44-51
644
TÃTULO: Encoding, Analysing and Modeling I-Folk: A New Database of Iberian Folk Music
AUTORES: Nádia Carvalho ; Sara Gonzalez Gutierrez; Javier Merchan Sanchez Jara; Gilberto Bernardes ; Maria Navarro Cáceres;
PUBLICAÇÃO: 2021, FONTE: ACM International Conference Proceeding Series, PÁGINAS: 75-83
AUTORES: Nádia Carvalho ; Sara Gonzalez Gutierrez; Javier Merchan Sanchez Jara; Gilberto Bernardes ; Maria Navarro Cáceres;
PUBLICAÇÃO: 2021, FONTE: ACM International Conference Proceeding Series, PÁGINAS: 75-83
645
TÃTULO: Enriching word embeddings with food knowledge for ingredient retrieval
AUTORES: Samagaio, ÁM; Cardoso, HL ; Ribeiro, D;
PUBLICAÇÃO: 2021, FONTE: 3rd Conference on Language, Data and Knowledge, LDK 2021 in OpenAccess Series in Informatics, VOLUME: 93
AUTORES: Samagaio, ÁM; Cardoso, HL ; Ribeiro, D;
PUBLICAÇÃO: 2021, FONTE: 3rd Conference on Language, Data and Knowledge, LDK 2021 in OpenAccess Series in Informatics, VOLUME: 93
646
TÃTULO: Equal opportunities in the access to quality online health information? A multi-lingual study on Wikipedia
AUTORES: Couto, Luis; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2021, FONTE: 17th International Symposium on Open Collaboration (OpenSym) in PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON OPEN COLLABORATION (OPENSYM), PÁGINAS: 13:1-13:13
AUTORES: Couto, Luis; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2021, FONTE: 17th International Symposium on Open Collaboration (OpenSym) in PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON OPEN COLLABORATION (OPENSYM), PÁGINAS: 13:1-13:13
647
TÃTULO: Estimating Active Cases of COVID-19
AUTORES: Javier Álvarez; Carlos Baquero ; Elisa Cabana; Jaya Prakash Champati; Antonio Fernández Anta; Davide Frey; Augusto García Agundez; Chryssis Georgiou; Mathieu Goessens; Harold Hernández; Rosa E Lillo; Raquel Menezes ; Raúl Moreno; Nicolas Nicolaou; Oluwasegun Ojo; Antonio Ortega; Jesús Rufino; Efstathios Stavrakis; Govind Jeevan; Christin Glorioso;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03284
AUTORES: Javier Álvarez; Carlos Baquero ; Elisa Cabana; Jaya Prakash Champati; Antonio Fernández Anta; Davide Frey; Augusto García Agundez; Chryssis Georgiou; Mathieu Goessens; Harold Hernández; Rosa E Lillo; Raquel Menezes ; Raúl Moreno; Nicolas Nicolaou; Oluwasegun Ojo; Antonio Ortega; Jesús Rufino; Efstathios Stavrakis; Govind Jeevan; Christin Glorioso;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03284
648
TÃTULO: Estimating the COVID-19 Prevalence in Spain With Indirect Reporting via Open Surveys
AUTORES: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLICAÇÃO: 2021, FONTE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
AUTORES: Garcia Agundez, A; Ojo, O; Hernandez Roig, HA; Baquero, C ; Frey, D; Georgiou, C; Goessens, M; Lillo, RE; Menezes, R ; Nicolaou, N; Ortega, A; Stavrakis, E; Anta, AF;
PUBLICAÇÃO: 2021, FONTE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
649
TÃTULO: Evaluating Transitions for Streaming Big Data
AUTORES: Filipa Castanheira; João Moreira; Daniel Mendes ; Daniel Gonçalves;
PUBLICAÇÃO: 2021, FONTE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PÁGINAS: 1-8
AUTORES: Filipa Castanheira; João Moreira; Daniel Mendes ; Daniel Gonçalves;
PUBLICAÇÃO: 2021, FONTE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PÁGINAS: 1-8
650
TÃTULO: EVOSUITE at the SBST 2021 Tool Competition
AUTORES: Vogl, Sebastian; Schweikl, Sebastian; Fraser, Gordon; Arcuri, Andrea; Campos, Jose ; Panichella, Annibale;
PUBLICAÇÃO: 2021, FONTE: 14th IEEE/ACM International Workshop on Search-Based Software Testing (SBST) in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021), PÁGINAS: 28-29
AUTORES: Vogl, Sebastian; Schweikl, Sebastian; Fraser, Gordon; Arcuri, Andrea; Campos, Jose ; Panichella, Annibale;
PUBLICAÇÃO: 2021, FONTE: 14th IEEE/ACM International Workshop on Search-Based Software Testing (SBST) in 2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING (SBST 2021), PÁGINAS: 28-29
651
TÃTULO: Experiences on teaching alloy with an automated assessment platform
AUTORES: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PÁGINAS: 102690
AUTORES: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLICAÇÃO: 2021, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PÁGINAS: 102690
652
TÃTULO: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PÁGINAS: 77-84
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: 1st Workshop on Applicable Formal Methods, AppFM 2021 in Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021., VOLUME: 349, PÁGINAS: 77-84
653
TÃTULO: Fatigued PageRank
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05369
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05369
654
TÃTULO: Fatigued Random Walks in Hypergraphs: A Neuronal Analogy to Improve Retrieval Performance
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05364
AUTORES: José Luís Devezas; Sérgio Nunes ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2104.05364
655
TÃTULO: FEEdBACk: An ICT-Based Platform to Increase Energy Efficiency through Buildings' Consumer Engagement
AUTORES: Soares, F ; Madureira, A ; Pages, A; Barbosa, A; Coelho, A ; Cassola, F ; Ribeiro, F ; Viana, J ; Andrade, J ; Dorokhova, M; Morais, N; Wyrsch, N; Sorensen, T;
PUBLICAÇÃO: 2021, FONTE: ENERGIES, VOLUME: 14, NÚMERO: 6, PÁGINAS: 1524
AUTORES: Soares, F ; Madureira, A ; Pages, A; Barbosa, A; Coelho, A ; Cassola, F ; Ribeiro, F ; Viana, J ; Andrade, J ; Dorokhova, M; Morais, N; Wyrsch, N; Sorensen, T;
PUBLICAÇÃO: 2021, FONTE: ENERGIES, VOLUME: 14, NÚMERO: 6, PÁGINAS: 1524
656
TÃTULO: Fixing vulnerabilities potentially hinders maintainability
AUTORES: Reis, S; Abreu, R ; Cruz, L;
PUBLICAÇÃO: 2021, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, NÚMERO: 6
AUTORES: Reis, S; Abreu, R ; Cruz, L;
PUBLICAÇÃO: 2021, FONTE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, NÚMERO: 6
657
TÃTULO: Foreword
AUTORES: Fernandes, JP ;
PUBLICAÇÃO: 2021, FONTE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
AUTORES: Fernandes, JP ;
PUBLICAÇÃO: 2021, FONTE: 25th Brazilian Symposium on Programming Languages, SBLP 2021, held in conjunction with the Brazilian Conference on Software: Theory and Practice, CBSoft 2021 in ACM International Conference Proceeding Series
658
TÃTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
659
TÃTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
660
TÃTULO: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTORES: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 7
AUTORES: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 7