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.
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.
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.
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.
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