João Fernando Peixoto Ferreira


AuthID: R-000-J08

Publications Requiring Validation

41
TITLE: Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts
AUTHORS: Yanhong H Huang; Joao F Ferreira; Guanhua H He; Shengchao C Qin; Jifeng F He;
PUBLISHED: 2013, SOURCE: 15th International Conference on Formal Engineering Methods (ICFEM) in FORMAL METHODS AND SOFTWARE ENGINEERING, VOLUME: 8144
INDEXED IN: WOS
42
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
43
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
44
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
45
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
46
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: 46.

footer slogan

Useful Links

Get Help

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