Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 56



41
TITLE: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: FM Workshops (2), VOLUME: 12233 LNCS
INDEXED IN: Scopus DBLP
42
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Mendes, A ; Ferreira, JF;
PUBLISHED: 2018, SOURCE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895
INDEXED IN: Scopus WOS DBLP
43
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods
INDEXED IN: CrossRef: 4
IN MY: ORCID
44
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: IFM, VOLUME: 10510 LNCS
INDEXED IN: Scopus DBLP
IN MY: ORCID
45
TITLE: Mise-En-Scène of Narrative Action in Interactive Storytelling
AUTHORS: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLISHED: 2017, SOURCE: AAMAS
INDEXED IN: DBLP
46
TITLE: MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling
AUTHORS: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLISHED: 2017, SOURCE: AAMAS
INDEXED IN: DBLP
47
TITLE: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTHORS: Almohammad, A; Ferreira, JF ; Mendes, A ; White, P;
PUBLISHED: 2017, SOURCE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
48
TITLE: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTHORS: Ferreira, JF ; Mendes, A ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
49
TITLE: Structure Editing of Handwritten Mathematics. Improving the Computer Support for the Calculational Method
AUTHORS: Alexandra Mendes ; Roland Backhouse; Joao F Ferreira;
PUBLISHED: 2014, SOURCE: Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces - ITS '14
INDEXED IN: CrossRef: 7
IN MY: ORCID
50
TITLE: Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
AUTHORS: Alexandra Mendes ; Roland Carl Backhouse; João F Ferreira;
PUBLISHED: 2014, SOURCE: ITS
INDEXED IN: Scopus DBLP
IN MY: ORCID
Page 5 of 6. Total results: 56.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service