CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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
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!
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!
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!
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: 10637
536 Team MembersFilters -> Year: 2026
1261
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: MFPS
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: MFPS
INDEXED IN: 
DBLP
DBLP1262
TITLE: A Computer Vision Approach for Level Measurement of Refilling Stations in Industrial Scenarios
AUTHORS: José Ribeiro; Rui Pinheiro; Paulo Nogueira; Arsénio Reis ; Vitor Filipe ;
PUBLISHED: 2023, SOURCE: 20th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2023 in Lecture Notes in Networks and Systems, VOLUME: 741 LNNS, PAGES: 312-321
AUTHORS: José Ribeiro; Rui Pinheiro; Paulo Nogueira; Arsénio Reis ; Vitor Filipe ;
PUBLISHED: 2023, SOURCE: 20th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2023 in Lecture Notes in Networks and Systems, VOLUME: 741 LNNS, PAGES: 312-321
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1263
TITLE: A congestion-based local search for transmission expansion planning problems
AUTHORS: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLISHED: 2023, SOURCE: Swarm Evol. Comput., VOLUME: 83, PAGES: 101422
AUTHORS: Phillipe V Gomes; Luiz Eduardo de Oliveira; João Saraiva ;
PUBLISHED: 2023, SOURCE: Swarm Evol. Comput., VOLUME: 83, PAGES: 101422
INDEXED IN: DBLP
DBLP1264
TITLE: A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C plus plus Applications
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) in 2023 32ND INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT, PAGES: 320-322
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) in 2023 32ND INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT, PAGES: 320-322
1265
TITLE: A Deep Learning approach to infer morphological characteristics of the heart from cardiac sound analysis
AUTHORS: Andrade, Luis; Camacho, Rui ; Oliveira, Jorge;
PUBLISHED: 2023, SOURCE: 13th International Conference on Bioscience, Biochemistry and Bioinformatics (ICBBB) in 2023 13TH INTERNATIONAL CONFERENCE ON BIOSCIENCE, BIOCHEMISTRY AND BIOINFORMATICS, ICBBB 2023, PAGES: 63-67
AUTHORS: Andrade, Luis; Camacho, Rui ; Oliveira, Jorge;
PUBLISHED: 2023, SOURCE: 13th International Conference on Bioscience, Biochemistry and Bioinformatics (ICBBB) in 2023 13TH INTERNATIONAL CONFERENCE ON BIOSCIENCE, BIOCHEMISTRY AND BIOINFORMATICS, ICBBB 2023, PAGES: 63-67
1266
TITLE: A Deep Learning Approach to Monitoring Workers’ Stress at Office
AUTHORS: Rodrigues, F ; Marchetti, J;
PUBLISHED: 2023, SOURCE: 13th International Conference on Innovations in Bio-Inspired Computing and Applications, IBICA 2022, and 12th World Congress on Information and Communication Technologies, WICT 2022 in Lecture Notes in Networks and Systems, VOLUME: 649 LNNS, PAGES: 734-743
AUTHORS: Rodrigues, F ; Marchetti, J;
PUBLISHED: 2023, SOURCE: 13th International Conference on Innovations in Bio-Inspired Computing and Applications, IBICA 2022, and 12th World Congress on Information and Communication Technologies, WICT 2022 in Lecture Notes in Networks and Systems, VOLUME: 649 LNNS, PAGES: 734-743
1267
TITLE: A DSL-based runtime adaptivity framework for Java
AUTHORS: Carvalho, Tiago ; Bispo, Joao ; Pinto, Pedro; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: SOFTWAREX, VOLUME: 23, PAGES: 101496
AUTHORS: Carvalho, Tiago ; Bispo, Joao ; Pinto, Pedro; Cardoso, Joao M. P. ;
PUBLISHED: 2023, SOURCE: SOFTWAREX, VOLUME: 23, PAGES: 101496
1268
TITLE: A DTW Approach for Complex Data A Case Study with Network Data Streams
AUTHORS: Silva, Paula Raissa ; Vinagre, Joao ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 402-409
AUTHORS: Silva, Paula Raissa ; Vinagre, Joao ; Gama, Joao ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 402-409
1269
TITLE: A flow-based intrusion detection framework for internet of things networks
AUTHORS: Santos, L; Gonçalves, R ; Rabadao, C ; Martins, J ;
PUBLISHED: 2023, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 26, ISSUE: 1, PAGES: 37-57
AUTHORS: Santos, L; Gonçalves, R ; Rabadao, C ; Martins, J ;
PUBLISHED: 2023, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 26, ISSUE: 1, PAGES: 37-57
1270
TITLE: A Game with a Purpose for Building Crowdsourced Semantic Relations Datasets for Named Entities
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: Proceedings of the Computing Conference 2023 in Lecture Notes in Networks and Systems, VOLUME: 739 LNNS, PAGES: 422-439
AUTHORS: André Fernandes dos Santos ; José Paulo Leal ;
PUBLISHED: 2023, SOURCE: Proceedings of the Computing Conference 2023 in Lecture Notes in Networks and Systems, VOLUME: 739 LNNS, PAGES: 422-439
INDEXED IN: Scopus CrossRef
Scopus CrossRef1271
TITLE: A Gamified Educational Escape Rooms' Framework for Computer Programming Classes (Short Paper)
AUTHORS: Ricardo Queirós ; Carla M A Pinto ; Mário Cruz; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 6:1-6:8
AUTHORS: Ricardo Queirós ; Carla M A Pinto ; Mário Cruz; Daniela Mascarenhas;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 6:1-6:8
INDEXED IN: Scopus DBLP
Scopus DBLP1272
TITLE: A global taxonomy of interpretable AI: unifying the terminology for the technical and social sciences Full Text
AUTHORS: Graziani, Mara; Dutkiewicz, Lidia; Calvaresi, Davide; Amorim, Jose Pereira; Yordanova, Katerina; Vered, Mor; Nair, Rahul; Abreu, Pedro Henriques ; Blanke, Tobias; Pulignano, Valeria; Prior, John O.; Lauwaert, Lode; Reijers, Wessel; Depeursinge, Adrien; Andrearczyk, Vincent; Muller, Henning;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 56, ISSUE: 4, PAGES: 3473-3504
AUTHORS: Graziani, Mara; Dutkiewicz, Lidia; Calvaresi, Davide; Amorim, Jose Pereira; Yordanova, Katerina; Vered, Mor; Nair, Rahul; Abreu, Pedro Henriques ; Blanke, Tobias; Pulignano, Valeria; Prior, John O.; Lauwaert, Lode; Reijers, Wessel; Depeursinge, Adrien; Andrearczyk, Vincent; Muller, Henning;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 56, ISSUE: 4, PAGES: 3473-3504
1273
TITLE: A Human-Computer Interaction Perspective on Clinical Decision Support Systems: A Systematic Review of Usability, Barriers, and Recommendations for Improvement
AUTHORS: Ferreira, Goncalo; Oliveira, Eva; Stamper, John; Coelho, Antonio ; Paredes, Hugo ; Rodrigues, Nuno F. ;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-8
AUTHORS: Ferreira, Goncalo; Oliveira, Eva; Stamper, John; Coelho, Antonio ; Paredes, Hugo ; Rodrigues, Nuno F. ;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-8
1274
TITLE: A Hybrid BRKGA for Joint Scheduling Production, Transport, and Storage/Retrieval in Flexible Job Shops
AUTHORS: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ; Fontes, Fernando A. C. C. ;
PUBLISHED: 2023, SOURCE: Genetic and Evolutionary Computation Conference (GECCO) in PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION, GECCO 2023 COMPANION, PAGES: 211-214
AUTHORS: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ; Fontes, Fernando A. C. C. ;
PUBLISHED: 2023, SOURCE: Genetic and Evolutionary Computation Conference (GECCO) in PROCEEDINGS OF THE 2023 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION, GECCO 2023 COMPANION, PAGES: 211-214
1275
TITLE: A hybrid human-AI tool for scientometric analysis
AUTHORS: Correia, Antonio ; Grover, Andrea; Jameel, Shoaib; Schneider, Daniel; Antunes, Pedro; Fonseca, Benjamim ;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 56, ISSUE: SUPPL 1, PAGES: 983-1010
AUTHORS: Correia, Antonio ; Grover, Andrea; Jameel, Shoaib; Schneider, Daniel; Antunes, Pedro; Fonseca, Benjamim ;
PUBLISHED: 2023, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 56, ISSUE: SUPPL 1, PAGES: 983-1010
1276
TITLE: A hybrid particle swarm optimization and simulated annealing algorithm for the job shop scheduling problem with transport resources
AUTHORS: Fontes, Dalila B. M. M. ; Homayouni, S. Mahdi ; Goncalves, Jose F. ;
PUBLISHED: 2023, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 306, ISSUE: 3, PAGES: 1140-1157
AUTHORS: Fontes, Dalila B. M. M. ; Homayouni, S. Mahdi ; Goncalves, Jose F. ;
PUBLISHED: 2023, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 306, ISSUE: 3, PAGES: 1140-1157
1277
TITLE: A integração de Ciência Cidadã no fluxo da produção científica nas áreas das humanidades e ciências sociais
AUTHORS: Vera M d Almeida; Carlos S e Silva; Luís Trigo ;
PUBLISHED: 2023
AUTHORS: Vera M d Almeida; Carlos S e Silva; Luís Trigo ;
PUBLISHED: 2023
INDEXED IN: 
Handle
Handle1278
TITLE: A Intervenção da Nutrição como método para melhorar a Fertilidade Feminina
AUTHORS: Martins AC.; Flora Correia; Bruno M P M Oliveira ;
PUBLISHED: 2023
AUTHORS: Martins AC.; Flora Correia; Bruno M P M Oliveira ;
PUBLISHED: 2023
INDEXED IN: Handle
Handle1279
TITLE: A lean approach to robotic process automation in banking
AUTHORS: Mamede, Henrique S. ; Martins, Carina Maria Gonsalves; Miguel Mira da Silva;
PUBLISHED: 2023, SOURCE: HELIYON, VOLUME: 9, ISSUE: 7
AUTHORS: Mamede, Henrique S. ; Martins, Carina Maria Gonsalves; Miguel Mira da Silva;
PUBLISHED: 2023, SOURCE: HELIYON, VOLUME: 9, ISSUE: 7
1280
TITLE: A linguística comparativa ibérica na sala de aula com recurso a métodos de investigação digital
AUTHORS: Carlos S e Silva; Luís Trigo ; José R Pichel; Vera M d Almeida;
PUBLISHED: 2023
AUTHORS: Carlos S e Silva; Luís Trigo ; José R Pichel; Vera M d Almeida;
PUBLISHED: 2023
INDEXED IN: Handle
Handle