CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 8274

531 Team Members
Filters -> Year: 2024
2021
TÍTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
AUTORES: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (1), VOLUME: 12232
INDEXADO EM: DBLP CrossRef: 1
2022
TÍTULO: Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
AUTORES: Emil Sekerinski; Nelma Moreira ; José N Oliveira ; Daniel Ratiu; Riccardo Guidotti; Marie Farrell; Matt Luckcuck; Diego Marmsoler; José Campos ; Troy Astarte; Laure Gonnord; Antonio Cerone; Luis Couto; Brijesh Dongol; Martin Kutrib; Pedro Monteiro; David Delmas;
PUBLICAÇÃO: 2020, FONTE: FM Workshops (2), VOLUME: 12233
INDEXADO EM: DBLP CrossRef: 2
2023
TÍTULO: Fostering Programming Practice through Games  Full Text
AUTORES: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2020, FONTE: INFORMATION, VOLUME: 11, NÚMERO: 11, PÁGINAS: 498
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
2024
TÍTULO: Fostering soft and hard skills for innovation among informatics engineering students – An emancipatory approach
AUTORES: Torres, MF ; Flores, N ; Torres, RT;
PUBLICAÇÃO: 2020, FONTE: Journal of Innovation Management, VOLUME: 8, NÚMERO: 1, PÁGINAS: 20-38
INDEXADO EM: Scopus CrossRef
2025
TÍTULO: Fraud Detection using Heavy Hitters: a Case Study. a case study
AUTORES: Veloso, B ; Martins, C; Espanha, R; Azevedo, R; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PÁGINAS: 482-489
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2026
TÍTULO: From mobility data to habits and common pathways  Full Text
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: EXPERT SYSTEMS, VOLUME: 37, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
2027
TÍTULO: From Reinforcement Learning Towards Artificial General Intelligence
AUTORES: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLICAÇÃO: 2020, FONTE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PÁGINAS: 401-413
INDEXADO EM: Scopus DBLP CrossRef: 1
2028
TÍTULO: From Requirements to Automated Acceptance Tests with the RSL Language
AUTORES: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PÁGINAS: 39-57
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2029
TÍTULO: Fundão, Portugal: Using STEM Education to Help Build a New ICT Technopolis
AUTORES: Aguiar, A ; Pereira, S;
PUBLICAÇÃO: 2020, FONTE: STEM in the Technopolis: The Power of STEM Education in Regional Technology Policy, PÁGINAS: 189-202
INDEXADO EM: Scopus CrossRef
2030
TÍTULO: Gait Pattern Analysis with Accelerometer Data From a Smartphone in PAD Patients
AUTORES: Renner, K; Filipe, V ; Pereira, LT; Silva, I; Abrantes, C; Paredes, H ;
PUBLICAÇÃO: 2020, FONTE: 8th International Conference on E-Health and Bioengineering (EHB) in 2020 INTERNATIONAL CONFERENCE ON E-HEALTH AND BIOENGINEERING (EHB)
INDEXADO EM: Scopus WOS CrossRef: 1
2031
TÍTULO: Game-Based Coding Challenges to Foster Programming Practice
AUTORES: José Carlos Paiva ; José Paulo Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2020, FONTE: 1st International Computer Programming Education Conference, ICPEC 2020 in First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)., VOLUME: 81, PÁGINAS: 18:1-18:11
INDEXADO EM: Scopus DBLP
2032
TÍTULO: Gamifying the Museological Experience PDF
AUTORES: António Coelho ; Maria van Zeller; Pedro Cardoso; Liliana Santos; Roberto Vaz; José Raimundo;
PUBLICAÇÃO: 2020, FONTE: 2020 XChange Reality!, XCR 2020 in XCR, VOLUME: 2618, PÁGINAS: 5-8
INDEXADO EM: Scopus DBLP
2033
2034
TÍTULO: GEdIL-Gamified Education Interoperability Language  Full Text
AUTORES: Swacha, J; Paiva, JC ; Leal, JP ; Queiros, R ; Montella, R; Kosta, S;
PUBLICAÇÃO: 2020, FONTE: INFORMATION, VOLUME: 11, NÚMERO: 6, PÁGINAS: 287
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
2035
TÍTULO: Gender Differential Transcriptome in Gastric and Thyroid Cancers  Full Text
AUTORES: Abel Sousa; Marta Ferreira; Carla Oliveira; Pedro G Ferreira ;
PUBLICAÇÃO: 2020, FONTE: FRONTIERS IN GENETICS, VOLUME: 11
INDEXADO EM: Scopus WOS CrossRef: 8
2036
TÍTULO: Generating Query Suggestions for Cross-language and Cross-terminology Health Information Retrieval
AUTORES: Paulo Miguel Santos; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2020, FONTE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PÁGINAS: 344-351
INDEXADO EM: Scopus DBLP CrossRef
2037
TÍTULO: Going to the core of hard resource-constrained project scheduling instances
AUTORES: Jose Coelho ; Mario Vanhoucke;
PUBLICAÇÃO: 2020, FONTE: COMPUTERS & OPERATIONS RESEARCH, VOLUME: 121, PÁGINAS: 104976
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
2038
TÍTULO: Gradient Boosting Machine and LSTM Network for Online Harassment Detection and Categorization in Social Media
AUTORES: Pereira, FSF; Andrade, T ; de Carvalho, ACPLF;
PUBLICAÇÃO: 2020, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT II, VOLUME: 1168, PÁGINAS: 314-320
INDEXADO EM: Scopus WOS DBLP CrossRef
2039
TÍTULO: Greenspecting Android virtual keyboards
AUTORES: Rui Rua ; Tiago Fraga; Marco Couto ; João Saraiva ;
PUBLICAÇÃO: 2020, FONTE: 7th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft 2020 in MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, Seoul, Republic of Korea, July 13-15, 2020, PÁGINAS: 98-108
INDEXADO EM: Scopus DBLP CrossRef
2040
TÍTULO: Guest Editorial: Special Issue on Serious Games for Health
AUTORES: Duque, D ; Vilaca, JL; Zielke, MA; Dias, N; Rodrigues, NF ; Thawonmas, R;
PUBLICAÇÃO: 2020, FONTE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, NÚMERO: 4, PÁGINAS: 337-340
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 102 de 414. Total de resultados: 8274.