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) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
NO MEU: DBLP
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