Maria João Gomes Frade


AuthID: R-000-BWB

Publicações Confirmadas: 17



11
TÍTULO: Verification conditions for source-level imperative programs
AUTORES: Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Rev., VOLUME: 5, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 19
12
TÍTULO: Bidirectional data-flow analyses, type-systematically
AUTORES: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLICAÇÃO: 2009, FONTE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
13
TÍTULO: Foundational certification of data-flow analyses
AUTORES: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLICAÇÃO: 2007, FONTE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Structural proof theory as rewriting
AUTORES: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLICAÇÃO: 2006, FONTE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Type-based termination of recursive definitions
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP
16
TÍTULO: Constructor subtyping
AUTORES: Barthe, G; Frade, MJ ;
PUBLICAÇÃO: 1999, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1576
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
17
TÍTULO: Type-based termination of recursive definitions
AUTORES: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLICAÇÃO: 1999, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, NÚMERO: 1
INDEXADO EM: CrossRef
Página 2 de 2. Total de resultados: 17.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service