João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações a aguardar confirmação

21
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
INDEXADO EM: WOS
22
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
INDEXADO EM: DBLP
NO MEU: DBLP
23
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
INDEXADO EM: DBLP
NO MEU: DBLP
24
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
INDEXADO EM: DBLP
NO MEU: DBLP
25
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
INDEXADO EM: DBLP
NO MEU: DBLP
26
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
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 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