João Paulo de Sousa Ferreira Fernandes


AuthID: R-000-7AT

Confirmed Publications: 106



101
TITLE: End-Users Productivity in Model-Based Spreadsheets: An Empirical Study
AUTHORS: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2011, SOURCE: IS-EUD, VOLUME: 6654 LNCS
INDEXED IN: Scopus DBLP CrossRef: 6 Handle
IN MY: ORCID | CIÊNCIAVITAE
102
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2011, SOURCE: High. Order Symb. Comput., VOLUME: 24, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | CIÊNCIAVITAE
103
TITLE: Strictification of circular programs  Full Text
AUTHORS: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLISHED: 2011, SOURCE: PEPM
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
104
105
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Fernandes, JP ; Pardo, A; Saraiva, J ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | CIÊNCIAVITAE
106
Page 11 of 11. Total results: 106.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service