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: 10664
535 Team MembersFilters -> Year: 2026
861
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
862
TITLE: FRAFOL: FRAmework FOr Learning mutation testing
AUTHORS: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, PAGES: 1846-1850
AUTHORS: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, PAGES: 1846-1850
863
TITLE: Framework for adaptive serious games Full Text
AUTHORS: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto ; Baptista, Ricardo Jose Vieira ; Mamede, Henrique Sao ;
PUBLISHED: 2024, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 32, ISSUE: 4
AUTHORS: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto ; Baptista, Ricardo Jose Vieira ; Mamede, Henrique Sao ;
PUBLISHED: 2024, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 32, ISSUE: 4
864
TITLE: Frequency, overlap and origins of palatal sonorants in three Iberian languages
AUTHORS: Carlos Silva; Luís Trigo ;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 285-289
AUTHORS: Carlos Silva; Luís Trigo ;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 285-289
INDEXED IN:
DBLP
Handle
Handle865
TITLE: Friction Firestarter: A Toolkit for Designing Meaningful Friction in Game User Interfaces
AUTHORS: Isabella Silva; Pedro Cardoso; Bruno Giesteira ;
PUBLISHED: 2024, SOURCE: Springer Series in Design and Innovation, VOLUME: 33, PAGES: 235-258
AUTHORS: Isabella Silva; Pedro Cardoso; Bruno Giesteira ;
PUBLISHED: 2024, SOURCE: Springer Series in Design and Innovation, VOLUME: 33, PAGES: 235-258
INDEXED IN:
Scopus
CrossRef
CrossRef866
TITLE: From fault detection to anomaly explanation: A case study on predictive maintenance Full Text
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLISHED: 2024, SOURCE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PAGES: 100821
867
TITLE: From Random to Informed Data Selection: A Diversity-Based Approach to Optimize Human Annotation and Few-Shot Learning
AUTHORS: Alexandre Alcoforado; Lucas Hideki Okamura; Israel Campos Fama; Bárbara Fernandes Dias Bueno; Arnold Moya Lavado; Thomas Palmeira Ferraz; Bruno Veloso ; Anna Helena Reali Costa;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 492-502
AUTHORS: Alexandre Alcoforado; Lucas Hideki Okamura; Israel Campos Fama; Bárbara Fernandes Dias Bueno; Arnold Moya Lavado; Thomas Palmeira Ferraz; Bruno Veloso ; Anna Helena Reali Costa;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PAGES: 492-502
INDEXED IN:
DBLP
868
TITLE: Fundamentals of a Digital Marketing Plan for a Tourism Infrastructure in Alentejo
AUTHORS: Popova, Mariia; Serra da Fonseca, Manuel Jose ; Garcia, Jorge Esparteiro ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 61-70
AUTHORS: Popova, Mariia; Serra da Fonseca, Manuel Jose ; Garcia, Jorge Esparteiro ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 61-70
869
TITLE: Fusion of Time-of-Flight Based Sensors with Monocular Cameras for a Robotic Person Follower Full Text
AUTHORS: Sarmento, Jose ; dos Santos, Filipe Neves ; Aguiar, Andre Silva ; Filipe, Vitor ; Valente, Antonio ;
PUBLISHED: 2024, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 110, ISSUE: 1, PAGES: 30
AUTHORS: Sarmento, Jose ; dos Santos, Filipe Neves ; Aguiar, Andre Silva ; Filipe, Vitor ; Valente, Antonio ;
PUBLISHED: 2024, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 110, ISSUE: 1, PAGES: 30
870
TITLE: GAMAI, an AI-Powered Programming Exercise Gamifier Tool
AUTHORS: Montella, Raffaele; De Vita, Ciro Giuseppe; Mellone, Gennaro; Ciricillo, Tullio; Caramiello, Dario; Di Luccio, Diana; Kosta, Sokol; Damasevicius, Robertas; Maskeliunas, Rytis; Queiros, Ricardo ; Swacha, Jakub;
PUBLISHED: 2024, SOURCE: 25th International Conference on Artificial Intelligence in Education (AIED) in ARTIFICIAL INTELLIGENCE IN EDUCATION: POSTERS AND LATE BREAKING RESULTS, WORKSHOPS AND TUTORIALS, INDUSTRY AND INNOVATION TRACKS, PRACTITIONERS, DOCTORAL CONSORTIUM AND BLUE SKY, AIED 2024, PT I, VOLUME: 2150, PAGES: 485-493
AUTHORS: Montella, Raffaele; De Vita, Ciro Giuseppe; Mellone, Gennaro; Ciricillo, Tullio; Caramiello, Dario; Di Luccio, Diana; Kosta, Sokol; Damasevicius, Robertas; Maskeliunas, Rytis; Queiros, Ricardo ; Swacha, Jakub;
PUBLISHED: 2024, SOURCE: 25th International Conference on Artificial Intelligence in Education (AIED) in ARTIFICIAL INTELLIGENCE IN EDUCATION: POSTERS AND LATE BREAKING RESULTS, WORKSHOPS AND TUTORIALS, INDUSTRY AND INNOVATION TRACKS, PRACTITIONERS, DOCTORAL CONSORTIUM AND BLUE SKY, AIED 2024, PT I, VOLUME: 2150, PAGES: 485-493
871
TITLE: Game Theory for Predicting Stocks' Closing Prices Full Text
AUTHORS: Freitas, Joao Costa; Pinto, Alberto Adrego ; Felgueiras, Oscar ;
PUBLISHED: 2024, SOURCE: MATHEMATICS, VOLUME: 12, ISSUE: 17, PAGES: 2676
AUTHORS: Freitas, Joao Costa; Pinto, Alberto Adrego ; Felgueiras, Oscar ;
PUBLISHED: 2024, SOURCE: MATHEMATICS, VOLUME: 12, ISSUE: 17, PAGES: 2676
872
TITLE: GDBN, a Customer-centric Digital Platform to Support the Value Chain of Flexibility Provision
AUTHORS: Coelho, Fabio ; Rodrigues, Luis ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 158, PAGES: 1-6
AUTHORS: Coelho, Fabio ; Rodrigues, Luis ; Mello, Joao ; Villar, Jose ; Bessa, Ricardo ;
PUBLISHED: 2024, SOURCE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 158, PAGES: 1-6
873
TITLE: GERF - Gamified Educational Virtual Escape Room Framework for Innovative Micro-Learning and Adaptive Learning Experiences
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2024, SOURCE: 3rd International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2023 in Communications in Computer and Information Science, VOLUME: 1937 CCIS, PAGES: 140-148
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2024, SOURCE: 3rd International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2023 in Communications in Computer and Information Science, VOLUME: 1937 CCIS, PAGES: 140-148
INDEXED IN:
Scopus
CrossRef
CrossRef874
TITLE: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
AUTHORS: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: ERCIM NEWS, VOLUME: 139, ISSUE: 139
INDEXED IN:
WOS
DBLP
875
TITLE: Good Practices for Designing a UI/UX Motorcycle Display: A Systematic Literature Review
AUTHORS: Miguel Lehman; Ricardo Rodrigues Nunes; João Barroso ; Tânia Rocha;
PUBLISHED: 2024, SOURCE: WSEAS Transactions on Information Science and Applications, VOLUME: 21, PAGES: 499-508
AUTHORS: Miguel Lehman; Ricardo Rodrigues Nunes; João Barroso ; Tânia Rocha;
PUBLISHED: 2024, SOURCE: WSEAS Transactions on Information Science and Applications, VOLUME: 21, PAGES: 499-508
876
TITLE: Guana IA Project: innovation in teaching endangered languages; [Projeto Guaná IA: inovação no ensino de línguas em risco]; [Proyecto Guaná IA: innovación en la enseñanza de la lengua en riesgo]
AUTHORS: Derlis Ortiz; Rubens Lacerda de Sá; Luis Trigo ; José Pichel;
PUBLISHED: 2024, SOURCE: Lengua y Sociedad, VOLUME: 23, ISSUE: 2, PAGES: 945-961
AUTHORS: Derlis Ortiz; Rubens Lacerda de Sá; Luis Trigo ; José Pichel;
PUBLISHED: 2024, SOURCE: Lengua y Sociedad, VOLUME: 23, ISSUE: 2, PAGES: 945-961
INDEXED IN:
Scopus
CrossRef
CrossRef877
TITLE: Guidelines for reproducible analysis of adaptive immune receptor repertoire sequencing data Full Text
AUTHORS: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLISHED: 2024, SOURCE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, ISSUE: 3
AUTHORS: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLISHED: 2024, SOURCE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, ISSUE: 3
878
TITLE: HAL 9000: a Risk Manager for ITSs
AUTHORS: Freitas, Tadeu ; Novo, Carlos; Soares, Joao ; Dutra, Ines ; Correia, Manuel E. ; Shariati, Behnam; Martins, Rolando ;
PUBLISHED: 2024, SOURCE: 6th International Conference on Trust Privacy and Security in Intelligent Systems and Applications in 2024 IEEE 6TH INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS, AND APPLICATIONS, TPS-ISA, PAGES: 322-331
AUTHORS: Freitas, Tadeu ; Novo, Carlos; Soares, Joao ; Dutra, Ines ; Correia, Manuel E. ; Shariati, Behnam; Martins, Rolando ;
PUBLISHED: 2024, SOURCE: 6th International Conference on Trust Privacy and Security in Intelligent Systems and Applications in 2024 IEEE 6TH INTERNATIONAL CONFERENCE ON TRUST, PRIVACY AND SECURITY IN INTELLIGENT SYSTEMS, AND APPLICATIONS, TPS-ISA, PAGES: 322-331
879
TITLE: Hardware Security for Internet of Things Identity Assurance Full Text
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2024, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, ISSUE: 2, PAGES: 1041-1079
AUTHORS: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2024, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, ISSUE: 2, PAGES: 1041-1079
880
TITLE: HEIs teachers' and students' current experience of AI introduction in teaching and learning
AUTHORS: Carla A Pinto ; Jorge P Mendonca; Lurdes Babo ; Ricardo Queiros ; Mario Cruz ; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-4
AUTHORS: Carla A Pinto ; Jorge P Mendonca; Lurdes Babo ; Ricardo Queiros ; Mario Cruz ; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PAGES: 1-4
INDEXED IN:
Scopus
CrossRef
CrossRef