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

531 Team Members
Filters -> Year: 2024
141
TÍTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PÁGINAS: 384-421
INDEXADO EM: Scopus WOS DBLP
142
TÍTULO: Foundations for a Rust-Like Borrow Checker for C
AUTORES: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 155-165
INDEXADO EM: Scopus WOS DBLP CrossRef
143
TÍTULO: Framework for adaptive serious games  Full Text
AUTORES: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto; Baptista, Ricardo Jose Vieira; Mamede, Henrique Sao ;
PUBLICAÇÃO: 2024, FONTE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 32, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
144
TÍTULO: From fault detection to anomaly explanation: A case study on predictive maintenance
AUTORES: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PÁGINAS: 100821
INDEXADO EM: Scopus WOS CrossRef Unpaywall
145
TÍTULO: From Random to Informed Data Selection: A Diversity-Based Approach to Optimize Human Annotation and Few-Shot Learning
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, PÁGINAS: 492-502
INDEXADO EM: DBLP
146
TÍTULO: Fundamentals of a Digital Marketing Plan for a Tourism Infrastructure in Alentejo
AUTORES: Popova, Mariia; Serra da Fonseca, Manuel Jose ; Garcia, Jorge Esparteiro ; Andrade, Jose Gabriel;
PUBLICAÇÃO: 2024, FONTE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PÁGINAS: 61-70
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
147
TÍTULO: Fusion of Time-of-Flight Based Sensors with Monocular Cameras for a Robotic Person Follower  Full Text
AUTORES: Sarmento, Jose ; dos Santos, Filipe Neves ; Aguiar, Andre Silva ; Filipe, Vitor ; Valente, Antonio ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 110, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef Unpaywall
148
TÍTULO: GAMAI, an AI-Powered Programming Exercise Gamifier Tool
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 485-493
INDEXADO EM: Scopus WOS DBLP CrossRef
149
TÍTULO: Game Theory for Predicting Stocks' Closing Prices  Full Text
AUTORES: Freitas, Joao Costa; Pinto, Alberto Adrego ; Felgueiras, Oscar ;
PUBLICAÇÃO: 2024, FONTE: MATHEMATICS, VOLUME: 12, NÚMERO: 17, PÁGINAS: 2676
INDEXADO EM: Scopus WOS CrossRef
150
TÍTULO: GANs in the Panorama of Synthetic Data Generation Methods. Application and Evaluation: Enhancing Fake News Detection with GAN-Generated Synthetic Data  Full Text
AUTORES: Bruno Vaz; Álvaro Figueira ;
PUBLICAÇÃO: 2024, FONTE: ACM Transactions on Multimedia Computing, Communications, and Applications
INDEXADO EM: CrossRef Unpaywall
151
TÍTULO: GDBN, a Customer-centric Digital Platform to Support the Value Chain of Flexibility Provision
AUTORES: Coelho, Fabio ; Rodrigues, Luis ; Mello, Joao; Villar, Jose ; Bessa, Ricardo ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on the European Energy Market (EEM) in 2024 20TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM 2024, VOLUME: 158, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
152
TÍTULO: GERF - Gamified Educational Virtual Escape Room Framework for Innovative Micro-Learning and Adaptive Learning Experiences
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2024, FONTE: 3rd International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2023 in Communications in Computer and Information Science, VOLUME: 1937 CCIS, PÁGINAS: 140-148
INDEXADO EM: Scopus CrossRef
153
TÍTULO: Guidelines for reproducible analysis of adaptive immune receptor repertoire sequencing data  Full Text
AUTORES: Peres, Ayelet; Klein, Vered; Frankel, Boaz; Lees, William; Polak, Pazit; Meehan, Mark; Rocha, Artur ; Correia Lopes, Joao ; Yaari, Gur;
PUBLICAÇÃO: 2024, FONTE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 25, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef Unpaywall
154
TÍTULO: Hardware Security for Internet of Things Identity Assurance  Full Text
AUTORES: Cirne, Andre ; Sousa, Patricia R.; Resende, Joao S. ; Antunes, Luis ;
PUBLICAÇÃO: 2024, FONTE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 26, NÚMERO: 2, PÁGINAS: 1041-1079
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
155
TÍTULO: HEIs teachers' and students' current experience of AI introduction in teaching and learning
AUTORES: Carla A Pinto ; Jorge P Mendonca; Lurdes Babo; Ricardo Queiros ; Mario Cruz; Daniela Mascarenhas;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 1-4
INDEXADO EM: Scopus CrossRef
157
TÍTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: David R Ferreira; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2024, FONTE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024, PÁGINAS: 400-401
INDEXADO EM: Scopus DBLP CrossRef
158
TÍTULO: How have the European Union countries approached the Europe 2020 targets?
AUTORES: Adelaide Figueiredo ; Fernanda Figueiredo ;
PUBLICAÇÃO: 2024, FONTE: Research in Statistics, VOLUME: 2, NÚMERO: 1, PÁGINAS: 1-12
INDEXADO EM: CrossRef Unpaywall
159
TÍTULO: Human-Centered Trustworthy Framework: A Human–Computer Interaction Perspective
AUTORES: Sousa, Sonia; Lamas, David; Cravino, Jose ; Martins, Paulo;
PUBLICAÇÃO: 2024, FONTE: COMPUTER, VOLUME: 57, NÚMERO: 3, PÁGINAS: 46-58
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
160
TÍTULO: Hybrid renewable energy system optimisation for application in the winemaking sector
AUTORES: Rita Teixeira; Adelaide Cerveira; Ana Silva; José Baptista ;
PUBLICAÇÃO: 2024, FONTE: 22nd IEEE Mediterranean Electrotechnical Conference, MELECON 2024 in 2024 IEEE 22nd Mediterranean Electrotechnical Conference, MELECON 2024, PÁGINAS: 272-277
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 8 de 414. Total de resultados: 8274.