...collaborate on

Publications

  • 2012

Extension and Implementation of ClassSheet Models, Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. In the Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'12), September 30-October 4, 2012. Innsbruck, Austria, (to appear).

A Web Portal for the Certification of Open Source Software, Pedro Martins, João Paulo Fernandes, João Saraiva. In the Proceedings of the 6th International Workshop on Foundations and Techniques for Open Source Software Certification Conference (OPENCERT'12), Thessaloniki, Greece, October 1-2, 2012, LNCS (to appear).

A Quality Model for Spreadsheets, Jácome Cunha, João Paulo Fernandes, Christophe Peixoto, João Saraiva. In the proceedings of 8th International Conference on the Quality of Information and Communications Technology (QUATIC'12), Lisboa, Portugal, September 3-6, 2012, IEEE Computer Society, to appear.

Towards an Evaluation of Bidirectional Model-driven Spreadsheets, Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva. In the proceedings of User evaluation for Software Engineering Researchers (USER'12), an ICSE'12 Workshop, pages 25-28, Zurich, Switzerland, June 5, 2012.

A Bidirectional Model-driven Spreadsheet Environment, Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva. In the Proceedings of the 34th International Conference on Software Engineering 2012 (ICSE'12, Posters and Informal Demonstrations), IEEE Press, pages 1443-1444, Zurich, Switzerland, June 2-9, 2012.

Program and Aspect Metrics for Matlab, Pedro Martins, Paulo Lopes, João Paulo Fernandes, João Saraiva and João Cardoso. In the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA'12), pages 217-233, Salvador da Bahia, Brasil, June 18-21, 2012. LNCS 7336.

Towards a Catalog of Spreadsheet Smells, Jácome Cunha, João Paulo Fernandes, Hugo Ribeiro, João Saraiva. In the proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA'12), pages 202-216, Salvador da Bahia, Brazil, June 18-21, 2012. LNCS 7336.

Bidirectional Transformation of Model-Driven Spreadsheets, Jácome Cunha, João Paulo Fernandes, Jorge Mendes, Hugo Pacheco and João Saraiva. In the proceedings of the 5th International Conference on Model Transformation (ICMT'12), pages 105-120, Prague, Czech Republic, 28-29 May 2012. LNCS 7307.

MDSheet, A Framework for Model driven Spreadsheet Engineering, Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva. In the proceedings of the 34th International Conference on Software Engineering 2012 (ICSE'12, Formal demonstration), IEEE Press, pages 1395-1398, Zurich, Switzerland, June 2-9, 2012.

ACM DL Author-ize serviceFrom relational ClassSheets to UML+OCL
Jácome Cunha, João Paulo Fernandes, João Saraiva
SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012

  • 2011

Tool Demo: HaExcel: a model-based spreadsheet evolution system, Jácome Cunha, João Paulo Fernandes, Jorge Mendes and João Saraiva. In the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC’11), Pittsburgh, USA, IEEE Computer Society, September 2011.

Embedding and Evolution of Spreadsheet Models in Spreadsheet Systems, Jácome Cunha, Jorge Mendes, João Paulo Fernandes, João Saraiva, In the proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2011), pages 179-186, Pittsburgh, PA, USA, IEEE Computer Society, September 2011.

An Empirical Study on End-users Productivity Using Model-based Spreadsheets, Laura Beckwith, Jácome Cunha, João Paulo Fernandes, João Saraiva, In the proceedings of the European Spreadsheet Risks Interest Group 12th Annual Conference (EuSpRIG '11), pages 87-100, July 14-15, 2011, University of Greenwich, London. This paper is an extended version of the IS-EUD 2011 paper.

Shortcut fusion rules for the derivation of circular and higher-order programs, Alberto Pardo, João Paulo Fernandes and João Saraiva. Journal of Higher-Order and Symbolic Computation, Volume 24, Numbers 1-2, pages 115-149, Springer.

End-Users Productivity in Model-Based Spreadsheets: An Empirical Study, Laura Beckwith, Jácome Cunha, João Paulo Fernandes and João Saraiva. In the proceedings of the Third International Symposium on End-User Development (IS-EUD 2011), pages 282-288, June 7-10, 2011, Torre Canne, Italy. LNCS 6654.

ACM DL Author-ize serviceStrictification of circular programs
João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer
PEPM '11 Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2011

  • 2009

Design, Implementation and Calculation of Circular Programs, João Paulo Fernandes, VDM Verlag, ISBN 3639168968. The book publishes a revised version of the PhD thesis.

ACM DL Author-ize serviceShortcut fusion rules for the derivation of circular and higher-order monadic programs
Alberto Pardo, João Paulo Fernandes, João Saraiva
PEPM '09 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2009

  • 2008

Design, Implementation and Calculation of Circular Programs, João Paulo Fernandes, PhD thesis, University of Minho, September 2008. The thesis was defended in March, 2009 and you may read the acknowledgements section here.

  • 2007

ACM DL Author-ize serviceA shortcut fusion rule for circular program calculation
João Paulo Fernandes, Alberto Pardo, João Saraiva
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 2007

ACM DL Author-ize serviceTools and libraries to model and manipulate circular programs
João Paulo Fernandes, João Saraiva
PEPM '07 Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 2007

  • 2004
Generalized LR Parsing in Haskell, João Paulo Fernandes, João Saraiva and Joost Visser, in Informal Proceedings of the Summer School on Advanced Functional Programming, students' presentation, pages 24-37, University of Tartu, August

Generalized LR Parsing, João Paulo Fernandes, PURe Project Technical Report DI-PURe-04.11.01

r64 - 20 Sep 2012 - 09:24:38 - Main.JoaoFernandes
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM