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: 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
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID | DBLP
102
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
103
TITLE: Strictification of circular programs
AUTHORS: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
104
TITLE: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
105
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
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: 11
IN MY: ORCID | DBLP
106
TITLE: Tools and libraries to model and manipulate circular programs  Full Text
AUTHORS: Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP
Page 11 of 11. Total results: 106.

A place for researchers and their institutions

Useful Links

Get Help

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