João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publicações Confirmadas: 38



31
TÍTULO: On Euclid's algorithm and elementary number theory PDF  Full Text
AUTORES: Roland Backhouse; Joao F Ferreira ;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, NÚMERO: 3
INDEXADO EM: Scopus WOS arXiv CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
32
TÍTULO: Designing an algorithmic proof of the two-squares theorem
AUTORES: Ferreira, JF ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
33
TÍTULO: The algorithmics of solitaire-like games
AUTORES: Backhouse, R; Chen, W; Ferreira, JF ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on the Mathematics of Program Construction, MPC 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6120 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: Students' feedback on teaching mathematics through the calculational method
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2009, FONTE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
35
TÍTULO: Which Mathematics for the Information Society?
AUTORES: Ferreira, JF ; Mendes, A ; Backhouse, R; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: Recounting the rationals: Twice!
AUTORES: Backhouse, R; Ferreira, JF ;
PUBLICAÇÃO: 2008, FONTE: 9th International Conference on Mathematics of Program Construction, MPC 2008 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5133 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
37
TÍTULO: JaSkel: A Java skeleton-based framework for structured cluster and grid computing
AUTORES: Ferreira, JF ; Sobral, JL ; Proenca, AJ ;
PUBLICAÇÃO: 2006, FONTE: 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID 2006) in Sixth IEEE International Symposium on Cluster Computing and the Grid: SPANNING THE WORLD AND BEYOND
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: ParC#: Parallel computing with C# in .Net
AUTORES: Ferreira, JF ; Sobral, JL ;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Parallel Computing Technologies (PaCT 2005) in PARALLEL COMPUTING TECHNOLOGIES, VOLUME: 3606
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 de 4. Total de resultados: 38.

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