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

535 Team Members
Filters -> Year: 2026
841
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: 12 Unpaywall
842
TÍTULO: Fair-OBNC: Correcting Label Noise for Fairer Datasets
AUTORES: Oliveira e Silva, Ines; Jesus, Sergio; Ferreira, Hugo; Saleiro, Pedro; Sousa, Ines; Bizarro, Pedro; Soares, Carlos ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence-ECAI-Biennial in ECAI 2024, VOLUME: 392, PÁGINAS: 1003-1010
INDEXADO EM: Scopus WOS DBLP
843
TÍTULO: FairMOE: counterfactually-fair mixture of experts with levels of interpretability
AUTORES: Joe Germino; Nuno Moniz ; Nitesh V Chawla;
PUBLICAÇÃO: 2024, FONTE: Mach. Learn., VOLUME: 113, NÚMERO: 9, PÁGINAS: 6539-6559
INDEXADO EM: DBLP
844
TÍTULO: Fast Explainability via Feasible Concept Sets Generator
AUTORES: Deng Pan; Nuno Moniz ; Nitesh V Chawla;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2405.18664
INDEXADO EM: DBLP
845
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: 12 Unpaywall
846
TÍTULO: Federated Online Learning for Heavy Hitter Detection
AUTORES: Silva, Paula ; Vinagre, Joao ; Gama, Joao ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence-ECAI-Biennial in ECAI 2024, VOLUME: 392, PÁGINAS: 4689-4695
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
847
TÍTULO: Finding Patterns in Ambiguity: Interpretable Stress Testing in the Decision Boundary
AUTORES: Inês Gomes; Luís F Teixeira ; Jan N van Rijn; Carlos Soares ; André Restivo ; Luís Cunha; Moisés Santos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2408.06302
INDEXADO EM: DBLP
848
TÍTULO: FlexiGen: Stochastic Dataset Generator for Electric Vehicle Charging Energy Flexibility
AUTORES: Bernardo Cabral; Tiago Fonseca; Clarisse Sousa; Luis Lino Ferreira ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2411.07040
INDEXADO EM: DBLP
849
TÍTULO: Floralens: a Deep Learning Model for the Portuguese Native Flora
AUTORES: António Filgueiras; Eduardo R B Marques ; Luís M B Lopes ; Miguel Marques; Hugo Silva;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2403.12072
INDEXADO EM: DBLP
850
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 CrossRef: 11
851
TÍTULO: Forecasting financial market structure from network features using machine learning  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
852
TÍTULO: Forecasting ocean hypoxia in salmonid fish farms
AUTORES: Vitor Cerqueira ; João Pimentel; Jennie Korus; Francisco Bravo; Joana Amorim; Mariana Oliveira; Andrew Swanson; Ramón Filgueira; Jon Grant; Luis Torgo;
PUBLICAÇÃO: 2024, FONTE: Frontiers in Aquaculture, VOLUME: 3
INDEXADO EM: CrossRef: 3
853
TÍTULO: Forest Fire Risk Prediction Using Machine Learning
AUTORES: Vilaças Nogueira, JD; Solteiro Pires, EJ ; Arsénio Reis; de B d Moura Oliveira ; António Pereira ; João Barroso ;
PUBLICAÇÃO: 2024, FONTE: 19th International Conference on Soft Computing Models in Industrial and Environmental Applications, SOCO 2024 in The 19th International Conference on Soft Computing Models in Industrial and Environmental Applications SOCO 2024 - Salamanca, Spain, October 9-11, 2024 Proceedings, Volume 2, VOLUME: 889, PÁGINAS: 221-230
INDEXADO EM: Scopus DBLP CrossRef: 1 Unpaywall
854
TÍTULO: Foreword
AUTORES: Luís Barbosa ; Moura, J.P.; Maximino Bessa ; Miguel Melo ;
PUBLICAÇÃO: 2024, FONTE: 6th International Conference on Graphics and Interaction, ICGI 2024 in ICGI 2024 - 6th International Conference on Graphics and Interaction, Proceedings
INDEXADO EM: Scopus
855
TÍTULO: FORMAÇÃO DE PROFESSORES-PESQUISADORES EM CONTEXTO HÍBRIDO E MULTIMODAL: DESAFIOS DA DOCÊNCIA NO STRICTO SENSU
AUTORES: Eliane Schlemmer ; Dorotea Frank Kersch; Lisiane Cézar de Oliveira;
PUBLICAÇÃO: 2024, FONTE: A UNIVERSIDADE NO PARADIGMA DA EDUCAÇÃO OnLIFE, PÁGINAS: 171-198
INDEXADO EM: CrossRef
856
TÍTULO: FORMAÇÃO DE PROFESSORES-PESQUISADORES NO PARADIGMA DA EDUCAÇÃO OnLIFE: O HABITAR CONECTIVO DO ENSINAR E DO APRENDER
AUTORES: Eliane Schlemmer ;
PUBLICAÇÃO: 2024, FONTE: A UNIVERSIDADE NO PARADIGMA DA EDUCAÇÃO OnLIFE, PÁGINAS: 199-241
INDEXADO EM: CrossRef
857
TÍTULO: FORMAÇÃO DOCENTE NO ENSINO SUPERIOR E NA PÓS-GRADUAÇÃO: DOS AVA/AVGS AO HIBRIDISMO
AUTORES: Eliane Schlemmer ;
PUBLICAÇÃO: 2024, FONTE: A UNIVERSIDADE NO PARADIGMA DA EDUCAÇÃO OnLIFE, PÁGINAS: 31-59
INDEXADO EM: CrossRef
858
TÍTULO: FORMAÇÃO DOCENTE NO ENSINO SUPERIOR E NA PÓS-GRADUAÇÃO: DOS ESPAÇOS DE CONVIVÊNCIA DIGITAIS VIRTUAIS À EDUCAÇÃO HÍBRIDA
AUTORES: Eliane Schlemmer ;
PUBLICAÇÃO: 2024, FONTE: A UNIVERSIDADE NO PARADIGMA DA EDUCAÇÃO OnLIFE, PÁGINAS: 61-108
INDEXADO EM: CrossRef
859
TÍTULO: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool  Full Text
AUTORES: Mendes, Pedro; Correia, Ricardo; Neves, Renato ; Proenca, Jose ;
PUBLICAÇÃO: 2024, FONTE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 411, PÁGINAS: 20-37
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
860
TÍTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. 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 CrossRef: 3

Results per Page: 20.
Página 43 de 534. Total de resultados: 10663.