Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Maria João Gomes Frade
AuthID:
R-000-BWB
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (10)
Article (7)
Review (1)
Book (1)
Unpublished (1)
Year Start - End:
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 20
11
TÃTULO:
Verification conditions for source-level imperative programs
Full Text
AUTORES:
Frade, MJ
;
Pinto, JS
;
PUBLICAÇÃO:
2011
,
FONTE:
Computer Science Review,
VOLUME:
5,
NÚMERO:
3
INDEXADO EM:
Scopus
DBLP
CrossRef
:
13
NO MEU:
ORCID
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
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
:
2
NO MEU:
ORCID
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
15
TÃTULO:
Type-based termination of recursive definitions
AUTORES:
Gilles Barthe
;
Maria João Frade
; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLICAÇÃO:
2004
,
FONTE:
Math. Struct. Comput. Sci.,
VOLUME:
14,
NÚMERO:
1
INDEXADO EM:
DBLP
16
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
NO MEU:
ORCID
17
TÃTULO:
Constructor subtyping
AUTORES:
Barthe, G;
Frade, MJ
;
PUBLICAÇÃO:
1999
,
FONTE:
8th European Symposium on Programming, ESOP 1999
in
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
VOLUME:
1576
INDEXADO EM:
Scopus
CrossRef
:
6
NO MEU:
ORCID
18
TÃTULO:
Constructor Subtyping
AUTORES:
Gilles Barthe
;
Maria João Frade
;
PUBLICAÇÃO:
1999
,
FONTE:
Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings,
VOLUME:
1576
INDEXADO EM:
DBLP
19
TÃTULO:
Constructor subtyping
Full Text
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:
WOS
NO MEU:
ORCID
20
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
NO MEU:
ORCID
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 2 de 2. Total de resultados: 20.
<<
<
1
2
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service