João F. Ferreira - Publications, H-index & Citations

João F. Ferreira

University of Porto

15H指数

97论文数

1.3K被引数

收录论文 5

发表时间

Benchmarking Prompt Engineering Against Fine-Tuning for Multi-Label Vulnerability Detection in Solidity Smart Contracts: An Empirical Study 对比提示工程与微调在Solidity智能合约多标签漏洞检测中的基准研究：一项实证研究

IEEE Access

IF3.6

2026-09-08

OAAI

Badaruddin Chachar; Joao F. Ferreira; Marc Cavazza; Pietro Ferrara; Agostino Cortesi

Are Users More Willing to Use Formally Verified Password Managers?用户是否更愿意使用形式化验证的密码管理器？

SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025

IF0

2026-01-01

PREAI

Carreira, Carolina; Ferreira, Joao F.; Mendes, Alexandra; Christin, Nicolas

Evolution of automated weakness detection in Ethereum bytecode: a comprehensive study 以太坊字节码中自动弱点检测的演变: 一项综合研究

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2024-02-02

OAAI

di Angelo, Monika; Durieux, Thomas; Ferreira, Joao F.; Salzer, Gernot

Integrating an academic management system with blockchain: A case study

BLOCKCHAIN-RESEARCH AND APPLICATIONS

IF5.6

2022-12-01

OAAI

Guerreiro, Sergio; Ferreira, Joao F.; Fonseca, Tiago; Correia, Miguel

Influence of nitrogen content on the structural, mechanical and electrical properties of TiN thin films

SURFACE & COATINGS TECHNOLOGY

IF6.1

2005-02-01

168

OAAI

Vaz, F; Ferreira, J; Ribeiro, E; Rebouta, L; Lanceros-Méndez, S; Mendes, JA; Alves, E; Goudeau, P; Rivière, JP; Ribeiro, F; Moutinho, I; Pischow, K; de Rijk, J

研究方向