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. Towards Verified Handwritten Calculational Proofs (short paper)
    Alexandra Mendes and João F. Ferreira
    9th International Conference on Interactive Theorem Proving (ITP'18), 2018
  2. Certified Password Quality — A Case Study Using Coq and Linux Pluggable Authentication Modules
    João F. Ferreira, Saul A. Johnson, Alexandra Mendes, and Phillip J. Brooke
    13th International Conference on integrated Formal Methods (iFM 2017) (iFM'17), 2017
  3. 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
  4. Mise-En-Scene of Narrative Action in Interactive Storytelling
    Jamie Matthews, Fred Charles, Julie Porteous, and Alexandra Mendes
    Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), 2017
  5. ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
    Ali Almohammad, João F. Ferreira, Alexandra Mendes, and Phil White
    4th International Workshop on Requirements Engineering and Testing (RET'17), 2017
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. Work in Progress: Structure Editing of Handwritten Mathematics
    Alexandra Mendes
    38th IEEE Frontiers in Education Conference (FiE'08), 2008
  12. 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