João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações a aguardar confirmação

11
TÍTULO: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTORES: João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2019, FONTE: FM Workshops (2), VOLUME: 12233 LNCS
INDEXADO EM: Scopus DBLP
12
TÍTULO: Towards a Program Logic for C11 Release-Sequences
AUTORES: Mengda D He; Shengchao C Qin; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: International Symposium on Theoretical Aspects of Software Engineering (TASE) in PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), VOLUME: 2018-January
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
13
TÍTULO: GPS $$+$$ + : Reasoning About Fences and Relaxed Atomics
AUTORES: Mengda He; Viktor Vafeiadis; Shengchao Qin; João F Ferreira;
PUBLICAÇÃO: 2018, FONTE: Int. J. Parallel Program., VOLUME: 46, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
14
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.
INDEXADO EM: DBLP
NO MEU: DBLP
15
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: IFM, VOLUME: 10510 LNCS
INDEXADO EM: Scopus DBLP
16
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.
INDEXADO EM: DBLP
NO MEU: DBLP
17
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
INDEXADO EM: DBLP
NO MEU: DBLP
18
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
INDEXADO EM: DBLP
NO MEU: DBLP
19
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
INDEXADO EM: DBLP
NO MEU: DBLP
20
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 de 3. Total de resultados: 26.

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

Links Úteis

Ajuda

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