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

536 Team Members
Filters -> Year: 2026
481
TÍTULO: Jazzline: Composable CryptoLine Functional Correctness Proofs for Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles; Blatter, Lionel; Delerue, Gustavo; Duarte, Joao Diogo; Gregoire, Benjamin; Oliveira, Tiago; Quaresma, Miguel; Strub, Pierre Yves; Tsai, Ming Hsien; Wang, Bow Yaw; Yang, Bo Yin;
PUBLICAÇÃO: 2025, FONTE: 32nd Conference on Computer and Communications Security-CCS in PROCEEDINGS OF THE 2025 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2025, PÁGINAS: 1409-1423
INDEXADO EM: WOS DBLP
482
TÍTULO: Justice or Prejudice? Quantifying Biases in LLM-as-a-Judge
AUTORES: Jiayi Ye; Yanbo Wang; Yue Huang; Dongping Chen; Qihui Zhang; Nuno Moniz ; Tian Gao; Werner Geyer; Chao Huang; Pin Yu Chen; Nitesh V Chawla; Xiangliang Zhang;
PUBLICAÇÃO: 2025, FONTE: ICLR
INDEXADO EM: DBLP
483
TÍTULO: KDBI special issue: Explainability feature selection framework application for LSTM multivariate time-series forecast self optimization  Full Text
AUTORES: Rodrigues, Eduardo M.; Baghoussi, Yassine; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
484
TÍTULO: KDBI special issue: Time-series pattern verification in CNC turning-A comparative study of one-class and binary classification
AUTORES: da Silva, Joao Pinto ; Nogueira, Ana Rita ; Pinto, Jose ; Curral, Manuel; Alves, Antonio Correia; Sousa, Ricardo ;
PUBLICAÇÃO: 2025, FONTE: EXPERT SYSTEMS, VOLUME: 42, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
485
TÍTULO: KEIGO: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy PDF
AUTORES: Adao, Ruben; Wu, Zhongjie; Zhou, Changjun; Balmau, Oana; Paulo, Joao ; Macedo, Ricardo ;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE VLDB ENDOWMENT, VOLUME: 18, NÚMERO: 9, PÁGINAS: 2872-2885
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef DataCite Unpaywall
486
TÍTULO: Keigo: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy (Extended Version)
AUTORES: Rúben Adão; Zhongjie Wu; Changjun Zhou; Oana Balmau; João Paulo ; Ricardo Macedo;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.14630
INDEXADO EM: DBLP
487
TÍTULO: L-GTA: Latent Generative Modeling for Time Series Augmentation
AUTORES: Luis Roque; Carlos Soares ; vitor cerqueira ; Luís Torgo ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.23615
INDEXADO EM: DBLP
488
TÍTULO: Land Surface Influence on Boundary Layer Air over the Atlantic Ocean from Environmental Radioactivity  Full Text
AUTORES: Dias, Nuno ; Barbosa, Susana ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF APPLIED METEOROLOGY AND CLIMATOLOGY, VOLUME: 64, NÚMERO: 8, PÁGINAS: 933-942
INDEXADO EM: Scopus WOS CrossRef
489
TÍTULO: Large Language Model-Based Generation of Discharge Summaries
AUTORES: Tiago Rodrigues; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2512.06812
INDEXADO EM: DBLP
490
TÍTULO: Large Language Models and Intelligent Agents in Education
AUTORES: Walkir T Brito; António Paulino; Mateus Mendes; Arsénio Reis ;
PUBLICAÇÃO: 2025, FONTE: 4th International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2024 in Communications in Computer and Information Science, VOLUME: 2479 CCIS, PÁGINAS: 118-131
INDEXADO EM: Scopus CrossRef
491
TÍTULO: Layer-based management of collaborative interior design in extended reality  Full Text
AUTORES: Pintani, Deborah; Caputo, Ariel; Mendes, Daniel ; Giachetti, Andrea;
PUBLICAÇÃO: 2025, FONTE: BEHAVIOUR & INFORMATION TECHNOLOGY, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS CrossRef Unpaywall
492
TÍTULO: Leakage-Free Probabilistic Jasmin Programs
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PÁGINAS: 3-16
INDEXADO EM: Scopus WOS DBLP CrossRef
493
TÍTULO: LegionITS: A Federated Intrusion-Tolerant System Architecture
AUTORES: Tadeu Freitas; Carlos Novo; Manuel Eduardo Correia ; Rolando Martins;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2512.14242
INDEXADO EM: DBLP
494
TÍTULO: Let's Talk About It: Making Scientific Computational Reproducibility Easier
AUTORES: Lázaro Costa; Susana Barbosa ; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, VL-HCC 2025 in VL/HCC, PÁGINAS: 46-56
INDEXADO EM: Scopus DBLP
495
TÍTULO: Leveraging Artificial Intelligence to Bridge Gaps in Pediatric Oncology Care for Marginalized Spanish-Speaking Communities
AUTORES: Grigorii Khvatskii; Angélica García Martínez; Deng Pan; Matthew Belcher; Gerónimo Medrano Loera; Dayana Pineda Pérez; Juan Emmanuel Ferrari Muñoz Ledo; Horacio Márquez González; Nuno Moniz ; Nitesh V Chawla;
PUBLICAÇÃO: 2025, FONTE: IJCAI, PÁGINAS: 9763-9771
INDEXADO EM: DBLP
496
TÍTULO: Leveraging Feature Extraction to Perform Time-Efficient Selection for Machine Learning Applications
AUTORES: Coelho, Duarte; Madureira, Ana ; Pereira, Ivo ; Goncalves, Ramiro ; Nicola, Susana; Cesar, Ines; de Oliveira, Daniel Alves;
PUBLICAÇÃO: 2025, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 15, NÚMERO: 15, PÁGINAS: 8196
INDEXADO EM: Scopus WOS CrossRef
497
TÍTULO: Leveraging LLMs to Improve Human Annotation Efficiency with INCEpTION
AUTORES: Luís Filipe Cunha ; Nana Yu; Purificação Silvano ; Ricardo Campos ; Alípio Jorge ;
PUBLICAÇÃO: 2025, FONTE: ECIR (5), VOLUME: 15576 LNCS, PÁGINAS: 53-58
INDEXADO EM: Scopus DBLP CrossRef: 1
498
TÍTULO: Leveraging Synthetic Data to Develop a Machine Learning Model for Voiding Flow Rate Prediction From Audio Signals
AUTORES: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo ; Gomes, EF ; Jorge, Alipio M. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 127240-127251
INDEXADO EM: Scopus WOS DBLP CrossRef
499
TÍTULO: Lightweight Performance Monitoring of Real-Time Applications in RISC-V Platforms
AUTORES: Soares, Nuno; Carvalho, Tiago ; Pinho, Luis M. ;
PUBLICAÇÃO: 2025, FONTE: 28th Euromicro Conference on Digital System Design-DSD in 2025 28TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, DSD, PÁGINAS: 402-409
INDEXADO EM: Scopus WOS CrossRef Unpaywall
500
TÍTULO: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTORES: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PÁGINAS: 21-28
INDEXADO EM: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Página 25 de 533. Total de resultados: 10643.