João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações Confirmadas: 35



11
TÍTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira ; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
12
TÍTULO: Framer: Planning models from natural language action descriptions
AUTORES: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLICAÇÃO: 2017, FONTE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS
INDEXADO EM: Scopus
13
TÍTULO: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTORES: Ali Almohammad; Joao F Ferreira ; Alexandra Mendes ; Phil White;
PUBLICAÇÃO: 2017, FONTE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
14
TÍTULO: Visualization of Patient Behavior from Natural Language Recommendations
AUTORES: Jonathan Siddle; Alan Lindsay; João F Ferreira ; Julie Porteous; Jonathon Read; Fred Charles; Marc Cavazza; Gersende Georg;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Knowledge Capture, K-CAP 2017 in Proceedings of the Knowledge Capture Conference, K-CAP 2017, Austin, TX, USA, December 4-6, 2017
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
15
TÍTULO: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTORES: Joao F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
TÍTULO: An adapted double threshold protocol for spastic muscles
AUTORES: Vieira, PM; Ferreira, JF ; Gomes, PR ; Lima, CS;
PUBLICAÇÃO: 2016, FONTE: 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2016 in Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, VOLUME: 2016-October
INDEXADO EM: Scopus CrossRef: 1 Handle
17
TÍTULO: Reasoning about Fences and Relaxed Atomics
AUTORES: He, MD; Vafeiadis, V; Qin, SC; Ferreira, JF ;
PUBLICAÇÃO: 2016, FONTE: 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP
18
TÍTULO: Supporting social skills rehabilitation with virtual storytelling
AUTORES: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLICAÇÃO: 2016, FONTE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
INDEXADO EM: Scopus
19
TÍTULO: On Euclid's Algorithm and Elementary Number Theory PDF
AUTORES: Roland Carl Backhouse; João F Ferreira ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1506.05981
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
20
TÍTULO: Automated verification of the FreeRTOS scheduler in HIP/SLEEK  Full Text
AUTORES: Ferreira, JF ; Gherghina, C; He, GH; Qin, SC; Chin, WN;
PUBLICAÇÃO: 2014, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 16, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
Página 2 de 4. Total de resultados: 35.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service