João Fernando Peixoto Ferreira


AuthID: R-000-J08

Confirmed Publications: 22



1
TITLE: Framer: Planning models from natural language action descriptions
AUTHORS: Lindsay, A; Read, J; Ferreira, JF ; Hayton, T; Porteous, J; Gregory, P;
PUBLISHED: 2017, SOURCE: 27th International Conference on Automated Planning and Scheduling, ICAPS 2017 in Proceedings International Conference on Automated Planning and Scheduling, ICAPS
INDEXED IN: Scopus
2
TITLE: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTHORS: Joao F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
3
TITLE: An adapted double threshold protocol for spastic muscles
AUTHORS: Vieira, PM; Ferreira, JF ; Gomes, PR ; Lima, CS;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus CrossRef: 1
4
TITLE: Reasoning about Fences and Relaxed Atomics
AUTHORS: He, MD; Vafeiadis, V; Qin, SC; Ferreira, JF ;
PUBLISHED: 2016, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
5
TITLE: Supporting social skills rehabilitation with virtual storytelling
AUTHORS: Even, C; Bosser, AG; Ferreira, JF ; Buche, C; Stephan, F; Cavazza, M; Lisetti, C;
PUBLISHED: 2016, SOURCE: 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 in Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
INDEXED IN: Scopus
6
TITLE: On Euclid's Algorithm and Elementary Number Theory PDF
AUTHORS: Roland Carl Backhouse; João F Ferreira ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1506.05981
INDEXED IN: DBLP arXiv
IN MY: DBLP
7
TITLE: Automated verification of the FreeRTOS scheduler in HIP/SLEEK  Full Text
AUTHORS: Ferreira, JF ; Gherghina, C; He, GH; Qin, SC; Chin, WN;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 16, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
8
TITLE: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: DBLP
9
TITLE: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTHORS: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
10
TITLE: Linear logic programming for narrative generation
AUTHORS: Martens, C; Bosser, AG; Ferreira, JF ; Cavazza, M;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 1 of 3. Total results: 22.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service