CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 8279

531 Team Members
Filters -> Year: 2024
2021
TITLE: FGPE AuthorKit - A Tool for Authoring Gamified Programming Educational Content
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ; Jakub Swacha;
PUBLISHED: 2020, SOURCE: 25th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020 in Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, June 15-19, 2020., PAGES: 564
INDEXED IN: Scopus DBLP CrossRef: 2
2022
TITLE: Finding the Gaps about Uses of Immersive Learning Environments: A Survey of Surveys
AUTHORS: Dennis Beck; Leonel Morgado ; Patrick O'Shea;
PUBLISHED: 2020, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 26, ISSUE: 8, PAGES: 1043-1073
INDEXED IN: Scopus WOS DBLP
2024
TITLE: Flow-based Detection and Proxy-based Evasion of Encrypted Malware C2 Traffic
AUTHORS: Carlos Novo; Ricardo Morla ;
PUBLISHED: 2020, SOURCE: 13th ACM Workshop on Artificial Intelligence and Security, AISec 2020 in AISec@CCS 2020: Proceedings of the 13th ACM Workshop on Artificial Intelligence and Security, Virtual Event, USA, 13 November 2020., PAGES: 83-91
INDEXED IN: Scopus DBLP CrossRef
2025
TITLE: FOCAS: Penalising friendly citations to improve author ranking. penalising friendly citations to improve author ranking
AUTHORS: Jorge Silva ; David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 1852-1860
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2026
TITLE: 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
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: FM Workshops (1), VOLUME: 12232
INDEXED IN: DBLP CrossRef: 1
2027
TITLE: 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
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: FM Workshops (2), VOLUME: 12233
INDEXED IN: DBLP CrossRef: 2
2028
TITLE: Fostering Programming Practice through Games  Full Text
AUTHORS: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 11, PAGES: 498
INDEXED IN: Scopus WOS DBLP CrossRef: 10
2029
TITLE: Fostering soft and hard skills for innovation among informatics engineering students – An emancipatory approach
AUTHORS: Torres, MF ; Flores, N ; Torres, RT;
PUBLISHED: 2020, SOURCE: Journal of Innovation Management, VOLUME: 8, ISSUE: 1, PAGES: 20-38
INDEXED IN: Scopus CrossRef
2030
TITLE: Fraud Detection using Heavy Hitters: a Case Study. a case study
AUTHORS: Veloso, B ; Martins, C; Espanha, R; Azevedo, R; Gama, J ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 482-489
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2031
TITLE: From mobility data to habits and common pathways  Full Text
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: EXPERT SYSTEMS, VOLUME: 37, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 9
2032
TITLE: From Reinforcement Learning Towards Artificial General Intelligence
AUTHORS: Filipe Marinho Rocha; Vítor Santos Costa ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 401-413
INDEXED IN: Scopus DBLP CrossRef: 1
2033
TITLE: From Requirements to Automated Acceptance Tests with the RSL Language
AUTHORS: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 39-57
INDEXED IN: Scopus WOS DBLP CrossRef: 4
2034
TITLE: Fundão, Portugal: Using STEM Education to Help Build a New ICT Technopolis
AUTHORS: Aguiar, A ; Pereira, S;
PUBLISHED: 2020, SOURCE: STEM in the Technopolis: The Power of STEM Education in Regional Technology Policy, PAGES: 189-202
INDEXED IN: Scopus CrossRef
2035
TITLE: Gait Pattern Analysis with Accelerometer Data From a Smartphone in PAD Patients
AUTHORS: Renner, K; Filipe, V ; Pereira, LT; Silva, I; Abrantes, C; Paredes, H ;
PUBLISHED: 2020, SOURCE: 8th International Conference on E-Health and Bioengineering (EHB) in 2020 INTERNATIONAL CONFERENCE ON E-HEALTH AND BIOENGINEERING (EHB)
INDEXED IN: Scopus WOS CrossRef: 1
2036
TITLE: Game-Based Coding Challenges to Foster Programming Practice
AUTHORS: José Carlos Paiva ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 18:1-18:11
INDEXED IN: Scopus DBLP
2037
TITLE: Gamifying the Museological Experience PDF
AUTHORS: António Coelho ; Maria van Zeller; Pedro Cardoso; Liliana Santos; Roberto Vaz; José Raimundo;
PUBLISHED: 2020, SOURCE: 2020 XChange Reality!, XCR 2020 in XCR, VOLUME: 2618, PAGES: 5-8
INDEXED IN: Scopus DBLP
2039
TITLE: GEdIL-Gamified Education Interoperability Language  Full Text
AUTHORS: Swacha, J; Paiva, JC ; Leal, JP ; Queiros, R ; Montella, R; Kosta, S;
PUBLISHED: 2020, SOURCE: INFORMATION, VOLUME: 11, ISSUE: 6, PAGES: 287
INDEXED IN: Scopus WOS DBLP CrossRef: 8
2040
TITLE: Gender Differential Transcriptome in Gastric and Thyroid Cancers  Full Text
AUTHORS: Abel Sousa; Marta Ferreira; Carla Oliveira; Pedro G Ferreira ;
PUBLISHED: 2020, SOURCE: FRONTIERS IN GENETICS, VOLUME: 11
INDEXED IN: Scopus WOS CrossRef: 8

Results per Page: 20.
Page 102 of 414. Total results: 8279.