João Fernando Peixoto Ferreira
AuthID: R-000-J08
1
TÃTULO: Improved SWMM Modeling for Rapid Pipe Filling Incorporating Air Behavior in Intermittent Water Supply Systems Full Text
AUTORES: Ferreira, Joao P.; Ferras, David; Covas, Didia I. C. ; Kapelan, Zoran;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF HYDRAULIC ENGINEERING, VOLUME: 149, NÚMERO: 4
AUTORES: Ferreira, Joao P.; Ferras, David; Covas, Didia I. C. ; Kapelan, Zoran;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF HYDRAULIC ENGINEERING, VOLUME: 149, NÚMERO: 4
2
TÃTULO: Integration of an Artificial Perception System for Identification of Live Flammable Material in Forestry Robotics
AUTORES: Eduarda E Andrada; João F Ferreira; David Portugal; Micael S Couceiro;
PUBLICAÇÃO: 2022, FONTE: IEEE/SICE International Symposium on System Integration, SII 2022, Narvik, Norway, January 9-12, 2022
AUTORES: Eduarda E Andrada; João F Ferreira; David Portugal; Micael S Couceiro;
PUBLICAÇÃO: 2022, FONTE: IEEE/SICE International Symposium on System Integration, SII 2022, Narvik, Norway, January 9-12, 2022
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts
AUTORES: Nuno Saavedra; João F Ferreira;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.14371
AUTORES: Nuno Saavedra; João F Ferreira;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.14371
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP4
TÃTULO: Automated narrative planning model extension
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2021, FONTE: Auton. Agents Multi Agent Syst., VOLUME: 35, NÚMERO: 2
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2021, FONTE: Auton. Agents Multi Agent Syst., VOLUME: 35, NÚMERO: 2
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP6
TÃTULO: The Impact of Autonomous Vehicles' Active Feedback on Trust
AUTORES: Mackay, A; Fortes, I; Santos, C; Machado, D; Barbosa, P; Boas, VV; Ferreira, JP; Costa, N; Silva, C; Sousa, E;
PUBLICAÇÃO: 2020, FONTE: 10th International Conference on Applied Human Factors and Ergonomics (AHFE) / International Conference on Safety Management and Human Factors in ADVANCES IN SAFETY MANAGEMENT AND HUMAN FACTORS, VOLUME: 969
AUTORES: Mackay, A; Fortes, I; Santos, C; Machado, D; Barbosa, P; Boas, VV; Ferreira, JP; Costa, N; Silva, C; Sousa, E;
PUBLICAÇÃO: 2020, FONTE: 10th International Conference on Applied Human Factors and Ergonomics (AHFE) / International Conference on Safety Management and Human Factors in ADVANCES IN SAFETY MANAGEMENT AND HUMAN FACTORS, VOLUME: 969
INDEXADO EM: 
Scopus 
WOS
Scopus WOS7
TÃTULO: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP8
TÃTULO: Narrative Planning Model Acquisition from Text Summaries and Descriptions
AUTORES: Thomas Hayton; Julie Porteous; João Fernando Ferreira; Alan Lindsay;
PUBLICAÇÃO: 2020, FONTE: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.
AUTORES: Thomas Hayton; Julie Porteous; João Fernando Ferreira; Alan Lindsay;
PUBLICAÇÃO: 2020, FONTE: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP9
TÃTULO: Extending Narrative Planning Domains with Linguistic Resources
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020
AUTORES: Julie Porteous; João F Ferreira; Alan Lindsay; Marc Cavazza;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP10
TÃTULO: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts PDF
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
INDEXADO EM: DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP