Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
João Paulo de Sousa Ferreira Fernandes
AuthID:
R-000-7AT
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (73)
Article (18)
Unpublished (3)
Proceedings (3)
Editorial Material (3)
Article in Press (3)
Book Chapter (3)
Year Start - End:
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
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: 106
101
TÃTULO:
End-Users Productivity in Model-Based Spreadsheets: An Empirical Study
AUTORES:
Laura Beckwith
;
Jácome Cunha
;
João Paulo Fernandes
;
João Saraiva
;
PUBLICAÇÃO:
2011
,
FONTE:
3rd International Symposium on End-User Development, IS-EUD 2011
in
End-User Development - Third International Symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011. Proceedings,
VOLUME:
6654
INDEXADO EM:
Scopus
DBLP
CrossRef
Handle
NO MEU:
ORCID
|
DBLP
102
TÃTULO:
Shortcut fusion rules for the derivation of circular and higher-order programs
AUTORES:
Pardo, A;
Fernandes, JP
;
Saraiva, J
;
PUBLICAÇÃO:
2011
,
FONTE:
Higher-Order and Symbolic Computation,
VOLUME:
24,
NÚMERO:
1-2
INDEXADO EM:
Scopus
DBLP
CrossRef
:
5
NO MEU:
ORCID
|
DBLP
103
TÃTULO:
Strictification of circular programs
AUTORES:
Fernandes, JP
;
Saraiva, J
; Seidel, D; Voigtlander, J;
PUBLICAÇÃO:
2011
,
FONTE:
20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11
in
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
INDEXADO EM:
Scopus
DBLP
CrossRef
:
3
NO MEU:
ORCID
|
DBLP
104
TÃTULO:
Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTORES:
Alberto Pardo;
João Paulo Fernandes
;
João Saraiva
;
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 Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009
INDEXADO EM:
Scopus
DBLP
CrossRef
:
1
NO MEU:
ORCID
|
DBLP
105
TÃTULO:
A Shortcut Fusion Rule for Circular Program Calculation
AUTORES:
Joao Paulo Fernandes
; Alberto Pardo;
Joao Saraiva
;
PUBLICAÇÃO:
2007
,
FONTE:
11th ACM SIGPLAN Haskell Workshop
in
HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
11
NO MEU:
ORCID
|
DBLP
106
TÃTULO:
Tools and libraries to model and manipulate circular programs
Full Text
AUTORES:
Fernandes, JP
;
Saraiva, J
;
PUBLICAÇÃO:
2007
,
FONTE:
2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation
in
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
INDEXADO EM:
Scopus
DBLP
CrossRef
:
9
NO MEU:
ORCID
|
DBLP
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 11 de 11. Total de resultados: 106.
<<
<
3
4
5
6
7
8
9
10
11
>
>>
×
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
