

SOME RECENT PUBLICATIONS
Journal Papers [J ?] A logic for the stepwise development of reactive systems (with A.Madeira, L. Barbosa, R. Hennicker), Theoretical Computer Science (Online here here ) [J17b] Paraconsistency in hybrid logic (with D. Costa), Journal of logic and Computation , vol. 27 (6), 18251852, 2017. (Get a preprint at ParaHL ) [J17a] Applying differential dynamic logic to reconfigurable biological networks, (with D. Figueiredo and M. Chaves) Mathematical Biosciences, vol. 291, 1020, 2017. [J16e] An exercise on the generation of manyvalued dynamic logics (with A. Madeira, R. Neves), Journal of Logical and Algebraic Methods in Programming, vol. 85 (5), 1011–1037, 2016. [J16d] Continuity as a computational effect (with R. Neves, L. S. Barbosa, D. Hofmann), Journal of Logical and Algebraic Methods in Programming, vol. 85 (5), 1057–1085, 2016. [J16c] A method for rigorous design of reconfigurable systems (with A. Madeira, R. Neves and L. S. Barbosa), Science of Computer Programming, vol. 132, 50–76, 2016. [J16b] Proof theory for hybrid(ised) logics (with A. Madeira, R. Neves and L. S. Barbosa), Science of Computer Programming, vol. 126, 73–93, 2016. [J16a] Behavioral equivalence of hidden klogics: an abstract algebraic approach (with Sergey Babenyshev), Journal of Applied Logic, vol. 16, 72–91, 2016. [J15] A Refinement in hybridised institutions (with A. Madeira, L. S. Barbosa and R. Hennicker), Formal Aspects of Computing, Vol. 27 (2), pp 375395, 2014. [J14d] A semantics for equational hybrid propositional type theory (with María Manzano and Antonia Huertas) Bull. Sect. of Logic, Vol. 43:3/4, pp. 121–138. (Available at sehptt.pdf ) See more. [J14c] A Hilbertstyle axiomatisation for equational hybrid logic (with L. S. Barbosa and M. Carreteiro), Journal of Logic, Language and Information, Vol. 23 (1), pp 3152, 2014. [J14b] Deductiondetachment theorem in hidden klogics (with S. Babenyshev), Journal of logic and Computation. Vol. 24 (1), 2014, 233255. (Get a preprint at Ria ) [J14a] The role of logical interpretations on program development (with A. Madeira and L. S. Barbosa), Logical Methods in Computer Science, 10(1:1):139, 2014. (Available at rlipd.pdf ) [J13c] Malinowski modalization, modalization through fibring and the Leibniz hierarchy (with George Voutsadakis), Logic Journal of the IGPL, 21 (5): 836852, 2013. (Get a preprint at algmod.pdf ) [J13b] On a coalgebraic view on logic (with D. Hofmann), Journal of logic and Computation. 23 (5): 10971106, 2013. [J13a] A coalgebraic perspective on logical interpretations (A. Madeira and L. S. Barbosa), Studia Logica. vol. 101 (4), 783825, 2013. [J10] Admissible equivalence systems (with S. Babenyshev), Bull. Sect. of Logic, vol. 39 1/2, 1733, 2010. (Available at aes.pdf ) [J09] Behavioral algebraization of logics (with C. Caleiro and R. Gonçalves), Studia Logica. vol. 91, 63111, 2009. [J08b] Automatic structures for semigroup constructions, (with I. Andrade and L. Descalço), Semigroup Forum, vol. 76, 239–255, 2008. [J08a] On the behavioral equivalence between kdata structures , Computer Journal, Oxford Journals, vol. 51(2) 181191, 2008. ( honourable mention of the Computer Journal Wilkes Award 2008 ) [J07b] Closure properties for the class of behavioral models, Theoretical Computer Science, vol. 379(12) 5383, 2007. (Get a preprint at CPCBM.pdf ) [J07a] Behavioural reasoning for conditional equations (with Don Pigozzi), Mathematical Structures in Computer Science, vol. 17(5), 10751113, 2007. (Get a preprint at BRCE.pdf ) [J06] Behavioral institutions and refinements in generalized hidden logics, Journal of Universal Computer Science,Springer, vol. 12(8), 10201049, 2006. [J05] On the injectivity of the Leibniz operator (with L. Descalço), Bull. Sect. of Logic, 34(4), 203211, 2005. Serial Papers and Book Chapters
[S15b] Completeness and Decidability Results for Hybrid(ised) Logics (with R. Neves, L. S. Barbosa) SBMF 2014, Lect. Notes in Computer Science, vol. 8941, pp 146161, 2015. [S15a] A Dynamic Logic for Every Season (with A. Madeira, R. Neves and L. S. Barbosa) SBMF 2014, Lect. Notes in Computer Science, vol. 8941, pp 130145, 2015. (Get a preprint at CompDecHL ) [S14a] An Institution for Alloy and Its Translation to SecondOrder Logic. (with R. Neves, A. Madeira and L. S. Barbosa) In Integration of Reusable Systems: Advances in Intelligent Systems and Computing. Thouraya BouabanaTebibel, Stuart H. Rubin eds., Springer International Publishing, pp 4575. 2014. [S13b] Boilerplates for reconfigurable systems: a language and its semantics (with A. Madeira and L. S. Barbosa); In Proceedings of the SBLP'13, Lect. Notes in Computer Science, vol. 8129, pp 7589, 2013. [S13a] Hybridisation at work (with R. Neves, A. Madeira and L. S. Barbosa) In Proceedings of the Algebra and Coalgebra in Computer Science, Lect. Notes in Computer Science, vol. 8089, pp 340345, 2013. [S11c] Hybrid specification of reactive systems: An institutional approach (with A. Madeira, J. M. Faria and L. S. Barbosa). In Proceedings of the SEFM'11 (9th Inter. Conf. on Software Engineering and Formal Methods), G. Barthe, A. Pardo, and G. Schneider (Eds.): SEFM 2011, Lect. Notes in Computer Science, vol. 7041, pp. 269–285, 2011. (Get a preprint at SEFM11.pdf ) [S11b] Hybridization of institutions (with A. Madeira, R. Diaconescu, L. S. Barbosa). In Proc. of Fourth International Conference on Algebra and Coalgebra in Computer Science (CALCO 2011), A. Corradini, B. Klin, and C. Cîrstea (Eds.): CALCO 2011, Lect. Notes in Computer Science, vol. 6859, pp. 283–297, 2011. [S11a] Refinement by interpretation in Piinstitutions (with C. Rodrigues, A. Madeira and L. S. Barbosa). In Proc. of the Reﬁnement Workshop REFINE’11, Limerick, Ireland (colocated with Formal Methods 2011). Electronic Proceedings in Theoretical Computer Science 55, pp. 5364, 2011. [S09b] Reﬁnement via interpretation in a general setting (with A. Madeira and L. S. Barbosa). In Proc. of the Reﬁnement Workshop REFINE’09, Eindhoven, Netherlands (colocated with Formal Methods 2009). Electr. Notes Theor. Comput. Sci., vol 259, pp 105121, 2009. [S09a] Refinement via interpretation (with A. Madeira and L. Barbosa). In Proc. of the 7th IEEE Inter. Conf. on Software Engineering and Formal Methods (SEFM'09), Hanoi, Vietnam, 2327 Nov, IEEE Computer Society Press, pp 250259, 2009. Preereviewed Conference Papers
[C12b] Equational hybrid type theory (M. Manzano and A.
Huertas). In proceedings of 9th Advances in Modal Logic (AiML'12) Short
Presentations, T. Bolander, T. Braüner, S. Ghilardi and L. Moss, eds.
Copenhagen, pp. 37–41, 2012.
[C12a] Towards a semantics for infinitary equational hybrid logic (with A. Madeira and L. S. Barbosa). In proceedings of 9th Advances in Modal Logic (AiML'12) Short Presentations, T. Bolander, T. Braüner, S. Ghilardi and L. Moss, eds. Copenhagen, pp. 42–46, 2012. [C11e] Models as arrows: the role of dialgebras (with A. Madeira and L. S. Barbosa). In Proc. of the 7th Conference on Computability in Europe: Models of computation in context (CiE 2011). Eds. H. Ganchev, B. Löwe, D. Normann, I. Soskov, M. Soskova. Sofia, Bulgaria, 144153, 2011. [C11d] Many Faces of Logic (with D. Hofmann). Electronic proceedings of Third International Congress on Tools for Teaching Logic, University of Salamanca, Spain, 14 June, 2011. [C11c] Reasoning about complex requirements in a uniform setting (with A. Madeira and L. S. Barbosa). Electronic proceedings of Third International Congress on Tools for Teaching Logic, University of Salamanca, Spainn, 14 June, 2011. [C11b] Abstract algebraic logic and computer science (with J. Poças and C. Caleiro). Electronic proceedings of Third International Congress on Tools for Teaching Logic, University of Salamanca, Spain, 14 June, 2011. [C11a] On requirements engineering for reactive systems: A formal methodology (with A. Madeira, J. M. Faria and L. S. Barbosa) Presented at I Brazilian Conference on Critical Embedded Systems, IEEE Computer Society, University of São Paulo, São Carlos, Brazil, 1113 May, 2011. [C10] Applying abstract algebraic logic to classical automata theory: an exercise (with L. Descalço and A. Madeira). In Proc. of the 6th Conference on Computability in Europe: Programs, proofs, processes (CiE 2010). F. Ferreira, H. Guerra, E. Mayordomo and J. Rasga (Eds.). Azores, Portugal, 146157, 2010. [C06c] A teaching aid for building proofs in propositional calculus (with E. H. Manfredini and P. Cruz) In Proc. of the Second International Congress on Tools for Teaching Logic, University of Salamanca, 5156, September 2630, 2006. [C06b] Applying abstract algebraic logic to behavioral reasoning. In Proc. of the Second International Congress on Tools for Teaching Logic, University of Salamanca, 111115, September 2630, 2006. [C06a] To prove a tautology (with E. H. Manfredini). In Proc. of the International Conference in Mathematics, Sciences and Science Education  ICMSE06, June 1114, Aveiro, Portugal, 193198, 2006. Thesis
Other preereviewed short publications
Work in progress

