João Fernando Peixoto Ferreira
AuthID: R-000-J08
31
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
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
32
TÃTULO: Framer: Planning Models from Natural Language Action Descriptions
AUTORES: Alan Lindsay; Jonathon Read; João F Ferreira; Thomas Hayton; Julie Porteous; Peter Gregory;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
AUTORES: Alan Lindsay; Jonathon Read; João F Ferreira; Thomas Hayton; Julie Porteous; Peter Gregory;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017.
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP33
TÃTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP34
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)
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)
INDEXADO EM: 
WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP35
TÃTULO: Supporting Social Skills Rehabilitation with Virtual Storytelling
AUTORES: Cindy Even; Anne Gwenn Bosser; João Fernando Ferreira; Cédric Buche; Florian Stéphan; Marc Cavazza; Christine L Lisetti;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016.
AUTORES: Cindy Even; Anne Gwenn Bosser; João Fernando Ferreira; Cédric Buche; Florian Stéphan; Marc Cavazza; Christine L Lisetti;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016, Key Largo, Florida, May 16-18, 2016.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP36
TÃTULO: Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
AUTORES: Alexandra Mendes ; Roland Carl Backhouse; João Fernando Ferreira;
PUBLICAÇÃO: 2014, FONTE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014
AUTORES: Alexandra Mendes ; Roland Carl Backhouse; João Fernando Ferreira;
PUBLICAÇÃO: 2014, FONTE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP37
TÃTULO: Automated verification of the FreeRTOS scheduler in Hip/Sleek
AUTORES: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLICAÇÃO: 2014, FONTE: STTT, VOLUME: 16, NÚMERO: 4
AUTORES: João F Ferreira; Cristian Gherghina; Guanhua He; Shengchao Qin; Wei Ngan Chin;
PUBLICAÇÃO: 2014, FONTE: STTT, VOLUME: 16, NÚMERO: 4
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP38
TÃTULO: Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts
AUTORES: Yanhong Huang; João F Ferreira; Guanhua He; Shengchao Qin; Jifeng He;
PUBLICAÇÃO: 2013, FONTE: Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, VOLUME: 8144
AUTORES: Yanhong Huang; João F Ferreira; Guanhua He; Shengchao Qin; Jifeng He;
PUBLICAÇÃO: 2013, FONTE: Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, VOLUME: 8144
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP39
TÃTULO: Linear Logic Programming for Narrative Generation
AUTORES: Chris Martens; Anne Gwenn Bosser; João F Ferreira; Marc Cavazza;
PUBLICAÇÃO: 2013, FONTE: Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, VOLUME: 8148
AUTORES: Chris Martens; Anne Gwenn Bosser; João F Ferreira; Marc Cavazza;
PUBLICAÇÃO: 2013, FONTE: Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, VOLUME: 8148
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP40
TÃTULO: The algorithmics of solitaire-like games
AUTORES: Roland Carl Backhouse; Wei Chen; João F Ferreira;
PUBLICAÇÃO: 2013, FONTE: Sci. Comput. Program., VOLUME: 78, NÚMERO: 11
AUTORES: Roland Carl Backhouse; Wei Chen; João F Ferreira;
PUBLICAÇÃO: 2013, FONTE: Sci. Comput. Program., VOLUME: 78, NÚMERO: 11
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP