Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 50



41
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: 3
IN MY: ORCID | DBLP
42
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
43
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
44
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
45
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: 8
IN MY: ORCID | DBLP
46
TITLE: Structured editing of handwritten mathematics
AUTHORS: Alexandra Mendes ;
PUBLISHED: 2012, SOURCE: British Library, EThOS
INDEXED IN: DBLP
IN MY: DBLP
47
TITLE: Logic Training through Algorithmic Problem Solving
AUTHORS: Ferreira, JF ; Mendes, A ; Cunha, A ; Baquero, C ; Silva, P ; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: 3rd International Congress on Tools for Teaching Logic (TICTTL) in TOOLS FOR TEACHING LOGIC, VOLUME: 6680
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Handle
IN MY: ORCID | DBLP
48
TITLE: Students' feedback on teaching mathematics through the calculational method
AUTHORS: Ferreira, JF ; Mendes, A ;
PUBLISHED: 2009, SOURCE: 39th Annual Frontiers in Education Conference: Imagining and Engineering Future CSET Education, FIE 2009 in Proceedings - Frontiers in Education Conference, FIE
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
49
TITLE: Which Mathematics for the Information Society?
AUTHORS: Joao F Ferreira ; Alexandra Mendes ; Roland Backhouse; Luis S Barbosa ;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Teaching Formal Methods in TEACHING FORMAL METHODS, PROCEEDINGS, VOLUME: 5846
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
50
TITLE: Work in progress - Structure editing of handwritten mathematics
AUTHORS: Mendes, A ;
PUBLISHED: 2008, SOURCE: 38th ASEE/IEEE Frontiers in Education Conference, FIE 2008 in Proceedings - Frontiers in Education Conference, FIE
INDEXED IN: Scopus CrossRef
IN MY: ORCID
Page 5 of 5. Total results: 50.

footer slogan

Useful Links

Get Help

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