João Paulo de Sousa Ferreira Fernandes


AuthID: R-000-7AT

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: IS-EUD, VOLUME: 6654 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 6 Handle
NO MEU: ORCID | CIÊNCIAVITAE
102
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: High. Order Symb. Comput., VOLUME: 24, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
103
TÍTULO: Strictification of circular programs  Full Text
AUTORES: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLICAÇÃO: 2011, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
104
105
TÍTULO: A Shortcut Fusion Rule for Circular Program Calculation
AUTORES: Fernandes, JP ; Pardo, A; Saraiva, J ;
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: 16
NO MEU: ORCID | CIÊNCIAVITAE
106
TÍTULO: Tools and libraries to model and manipulate circular programs  Full Text
AUTORES: João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2007, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 14
NO MEU: ORCID | CIÊNCIAVITAE
Página 11 de 11. Total de resultados: 106.

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