João Fernando Peixoto Ferreira


AuthID: R-000-J08

Confirmed Publications: 38



31
TITLE: On Euclid's algorithm and elementary number theory PDF  Full Text
AUTHORS: Roland Backhouse; Joao F Ferreira ;
PUBLISHED: 2011, SOURCE: 9th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 76, ISSUE: 3
INDEXED IN: Scopus WOS arXiv CrossRef
IN MY: ORCID | CIÊNCIAVITAE
32
TITLE: Designing an algorithmic proof of the two-squares theorem
AUTHORS: Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
33
TITLE: The algorithmics of solitaire-like games
AUTHORS: Backhouse, R; Chen, W; Ferreira, JF ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
34
TITLE: Students' feedback on teaching mathematics through the calculational method
AUTHORS: Ferreira, JF ; Mendes, A ;
PUBLISHED: 2009, SOURCE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
35
TITLE: Which Mathematics for the Information Society?
AUTHORS: Ferreira, JF ; Mendes, A ; Backhouse, R; Barbosa, LS ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
36
TITLE: Recounting the rationals: Twice!
AUTHORS: Backhouse, R; Ferreira, JF ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
37
TITLE: JaSkel: A Java skeleton-based framework for structured cluster and grid computing
AUTHORS: Ferreira, JF ; Sobral, JL ; Proenca, AJ ;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
38
TITLE: ParC#: Parallel computing with C# in .Net
AUTHORS: Ferreira, JF ; Sobral, JL ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Parallel Computing Technologies (PaCT 2005) in PARALLEL COMPUTING TECHNOLOGIES, VOLUME: 3606
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
Page 4 of 4. Total results: 38.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service