João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações Confirmadas: 22



1
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
2
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
3
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
4
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
5
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
6
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
7
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
8
TÍTULO: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTORES: João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2014, FONTE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: DBLP
9
TÍTULO: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTORES: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Formal Engineering Methods, ICFEM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8144 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
10
TÍTULO: Linear logic programming for narrative generation
AUTORES: Martens, C; Bosser, AG; Ferreira, JF ; Cavazza, M;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8148 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 1 de 3. Total de resultados: 22.

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

Links Úteis

Ajuda

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