Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 36



21
TÍTULO: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTORES: João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2019, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, VOLUME: 12233
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
22
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Alexandra Mendes ; Joao F Ferreira;
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: WOS DBLP
NO MEU: DBLP
23
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
NO MEU: ORCID
24
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: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
25
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: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
INDEXADO EM: DBLP
NO MEU: DBLP
26
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: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
INDEXADO EM: DBLP
NO MEU: DBLP
27
TÍTULO: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTORES: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
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: 1
NO MEU: ORCID | DBLP
28
TÍTULO: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTORES: Joao F Ferreira ; Alexandra Mendes ;
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 | DBLP
29
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: 5
NO MEU: ORCID
30
TÍTULO: Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
AUTORES: Alexandra Mendes ; Roland Carl Backhouse; João Fernando Ferreira;
PUBLICAÇÃO: 2014, FONTE: 9th ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014 in Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS 2014, Dresden, Germany, November 16 - 19, 2014
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 3 de 4. Total de resultados: 36.

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

Links Úteis

Ajuda

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