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