CUFinder

Maria João Frade

Maria João Frade

Universidade do Minho

H-index: 8

Europe-Portugal

About Maria João Frade

Maria João Frade, With an exceptional h-index of 8 and a recent h-index of 6 (since 2020), a distinguished researcher at Universidade do Minho, specializes in the field of type theory, program verification, logic.

His recent articles reflect a diverse array of research interests and contributions to the field:

A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3

Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications

Maria João Frade Information

University

Position

HASLab / INESC TEC and

Citations(all)

435

Citations(since 2020)

106

Cited By

362

hIndex(all)

8

hIndex(since 2020)

6

i10Index(all)

8

i10Index(since 2020)

4

Email

Access Email

University Profile Page

Universidade do Minho

Google Scholar

View Google Scholar Profile

Maria João Frade Skills & Research Interests

type theory

program verification

logic

Top articles of Maria João Frade

Title

Journal

Author(s)

Publication Date

A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3

Journal of Logical and Algebraic Methods in Programming

Maria João Frade

Jorge Sousa Pinto

2023/6/1

Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications

Journal of Logical and Algebraic Methods in Programming

Jose Espirito Santo

Maria Joao Frade

Luis Pinto

2023/2/1

See List of Professors in Maria João Frade University(Universidade do Minho)