João F. Ferreira

Available identifiers

Publication	Date of Publication	Type
BGSL: an imperative language for specification and refinement of backtracking programs	2022-11-16	Paper
Towards verified handwritten calculational proofs (short paper)	2018-10-04	Paper
A Bayesian hierarchy for robust gaze estimation in human-robot interaction	2017-10-06	Paper
A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra	2016-12-15	Paper
On Euclid's algorithm and elementary number theory	2011-02-21	Paper
The Algorithmics of Solitaire-Like Games	2010-07-26	Paper
Designing an Algorithmic Proof of the Two-Squares Theorem	2010-07-26	Paper
Recounting the Rationals: Twice!	2008-08-28	Paper

This page was built for person: João F. Ferreira