[1] M. A. Barbosa and L. S. Barbosa. A perspective on service orchestration. Sci. Comput. Program., Elsevier, 74(9):671–687, 2009.

[2] L. S. Barbosa and Sun Meng. Bringing class diagrams to life. Innovations in Systems and Software Engineering, Springer, 6(1-2):91–98, 2010.

[3] N. Oliveira, N. F. Rodrigues, and Pedro R. Henriques. Domain-specific language for coordination patterns. Comput. Sci. Inf. Syst., 8(2):343–359, 2011.

[4] Roland Backhouse and João F. Ferreira. On Euclid’s algorithm and elementary number theory. Sci. Comput. Program., Elsevier, 76(3):160–180, 2011.

Book Chapters

[1] Sun Meng and L. S. Barbosa. A coalgebraic semantic framework for reasoning about interaction designs. In Kevin Lano, editor, UML2 Semantics and Applications, pages 249–279. John Wiley and Sons, Inc., 2009.

[2] J.N. Oliveira. Extended static checking by calculation using the pointfree transform. In Ana Bove, Luís Soares Barbosa, Alberto Pardo, and Jorge Sousa Pinto, editors, Language Engineering and Rigorous Software Devel- opment, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, Revised Tutorial Lectures, volume 5520 of Lecture Notes in Computer Science, pages 195–251. Springer, 2009.

Conference Papers

[1] João F. Ferreira and Alexandra Mendes. Student’s feedback on teaching mathematics through the calculational method. In 39th ASEE/IEEE Frontiers in Education Conference. IEEE, 2009.

[2] P.F. Silva, J. Visser, and J.N. Oliveira. Galois: A language for proofs using Galois connections and fork algebras. In PLMMS’09 - ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems. Munich, Germany. ACM, 2009.

[3] J. F. Ferreira, A. Mendes, R. Backhouse, and L. S. Barbosa. Which mathematics for the information society? In J. Gibbons and J. N. Oliveira, editors, Inter. Conf. on Teaching Formal Methods (TFM’09), pages 39–56. Springer Lect. Notes Comp. Sci. (5846), 2009.

[4] H. Macedo and J.N. Oliveira. Matrices as arrows. In John Power Magne Haveraaen, Marina Lenisa and Monika Seisenberger, editors, Proc. of CALCO-JR 2009, Udine, Italy, September 7-10, 2009. Tech. Rep. 5-2010of the University of Udine, 2009.

[5] M. A. Martins, A. Madeira, and L. S. Barbosa. Refinement by interpretation. In Dang Van Hung and Padmanabhan Krishnan, editors, 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM’09), pages 250–259. IEEE Computer Society Press, 2009.

[6] M. D. Campos and L. S. Barbosa. Implementation of an orchestration language as a Haskell domain specific language. In F. Arbab and M. Sijarni, editors, Proc. FOCLASA’09, Electr. Notes Theor. Comput. Sci. (255), pages 45–64. Elsevier, 2009.

[7] M. A. Martins, A. Madeira, and L. S. Barbosa. Refinement by interpretation in a general setting. In J. Derrick E. Boiten and S. Reeves, editors, Proc. Refinement Workshop 2009, Electr. Notes Theor. Comput. Sci. (256), pages 105–121. Elsevier, 2009.

[8] M. A Barbosa, L. S. Barbosa, and J.C. Campos. A coordination model for interactive components. In F. Arbab and M. Sirjani, editors, Proc. of FSEN 2009, Kish, Iran, pages 416–430. Springer Lect. Notes Comp. Sci. (5961), 2010.

[9] Nuno Oliveira, N. F. Rodrigues, Pedro R. Henriques, and L. S. Barbosa. A pattern language for architectural analysis. In SBLP 2010 14th Brazilian Symposium in Programming Languages, volume 2, pages 167–180, Slavador, Brasil, September 2010. SBC — Brazilian Computer Society (ISSN: 2175-5922).

[10] João F. Ferreira. Designing an algorithmic proof of the two-squares theorem. In Claude Bolduc, Jules Desharnais, and Béchir Ktari, editors, Mathematics of Program Construction, Proc. 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010., volume 6120 of Lecture Notes in Computer Science, pages 140– 156. Springer, 2010.

[11] L. S. Barbosa and M. H. Martinho. Should mathematics remain invisible? In EIMI 2010 - International Conference Educational Interfaces between Mathematics and Industry, pages 85–95. CIM - Centro Internacional de Matemática, Portugal, October 2010.

[12] João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, L.S. Barbosa, and J. N. Oliveira. Logic training through algorithmic problem solving. In Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, and Fernando Soler-Toscano, editors, Tools for Teaching Logic - Proc. Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011., volume 6680 of Lecture Notes in Computer Science, pages 62–69. Springer, 2011.

[13] Sara Fernandes, A. Cerone, and L.S. Barbosa. Exploiting the floss paradigm in collaborative e-learning — application to e-government. In David Ferriero and Haiyan Qian, editors, Open Innovation for Global Change — Proc. International Conference on Theory and Practice of Electronic Governance, ICGOV’12. ACM Press, 2012.

[14] Sara Fernandes, A. Cerone, and L.S. Barbosa. A preliminary analysis of learning awareness in FLOSS projects. In Antonio Cerone and Donatella Persico, editors, InSuEdu 2012 - Proc. 1st International Symposium on Innovation and Sustainability in Education, Lecture Notes in Computer Science (in print). Springer, October 2012.

[15] L. S. Barbosa and M. H. Martinho. Mathematical literacy as a condition for sustainable development. In Antonio Cerone and Donatella Persico, editors, InSuEdu 2012 - Proc. 1st International Symposium on Innovation and Sustainability in Education, Lecture Notes in Computer Science (in print). Springer, October 2012.

PhD Theses

[1] João F. Ferreira. Principles and Applications of Algorithmic Problem Solving. PhD thesis, University of Nottingham, 2010.

[2] Alexandra M. Silva. Kleene Coalgebra. PhD thesis, University of Nijmegen, 2010.

[3] Alexandra Mendes. Structured Editing of Handwritten Mathematics. PhD thesis, University of Nottingham, 2012.