João Fernando Peixoto Ferreira
AuthID: R-000-J08
41
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
DBLP42
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
DBLP43
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
DBLP44
TÃTULO: Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts
AUTORES: Yanhong H Huang; Joao F Ferreira; Guanhua H He; Shengchao C Qin; Jifeng F He;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Formal Engineering Methods (ICFEM) in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 8144
AUTORES: Yanhong H Huang; Joao F Ferreira; Guanhua H He; Shengchao C Qin; Jifeng F He;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Formal Engineering Methods (ICFEM) in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 8144
INDEXADO EM: 
WOS
WOS45
TÃTULO: On Euclid's algorithm and elementary number theory
AUTORES: Roland Carl Backhouse; João F Ferreira;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 3
AUTORES: Roland Carl Backhouse; João F Ferreira;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 3
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP46
TÃTULO: The Algorithmics of Solitaire-Like Games
AUTORES: Roland Carl Backhouse; Wei Chen; João F Ferreira;
PUBLICAÇÃO: 2010, FONTE: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, VOLUME: 6120
AUTORES: Roland Carl Backhouse; Wei Chen; João F Ferreira;
PUBLICAÇÃO: 2010, FONTE: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, VOLUME: 6120
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP47
TÃTULO: Designing an Algorithmic Proof of the Two-Squares Theorem
AUTORES: João F Ferreira;
PUBLICAÇÃO: 2010, FONTE: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, VOLUME: 6120
AUTORES: João F Ferreira;
PUBLICAÇÃO: 2010, FONTE: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, VOLUME: 6120
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP48
TÃTULO: Recounting the Rationals: Twice!
AUTORES: Roland Carl Backhouse; João F Ferreira;
PUBLICAÇÃO: 2008, FONTE: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, VOLUME: 5133
AUTORES: Roland Carl Backhouse; João F Ferreira;
PUBLICAÇÃO: 2008, FONTE: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, VOLUME: 5133
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP49
TÃTULO: ParC#: Parallel Computing with C# in .Net
AUTORES: João Fernando Ferreira; João Luís Sobral;
PUBLICAÇÃO: 2005, FONTE: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, VOLUME: 3606
AUTORES: João Fernando Ferreira; João Luís Sobral;
PUBLICAÇÃO: 2005, FONTE: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, VOLUME: 3606
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP