Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 3967

49 Team Members
Filters -> Year: 2025
641
TITLE: Enriching word embeddings with food knowledge for ingredient retrieval
AUTHORS: Samagaio, ÁM; Cardoso, HL ; Ribeiro, D;
PUBLISHED: 2021, SOURCE: 3rd Conference on Language, Data and Knowledge, LDK 2021 in OpenAccess Series in Informatics, VOLUME: 93
642
TITLE: Equal opportunities in the access to quality online health information? A multi-lingual study on Wikipedia
AUTHORS: Couto, Luis; Lopes, Carla Teixeira ;
PUBLISHED: 2021, SOURCE: 17th International Symposium on Open Collaboration (OpenSym) in PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON OPEN COLLABORATION (OPENSYM), PAGES: 13:1-13:13
643
TITLE: Estimating Active Cases of COVID-19
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.03284
644
TITLE: Estimating the COVID-19 Prevalence in Spain With Indirect Reporting via Open Surveys
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: FRONTIERS IN PUBLIC HEALTH, VOLUME: 9
645
TITLE: Evaluating Transitions for Streaming Big Data
AUTHORS: Filipa Castanheira; João Moreira; Daniel Mendes ; Daniel Gonçalves;
PUBLISHED: 2021, SOURCE: International Conference on Graphics and Interaction, ICGI 2021, Porto, Portugal, November 4-5, 2021, PAGES: 1-8
646
TITLE: EVOSUITE at the SBST 2021 Tool Competition
AUTHORS: Vogl, Sebastian; Schweikl, Sebastian; Fraser, Gordon; Arcuri, Andrea; Campos, Jose ; Panichella, Annibale;
PUBLISHED: 2021, SOURCE: 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), PAGES: 28-29
647
TITLE: Experiences on teaching alloy with an automated assessment platform
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211, PAGES: 102690
648
TITLE: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2021, SOURCE: 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, PAGES: 77-84
649
TITLE: Fatigued PageRank
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05369
650
651
TITLE: FEEdBACk: An ICT-Based Platform to Increase Energy Efficiency through Buildings' Consumer Engagement
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 6, PAGES: 1524
652
TITLE: Fixing vulnerabilities potentially hinders maintainability
AUTHORS: Reis, S; Abreu, R ; Cruz, L;
PUBLISHED: 2021, SOURCE: EMPIRICAL SOFTWARE ENGINEERING, VOLUME: 26, ISSUE: 6
653
TITLE: Foreword
AUTHORS: Fernandes, JP ;
PUBLISHED: 2021, SOURCE: 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
654
TITLE: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
655
656
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
657
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
658
TITLE: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTHORS: Silva, HD ; Soares, AL ;
PUBLISHED: 2021, SOURCE: 21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, VOLUME: 598, PAGES: 111-120
659
TITLE: Game Adaptation by Using Reinforcement Learning Over Meta Games
AUTHORS: Reis, S ; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: GROUP DECISION AND NEGOTIATION, VOLUME: 30, ISSUE: 2, PAGES: 321-340
660
TITLE: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTHORS: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.

Results per Page: 20.
Page 33 of 199. Total results: 3967.