publicações selecionadas
-
artigo de conferência
- Structure editing of handwritten mathematics: improving the computer support for the calculational method 2014
- The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks 2014
- Logic training through algorithmic problem solving. Computational Methods in Applied Sciences. 2011
- Which mathematics for the Information Society?. Computational Methods in Applied Sciences. 2009
- Camila Revival: VDM meets Haskell 2005
-
teses