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

535 Team Members
Filters -> Year: 2026
841
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
842
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
843
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
844
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
845
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
846
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
847
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
848
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
849
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
850
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
851
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
852
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: 1
853
TÍTULO: FRAFOL: FRAmework FOr Learning mutation testing
AUTORES: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 1846-1850
INDEXADO EM: Scopus WOS DBLP CrossRef
854
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: 6 Unpaywall
855
TÍTULO: Frequency, overlap and origins of palatal sonorants in three Iberian languages
AUTORES: Carlos Silva; Luís Trigo ;
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: 285-289
INDEXADO EM: DBLP Handle
856
TÍTULO: Friction Firestarter: A Toolkit for Designing Meaningful Friction in Game User Interfaces
AUTORES: Isabella Silva; Pedro Cardoso; Bruno Giesteira ;
PUBLICAÇÃO: 2024, FONTE: Springer Series in Design and Innovation, VOLUME: 33, PÁGINAS: 235-258
INDEXADO EM: Scopus CrossRef
857
TÍTULO: From fault detection to anomaly explanation: A case study on predictive maintenance  Full Text
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 DBLP CrossRef: 8 Unpaywall
858
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
859
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
860
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, PÁGINAS: 30
INDEXADO EM: Scopus WOS DBLP CrossRef: 7 Unpaywall

Results per Page: 20.
Página 43 de 533. Total de resultados: 10656.