João F. Ferreira

Despite years of searching for viable alternatives, text passwords are still the dominant access control mechanism.

I first got interested in computational narratives when I learnt about Anne-Gwenn Bosser’s work on the application of Linear Logic to Interactive Storytelling.

History This paper was invited to an STTT’s Special Issue and is now superseded by the journal version (STTT 2014).

In 2009, I posted a calculational proof of the handshaking lemma, a well-known elementary result on undirected graphs.

I am currently in Salamanca (Spain), attending the conference Tools for Teaching Logic III.

Related A short program written in Haskell that implements some of the algorithms discussed in the paper.

History 6 December 2010 — hard-bound version submitted 5 November 2010 — thesis successfully defended 2 September 2010 — thesis submitted

History 17 March 2010: uploaded the camera-ready version 20 February 2010: notification of acceptance 14 December 2009: submitted the paper for publication

Suppose you write a program and you send the source code to two of your friends, ${\cal A}$ and ${\cal B}$.

History 27 November 2009: uploaded the slides of my talk in Eindhoven 2 August 2009: uploaded the camera-ready version of the paper 10 July 2009: notification of acceptance 26 June 2009: uploaded the paper to this website 5 June 2009: submitted the paper…

History 26 June 2009: uploaded the paper 15 May 2009: submitted the final version to FiE 2009 24 April 2009: notification of the acceptance 23 March 2009: submitted the paper to FiE 2009

I found the following problem on K.

History February 2008: first version of the note is made public

The other day I went to my pigeon-hole to collect my snail mail, and I had a letter from Donald E.

Last November I solved Problem 15 of Project Euler (a counting problem involving paths in square grids), and, although the problem admits a simple solution, some of the solutions presented in their forums are very complicated.

Related Slides of my talk at Fun in the Afternoon, in Cambridge: PDF Achille Brocot’s original paper “Calcul des rouages par approximation, nouvelle methode”, published in 1861 in “Revue Chronometrique.

Related Matisse Project (in Portuguese) History January 2008: first version of the note is made public

History July 2007: improved the note’s structure May 2007: first version of the note is made public

Related Multiples in the Fibonacci series illustrates the use of the property that the Fibonacci function distributes over the greatest common divisor

I am interested in the education of formal methods and algorithmic problem solving.