List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| BGSL: an imperative language for specification and refinement of backtracking programs Journal of Logical and Algebraic Methods in Programming | 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 International Journal of Approximate Reasoning | 2017-10-06 | Paper |
| A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
| On Euclid's algorithm and elementary number theory Science of Computer Programming | 2011-02-21 | Paper |
| The algorithmics of solitaire-like games Lecture Notes in Computer Science | 2010-07-26 | Paper |
| Designing an algorithmic proof of the two-squares theorem Lecture Notes in Computer Science | 2010-07-26 | Paper |
| Recounting the Rationals: Twice! Lecture Notes in Computer Science | 2008-08-28 | Paper |
Research outcomes over time
This page was built for person: João F. Ferreira
