Project Publications

Journal papers

[CH11] Maria Manuel Clementino and Dirk Hofmann, On the completion monad via the Yoneda embedding in quasi-uniform spaces, accepted for publication in Topology Appl., 2011.

[HW11] Dirk Hofmann and Pawel Waszkiewicz, Approximation in quantale-enriched categories, Topology Applications, 158 (8), pp 963–977, 2011.

[HS11] Dirk Hofmann and Isar Stubbe, Towards Stone duality for topological theories, Topology Applications, 158 (7), pp 913–925, 2011.

[RB10] Rodrigues, N. F. and Barbosa, L. S., Slicing for Architectural Analysis, Science of Computer Programming, 75 (10), pp 828-847, Elsevier, 2010.

Conference papers

[MMDB11] M. A. Martins, A. Madeira, R. Diaconescu and L. S. Barbosa, Hybridization of institutions, accepted for publication at Proc. of Fourth International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011). Winchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.

[MBR11] A. Martins, L. S. Barbosa and N. F. Rodrigues, SHACC: A functional animator for a component calculus, accepted for publication at Proc. of CALCO-Tools. WInchester, UK, 30 August - 2 September, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2011.

[MMB11b] A. Madeira, M. A. Martins and L. S. Barbosa, Models as arrows: the role of dialgebras, accepted for publication at Proc. of the Conference on Computability in Europe: Models of Computation in Context (CiE? 2011). 27 June - 2 July 2011.

[MMB11] M.A. Martins, A. Madeira and L. S. Barbosa, Reasoning about complex requirements in a uniform setting accepted at Third International Congress on Tools for Teaching Logic, Universidad de Salamanca, 1-4 June, 2011.

[MFMB11] A. Madeira, J. M. Faria, M. A. Martins, L. S. Barbosa, On requirements engineering for reactive systems: A formal methodology accepted for publication in Proc. I Brazilian Conference on Critical Embedded Systems, University of S. Paulo, Brazil, May 11th - 13th, IEEE Computer Society, 2011

[CO11] Mu, Shin Cheng and Oliveira, Jose, Programming from Galois Connections, Proc. of the 12th Int. Conf. on Relational and Algebraic Methods in Computer Science (RAMiCS 12), Springer Lecture Notes in Computer Science, vol 6663, pp 294-313, Springer Verlag, 2011.

[BBR10] Barbosa, L. S. and Barbosa, M. A. and Rodrigues, C.J., Revisiting context-aware component interconnection, Proceedings of 12th SYNASC, Timisoara, Romania, pp 377-384, IEEE Computer Society, 2010.

[MO10b] Macedo, Hugo and Oliveira, Jose, Towards Linear Algebras of Components, Proc. of FACS 2010, 7th International Workshop on Formal Aspects of Component Software, Guimaraes, Portugal, Springer Lecture Notes in Computer Science (to appear), Springer Verlag, 2010.

[DMM10] L. Descalço, A. Madeira and M. A. Martins. Applying abstract algebraic logic to classical automata theory: an exercise, Proc. of the 6th Conference on Computability in Europe: Programs, proofs, processes (CiE 2010). Eds. F. Ferreira, H. Guerra, E. Mayordomo and J. Rasga, Azores, Portugal, 146-157, 2010.

[BM10] Barbosa, L. S. and Sun, M., QoS-aware Component Composition, CISIS 2010, Proc. The Fourth International Conference on Complex, Intelligent and Software Intensive Systems, pp 1008-1013, IEEE Computer Society, 2010.

[MB10] Sun Meng and Barbosa, L. S., Towards the introduction of QoS information in a component model, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, pp 2045-2046, ACM Pub, 2010.

[MO10] Macedo, Hugo and Oliveira, Jose, Matrices as Arrows!, Proc of 10th Int. Conf. on Mathematics of Program Construction, Springer Lecture Notes in Computer Science, vol 6120, pp 271-287, Springer Verlag, 2010.

Thesis and dissertations

[Alb10] H. C. Albuquerque, Propositional Logic via Lindenbaum-Tarski and Curry-Howard, MSc thesis in Mathematics and Applications, Aveiro University, 2010.