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

531 Team Members
Filters -> Year: 2024
141
TÍTULO: Enhancing Object Detection in Maritime Environments Using Metadata
AUTORES: Fernandes, Diogo Samuel; Bispo, Joao ; Bento, Luis Conde; Figueiredo, Monica;
PUBLICAÇÃO: 2024, FONTE: 26th Iberoamerican Congress on Pattern Recognition (CIARP) in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, CIARP 2023, PT II, VOLUME: 14470, PÁGINAS: 76-89
INDEXADO EM: Scopus WOS DBLP CrossRef
142
TÍTULO: Enhancing Weather Forecasting Integrating LSTM and GA
AUTORES: Teixeira, Rita; Cerveira, Adelaide ; Pires, Eduardo J. Solteiro; Baptista, Jose ;
PUBLICAÇÃO: 2024, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 14, NÚMERO: 13, PÁGINAS: 5769
INDEXADO EM: Scopus WOS CrossRef
143
TÍTULO: Enriching Archival Linked Data Descriptions with Information from Wikidata and DBpedia
AUTORES: Koch, Ines ; Ribero, Cristina; Poveda Villalon, Maria; Rico, Mariano; Lopes, Carla Teixeira ;
PUBLICAÇÃO: 2024, FONTE: 28th International Conference on Linking Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, PT I, TPDL 2024, VOLUME: 15177, PÁGINAS: 396-412
INDEXADO EM: Scopus WOS DBLP CrossRef
144
TÍTULO: ESG in Advertising Narratives: Case Analysis of Golden Lion Winning Campaigns at Cannes 2022
AUTORES: de Araujo, Daniel Ladeira; Garcia, Jorge Esparteiro ; Serra da Fonseca, Manuel Jose ; 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: 43-50
INDEXADO EM: Scopus WOS DBLP CrossRef
146
TÍTULO: Evaluating Constrained Users Ability to Interact with Virtual Reality Applications
AUTORES: Ribeiro, Tiago; Henriques, Pedro Rangel; Oliveira, Eva ; Rodrigues, Nuno E.;
PUBLICAÇÃO: 2024, FONTE: IEEE 12th International Conference on Serious Games and Applications for Health (SeGAH) in 2024 IEEE 12TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH 2024, PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef
147
TÍTULO: Exercisify: An AI-Powered Statement Evaluator
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2024, FONTE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PÁGINAS: 19:1-19:6
INDEXADO EM: Scopus DBLP
148
TÍTULO: Expert Systems in Information Security: A Comprehensive Exploration of Awareness Strategies Against Social Engineering Attacks
AUTORES: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLICAÇÃO: 2024, FONTE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PÁGINAS: 34-43
INDEXADO EM: Scopus WOS
149
TÍTULO: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTORES: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLICAÇÃO: 2024, FONTE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PÁGINAS: 179-197
INDEXADO EM: Scopus WOS DBLP CrossRef
150
TÍTULO: Exploring Frama-C Resources by Verifying Space Software
AUTORES: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2024, FONTE: Computer Science Foundations and Applied Logic, PÁGINAS: 583-615
INDEXADO EM: CrossRef Unpaywall
151
TÍTULO: Exploring HEIs Students' Perceptions of Artificial Intelligence on their Learning Process
AUTORES: Lurdes Babo; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto; 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
INDEXADO EM: Scopus
152
TÍTULO: Exploring students' opinion on software testing courses
AUTORES: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLICAÇÃO: 2024, FONTE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, PÁGINAS: 570-579
INDEXADO EM: Scopus WOS DBLP CrossRef
153
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Sandra Alves ; Delia Kesner; Miguel Ramos ;
PUBLICAÇÃO: 2024, FONTE: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024 in Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194, PÁGINAS: 84-105
INDEXADO EM: Scopus DBLP
154
TÍTULO: Factors Affecting Cloud Computing Adoption in the Education Context-Systematic Literature Review
AUTORES: Santos, Antonio; Martins, Jose; Pestana, Pedro Duarte; Goncalves, Ramiro; Mamede, Henrique Sao ; Branco, Frederico ;
PUBLICAÇÃO: 2024, FONTE: IEEE ACCESS, VOLUME: 12, PÁGINAS: 71641-71674
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
155
TÍTULO: Federated Learning in Medical Image Analysis: A Systematic Survey  Full Text
AUTORES: da Silva, Fabiana Rodrigues; Camacho, Rui ; João Manuel R. S. Tavares;
PUBLICAÇÃO: 2024, FONTE: ELECTRONICS, VOLUME: 13, NÚMERO: 1, PÁGINAS: 47
INDEXADO EM: Scopus WOS CrossRef Unpaywall
156
TÍTULO: Federated Online Learning for Heavy Hitter Detection
AUTORES: Paula Raissa Silva; João Vinagre; João Gama ;
PUBLICAÇÃO: 2024, FONTE: ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), VOLUME: 392, PÁGINAS: 4689-4695
INDEXADO EM: DBLP CrossRef
157
TÍTULO: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTORES: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLICAÇÃO: 2024, FONTE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
INDEXADO EM: DBLP
158
TÍTULO: Forecasting financial market structure from network features using machine learning
AUTORES: Douglas Castilho; Thársis T P Souza; Soong Moon Kang; João Gama ; André C P L F de Carvalho;
PUBLICAÇÃO: 2024, FONTE: Knowl. Inf. Syst., VOLUME: 66, NÚMERO: 8, PÁGINAS: 4497-4525
INDEXADO EM: DBLP
159
TÍTULO: Forecasting financial market structure from network features using machine learning PDF  Full Text
AUTORES: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLICAÇÃO: 2024, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 66, NÚMERO: 8, PÁGINAS: 4497-4525
INDEXADO EM: Scopus WOS DBLP arXiv
160
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

Results per Page: 20.
Página 8 de 422. Total de resultados: 8435.