João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publications Awaiting Confirmation

41
TITLE: On Euclid's algorithm and elementary number theory
AUTHORS: Roland Carl Backhouse; João F Ferreira;
PUBLISHED: 2011, SOURCE: Sci. Comput. Program., VOLUME: 76, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
42
TITLE: The Algorithmics of Solitaire-Like Games
AUTHORS: Roland Carl Backhouse; Wei Chen; João F Ferreira;
PUBLISHED: 2010, SOURCE: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, VOLUME: 6120
INDEXED IN: DBLP
IN MY: DBLP
43
TITLE: Designing an Algorithmic Proof of the Two-Squares Theorem
AUTHORS: João F Ferreira;
PUBLISHED: 2010, SOURCE: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, VOLUME: 6120
INDEXED IN: DBLP
IN MY: DBLP
44
TITLE: Recounting the Rationals: Twice!
AUTHORS: Roland Carl Backhouse; João F Ferreira;
PUBLISHED: 2008, SOURCE: Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings, VOLUME: 5133
INDEXED IN: DBLP
IN MY: DBLP
45
TITLE: ParC#: Parallel Computing with C# in .Net
AUTHORS: João Fernando Ferreira; João Luís Sobral;
PUBLISHED: 2005, SOURCE: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, VOLUME: 3606
INDEXED IN: DBLP
IN MY: DBLP
Page 5 of 5. Total results: 45.

A place for researchers and their institutions

Useful Links

Get Help

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