Publications

Journal Papers

  1. A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra
    João F. Ferreira and Alexandra Mendes
    Journal of Logical and Algebraic Methods in Programming (JLAMP), 2015

Peer-Reviewed Conference and Workshop Papers

  1. MISER: Mise-En-Scene Region Support for Staging Narrative Actions in Interactive Storytelling
    Jamie Matthews, Fred Charles, Julie Porteous, and Alexandra Mendes
    Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), 2017
  2. Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
    Alexandra Mendes, João F. Ferreira, and Roland Backhouse
    9th ACM International Conference on Interactive Tabletops and Surfaces (ITS'14), 2014
  3. The Magic of Algorithm Design and Analysis - Teaching Algorithmic Skills using Magic Card Tricks
    João F. Ferreira and Alexandra Mendes
    19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE'14), 2014
  4. Logic Training through Algorithmic Problem Solving
    João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo Silva, Luis S. Barbosa, and Jose N. Oliveira
    Third International Congress on Tools for Teaching Logic (TICTTL'11), 2011
  5. Which Mathematics for the Information Society?
    João F. Ferreira, Alexandra Mendes, Roland Backhouse, and Luis S. Barbosa
    2nd International FME Conference on Teaching Formal Methods (TFM'09), 2009
  6. Students’ Feedback on Teaching Mathematics Through The Calculational Method
    João F. Ferreira and Alexandra Mendes
    39th IEEE Frontiers in Education Conference (FiE'09), 2009
  7. Work in Progress: Structure Editing of Handwritten Mathematics
    Alexandra Mendes
    38th IEEE Frontiers in Education Conference (FiE'08), 2008
  8. Camila Revival: VDM meets Haskell
    Joost Visser, Jose N. Oliveira, Luis S. Barbosa, João F. Ferreira, and Alexandra Mendes
    Overture Workshop, co-located with Formal Methods (FM), 2005

Theses and Other Papers

  1. Structure Editing of Handwritten Mathematics
    Alexandra Mendes
    PhD thesis, School of Computer Science, University of Nottingham, UK, 2012
    [PDF]