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: 8103

531 Team Members
Filters -> Year: 2024
1901
TITLE: Factors that Influence the Use of Educational Software in Mathematics Teaching  Full Text
AUTHORS: Nunes, PS ; Maria M. Nascimento ; Catarino, P ; Martins, P ;
PUBLISHED: 2020, SOURCE: REICE-REVISTA IBEROAMERICANA SOBRE CALIDAD EFICACIA Y CAMBIO EN EDUCACION, VOLUME: 18, ISSUE: 3, PAGES: 113-129
INDEXED IN: Scopus WOS CrossRef: 4
1902
TITLE: Failure Detection of an Air Production Unit in Operational Context
AUTHORS: Mariana Barros; Bruno Veloso ; Pedro Mota Pereira; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2020, SOURCE: 2nd International Workshop on IoT Streams for Data-Driven Predictive Maintenance, IoT Streams 2020, and 1st International Workshop on IoT, Edge, and Mobile for Embedded Machine Learning, ITEM 2020, co-located with ECML/PKDD 2020 in IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning - Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Revised Selected Papers, VOLUME: 1325, PAGES: 61-74
INDEXED IN: Scopus DBLP CrossRef: 3
1903
TITLE: Fammeal: A Gamified Mobile Application for Parents and Children to Help Healthcare Centers Treat Childhood Obesity
AUTHORS: Afonso, L; Rodrigues, R ; Reis, E; Miller, K; Castro, J; Parente, N; Teixeira, C; Fraga, A; Torres, S;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON GAMES, VOLUME: 12, ISSUE: 4, PAGES: 351-360
INDEXED IN: WOS DBLP CrossRef
1904
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
1905
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
1907
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
1908
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
1909
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
1910
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
1911
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: 8
1912
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
1913
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
1914
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: 8
1915
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
1916
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
1917
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
1918
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
1919
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
1920
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

Results per Page: 20.
Página 96 de 406. Total de resultados: 8103.