Author Info
Name
Affiliation
Papers
MARIA JOÃO FRADE
Departamento de Informática/CCTC, Universidade do Minho, Braga, Portugal
7
Collaborators
Citations 
PageRank 
8
19
2.89
Referers 
Referees 
References 
53
171
114
Search Limit
100171
Title
Citations
PageRank
Year
A generalized program verification workflow based on loop elimination and SA form00.342019
A Generalized Approach to Verification Condition Generation00.342018
Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts.00.342016
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.10.352016
Verification conditions for single-assignment programs10.362012
Verification conditions for source-level imperative programs150.762011
Bidirectional data-flow analyses, type-systematically20.402009