Concepedia

João F. Ferreira

JF

18

Publications

996

Citations

14

H-Index

2004

Active since

Affiliations

University of Lisbon(Current)

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Teesside University

University of Minho

TU Wien

João F. Ferreira is an author at University of Lisbon specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringSoftware DesignSystem SoftwareHardware SecurityFormal VerificationSoftware Maintenance

Publications per year

2004–2024

18

Publications

18

Empirical review of automated analysis tools on 47,587 Ethereum smart contracts

Thomas Durieux, João F. Ferreira, Rui Abreu et al. · 2020 · 359 citations · Full text

Software Maintenance, Analysis Tools, Engineering +27

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

F. Vaz, João F. Ferreira, E. Ribeiro et al. · Surface and Coatings Technology · 2004 · 169 citations · Full text

João F. Ferreira, Pedro E. D. Cruz, Thomas Durieux et al. · 2020 · 132 citations

Software Maintenance, Analysis Tools, Engineering +18

Framer: Planning Models from Natural Language Action Descriptions

Alan Lindsay, Jonathon Read, João F. Ferreira et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2017 · 47 citations · Full text

Artificial Intelligence, Engineering, Planning Domain Models +17

JaSkel: a Java skeleton-based framework for structured cluster and grid computing

João F. Ferreira, João L. Sobral, Alberto José Proença · 2006 · 32 citations · Full text

Cluster Computing, Engineering, Skeleton-based Framework +26

Rows per page

1–5 of 18