Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 35



21
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
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: WOS DBLP
IN MY: DBLP
22
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
IN MY: ORCID
23
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: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
24
TITLE: Mise-En-Scène of Narrative Action in Interactive Storytelling
AUTHORS: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLISHED: 2017, SOURCE: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
INDEXED IN: DBLP
IN MY: DBLP
25
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: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
INDEXED IN: DBLP
IN MY: DBLP
26
TITLE: REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems
AUTHORS: Ali Almohammad; Joao F Ferreira; Alexandra Mendes ; Phil White;
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: 1
IN MY: ORCID | DBLP
27
TITLE: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTHORS: Joao F Ferreira ; Alexandra Mendes ;
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 | DBLP
28
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: 5
IN MY: ORCID
29
TITLE: Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method
AUTHORS: Alexandra Mendes ; Roland Carl Backhouse; João Fernando Ferreira;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
30
TITLE: The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. teaching algorithmic skills using magic card tricks
AUTHORS: João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2014, SOURCE: 2014 Innovation and Technology in Computer Science Education Conference, ITICSE 2014 in Innovation and Technology in Computer Science Education Conference 2014, ITiCSE '14, Uppsala, Sweden, June 23-25, 2014
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
Page 3 of 4. Total results: 35.

A place for researchers and their institutions

Useful Links

Get Help

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