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