Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 56



41
TÍTULO: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTORES: João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2019, FONTE: FM Workshops (2), VOLUME: 12233 LNCS
INDEXADO EM: Scopus DBLP
42
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Mendes, A ; Ferreira, JF;
PUBLICAÇÃO: 2018, FONTE: 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
INDEXADO EM: Scopus WOS DBLP
43
TÍTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods
INDEXADO EM: CrossRef: 4
NO MEU: ORCID
44
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
45
TÍTULO: Mise-En-Scène of Narrative Action in Interactive Storytelling
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: AAMAS
INDEXADO EM: DBLP
46
TÍTULO: MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling
AUTORES: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLICAÇÃO: 2017, FONTE: AAMAS
INDEXADO EM: DBLP
47
TÍTULO: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTORES: Almohammad, A; Ferreira, JF ; Mendes, A ; White, P;
PUBLICAÇÃO: 2017, FONTE: 25th IEEE International Requirements Engineering Conference Workshops (REW) in 2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
48
TÍTULO: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
49
TÍTULO: Structure Editing of Handwritten Mathematics. Improving the Computer Support for the Calculational Method
AUTORES: Alexandra Mendes ; Roland Backhouse; Joao F Ferreira;
PUBLICAÇÃO: 2014, FONTE: Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces - ITS '14
INDEXADO EM: CrossRef: 7
NO MEU: ORCID
50
TÍTULO: Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
AUTORES: Alexandra Mendes ; Roland Carl Backhouse; João F Ferreira;
PUBLICAÇÃO: 2014, FONTE: ITS
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
Página 5 de 6. Total de resultados: 56.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service