Publications

Publications with the same authors as the A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra publication

Group by: Tipo Ano Order: Title Year Type of publication

Book

Formal Methods Teaching - 4Th International Workshop and Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings

Ferreira, JF (Author) (Other); Mendes, A (Author) (FEUP); Menghi, C (Author) (Other)

2021

Article in International Scientific Journal

Contract Usage and Evolution in Android Mobile Applications

Ferreira, DR (Author) (Other); Mendes, A (Author) (FEUP); Ferreira, JF (Author) (Other)

2024

bGSL: An imperative language for specification and refinement of backtracking programs

Dunne, S (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (FEUP); Ritchie, C (Author) (Other); Stoddart, B (Author) (Other); Zeyda, F (Author) (Other)

2023

Indexing

ISI Web of Knowledge

Scopus

Article in International Conference Proceedings Book

Which Mathematics for the Information Society?

Ferreira, JF (Author) (Other); Mendes, A (Author) (Other); Backhouse, R (Author) (Other); Barbosa, LS (Author) (Other)

2009

Indexing

ISI Web of Knowledge - 4 Citations

Scopus - 9 Citations

Verified Password Generation from Password Composition Policies

Grilo, M (Author) (Other); Campos, J (Author) (Other); Ferreira, JF (Author) (Other); Almeida, JB (Author) (Other); Mendes, A (Author) (FEUP)

2022

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Towards Verified Handwritten Calculational Proofs

Mendes, A (Author) (Other); Ferreira, JF (Author) (Other)

2018

Indexing

ISI Web of Knowledge - 1 Citation

The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks

Ferreira, JF (Author) (Other); Mendes, A (Author) (Other)

2014

Indexing

Scopus - 6 Citations

Students' feedback on teaching mathematics through the calculational method

Ferreira, JF (Author) (Other); Mendes, A (Author) (Other)

2009

Indexing

Scopus - 8 Citations

Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method

Mendes, A (Author) (Other); Backhouse, RC (Author) (Other); Ferreira, JF (Author) (Other)

2014

Indexing

Scopus - 7 Citations

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection

Johnson, SA (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (Other); Cordry, J (Author) (Other)

2020

Indexing

Scopus - 1 Citation

REQCAP: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems

Almohammad, A (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (Other); White, P (Author) (Other)

2017

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 3 Citations

Open and Interactive Learning Resources for Algorithmic Problem Solving

Ferreira, JF (Author) (Other); Mendes, A (Author) (Other)

2019

Indexing

Scopus

Logic Training through Algorithmic Problem Solving

Ferreira, JF (Author) (Other); Mendes, A (Author) (Other); Cunha, A (Author) (Other); Baquero, C (Author) (Other); Silva, P (Author) (Other); Barbosa, LS (Author) (Other); Oliveira, JN (Author) (Other)

2011

Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 9 Citations

Logic, Algebra, and Geometry at the Foundation of Computer Science

Hoare, T (Author) (Other); Mendes, A (Author) (Other); Ferreira, JF (Author) (Other)

2019

Indexing

Scopus - 1 Citation

How are Contracts Used in Android Mobile Applications?

Ferreira, DR (Author) (Other); Mendes, A (Author) (FEUP); Ferreira, JF (Author) (Other)

2024

Indexing

Scopus

Extending EcoAndroid with Automated Detection of Resource Leaks

Pereira, RB (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (FEUP); Rui Abreu (Author) (FEUP)

2022

Indexing

ISI Web of Knowledge

Scopus

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda

Carreira, C (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (Other); Christin, N (Author) (Other)

2021

Indexing

Scopus

Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks

Pereira, D (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (Other)

2020

Indexing

Scopus

Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules

Ferreira, JF (Author) (Other); Johnson, SA (Author) (Other); Mendes, A (Author) (Other); Brooke, PJ (Author) (Other)

2017

Indexing

Scopus - 3 Citations

Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities

Lima, R (Author) (Other); Ferreira, JF (Author) (Other); Mendes, A (Author) (Other)

2021

Indexing

ISI Web of Knowledge

Scopus

Records 1 to 20 from 20

 

1