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

530 Team Members
Filters -> Year: 2025
361
TITLE: An adequacy theorem between mixed powerdomains and probabilistic concurrency
AUTHORS: Renato Neves ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2409.15920
INDEXED IN: DBLP
362
TITLE: An automated approach for binary classification on imbalanced data
AUTHORS: Vieira, Pedro Marques; Rodrigues, Fatima ;
PUBLISHED: 2024, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 66, ISSUE: 5, PAGES: 2747-2767
INDEXED IN: Scopus WOS CrossRef: 1
363
TITLE: An Online Repository for Educational Resources in HCI-Engineering
AUTHORS: Spano, Lucio Davide; Campos, Jose Creissac ; Dittmar, Anke; Forbrig, Peter;
PUBLISHED: 2024, SOURCE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in DESIGN FOR EQUALITY AND JUSTICE, INTERACT 2023, PT I, VOLUME: 14535, PAGES: 183-200
INDEXED IN: Scopus WOS CrossRef
364
TITLE: An Overview of Explainable Artificial Intelligence in the Industry 4.0 Context
AUTHORS: Teixeira, Pedro; Amorim, Eurico Vasco ; Nagel, Joeerg; Filipe, Vitor ;
PUBLISHED: 2024, SOURCE: 32nd International Conference on Flexible Automation and Intelligent Manufacturing in FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING: ESTABLISHING BRIDGES FOR MORE SUSTAINABLE MANUFACTURING SYSTEMS, FAIM 2023, VOL 1, PAGES: 141-148
INDEXED IN: Scopus WOS CrossRef: 2
366
TITLE: Analysis of Constructive Heuristics with Cuckoo Search Algorithm, Firefly Algorithm and Simulated Annealing in Scheduling Problems
AUTHORS: Moreira, Carlota; Costa, Catarina; Santos, Andre S.; Madureira, Ana M. ; Barbosa, Marta;
PUBLISHED: 2024, SOURCE: 32nd International Conference on Flexible Automation and Intelligent Manufacturing in FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING: ESTABLISHING BRIDGES FOR MORE SUSTAINABLE MANUFACTURING SYSTEMS, FAIM 2023, VOL 2, PAGES: 1130-1138
INDEXED IN: Scopus WOS CrossRef
367
TITLE: Analysis of Users' Digital Phenotyping to Infer and prevent mental health: a work in progress
AUTHORS: André Thiago Netto ; Dennis Paulino ; Artur Rocha ; Joana Ferreira de Raposo; Hugo Paredes ;
PUBLISHED: 2024, SOURCE: 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024 in Proceedings of the 11th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2024, Abu Dhabi, United Arab Emirates, November 13-15, 2024, PAGES: 143-146
INDEXED IN: Scopus DBLP CrossRef Unpaywall
368
TITLE: Analyzing Sao Paulo's Place Branding Positioning in Promotional Videos (2017-2019)
AUTHORS: Andrade, Jose Gabriel; Sampaio, Adriano; Garcia, Jorge Esparteiro ; Cairrao, Alvaro; da Fonseca, Manuel Jose Serra ;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 6, WORLDCIST 2024, VOLUME: 990, PAGES: 110-116
INDEXED IN: Scopus WOS CrossRef Handle
369
TITLE: And Justice for Art(ists): Metaphorical Design as a Method for Creating Culturally Diverse Human-AI Music Composition Experiences
AUTHORS: António Correia ; Daniel Schneider; Benjamim Fonseca ; Hesam Mohseni; Tuomo Kujala; Tommi Kärkkäinen;
PUBLISHED: 2024, SOURCE: HORA 2024 - 6th International Congress on Human-Computer Interaction, Optimization and Robotic Applications, Proceedings
INDEXED IN: Scopus CrossRef: 1 Unpaywall
370
TITLE: Anomaly detection-based undersampling for imbalanced classification problems  Full Text
AUTHORS: Park, You Jin; Brito, Paula ; Ma, Yun Chen;
PUBLISHED: 2024, SOURCE: ENGINEERING OPTIMIZATION, VOLUME: 56, ISSUE: 12, PAGES: 2565-2578
INDEXED IN: Scopus WOS CrossRef
371
TITLE: Anonymised Phone Call Dataset for Anomaly Detection
AUTHORS: Bruno Veloso ; Carlos Martins; Raphael Espanha; Paula Raissa Silva; Raul Azevedo; João Gama ;
PUBLISHED: 2024
INDEXED IN: DBLP
372
TITLE: APAtizer: a tool for alternative polyadenylation analysis of RNA-Seq data  Full Text
AUTHORS: Sousa, Bruno; Bessa, Maria; de Mendonca, Filipa L.; Ferreira, Pedro G. ; Moreira, Alexandra; Pereira Castro, Isabel;
PUBLISHED: 2024, SOURCE: BIOINFORMATICS, VOLUME: 40, ISSUE: 11
INDEXED IN: Scopus WOS CrossRef Unpaywall
373
TITLE: APITestGenie: Automated API Test Generation through Generative AI
AUTHORS: André Pereira; Bruno Lima; João Pascoal Faria ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2409.03838
INDEXED IN: DBLP
374
TITLE: Applying the LOT Methodology to Enhance the Cinematic Heritage Archives
AUTHORS: Alessandro Cosentino; Webert Júnio Araújo; Inês Koch ;
PUBLISHED: 2024, SOURCE: 16th International Conference on Knowledge Engineering and Ontology Development, KEOD 2024 as part of 16th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2024 in International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K - Proceedings, VOLUME: 2, PAGES: 183-190
INDEXED IN: Scopus CrossRef Unpaywall
375
TITLE: ARPocketLab-A Mobile Augmented Reality System for Pedagogic Applications
AUTHORS: Nunes, Miguel; Adao, Telmo; Shahrabadi, Somayeh; Capela, Antonio; Carneiro, Diana; Branco, Pedro; Magalhaes, Luis ; Morais, Raul; Peres, Emanuel ;
PUBLISHED: 2024, SOURCE: COMPUTERS, VOLUME: 13, ISSUE: 6, PAGES: 148
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
376
TITLE: Artificial Intelligence Approaches for Predictive Maintenance in the Steel Industry: A Survey
AUTHORS: Jakub Jakubowski; Natalia Wojak Strzelecka; Rita P Ribeiro ; Sepideh Pashami; Szymon Bobek; João Gama ; Grzegorz J Nalepa;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2405.12785
INDEXED IN: DBLP
377
378
TITLE: Assessing Soil Ripping Depth for Precision Forestry with a Cost-Effective Contactless Sensing System
AUTHORS: da Silva, Daniel Queiros ; Louro, Filipe; dos Santos, Filipe Neves ; Filipe, Vitor ; Sousa, Armando Jorge ; Cunha, Mario ; Carvalho, Jose Luis;
PUBLISHED: 2024, SOURCE: 6th Iberian Robotics Conference (Robot) in ROBOT 2023: SIXTH IBERIAN ROBOTICS CONFERENCE, VOL 2, VOLUME: 978, PAGES: 297-310
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
379
TITLE: Assessing the Clinical Efficacy of Virtual Reality Interventions in Post-Intensive Care Syndrome: A Systematic Review
AUTHORS: Inês Oliveira; André Torneiro; Rui Reis; Eva Oliveira; João Ferreira Coimbra; Hugo Paredes; Victòria Brugada Ramentol; Nicolas A. Morgenstern; António Coelho ; Nuno F. Rodrigues;
PUBLISHED: 2024
INDEXED IN: CrossRef Unpaywall
380
TITLE: Assessing the impact of hints in learning formal specification
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Campos, Jose Creissac ; Margolis, Iara; Sousa, Emanuel;
PUBLISHED: 2024, SOURCE: ACM/IEEE 44th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET) in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024, PAGES: 151-161
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 19 of 449. Total results: 8976.