

SOME RECENT PUBLICATIONS
Journal Papers
[J18] A logic for the stepwise development of reactive systems (with A.Madeira, L. Barbosa, R. Hennicker), Theoretical Computer Science, vol. 744, 7896, 2018. (Online 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, 2015. [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 ehptt.pdf ) [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, vol. 34(4), 203211, 2005. Serial Papers and Book Chapters
[S18a] On infinitary equational hybrid logic (with A.Madeira, L. Barbosa) In Aftermath of the Logical Paradise, Beziau, JY.; CostaLeite, A; D’Ottaviano, I. M. L. (orgs.). , Coleção CLE, v.81, pp. 173202, 2018.
[S17c] A family of graded epistemic logics (with M. Benevides, A. Madeira). 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), Flávio L. C. de Moura, Sandra Alves, Renata Wassermann, Electronic Notes in Theoretical Computer Science, vol 338, pp. 4559, 2018. [S17b] Hierarchical hybrid logic (with A. Madeira, R. Neves, L. Barbosa). 12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017), Flávio L. C. de Moura, Sandra Alves, Renata Wassermann, Electronic Notes in Theoretical Computer Science, vol 338, pp. 167184, 2018. [S17a] Asymmetric Combination of Logics is Functorial: A survey (with R. Neves, A. Madeira, L.Barbosa) P. James, M. Roggenbach, Recent Trends in Algebraic Development Techniques. WADT 2016. Vol 10644 of Lecture Notes in Computer Science, 3955, Springer, 2017. [S16d] On Interval Dynamic Logic (with R. Santiago, B. Bedregal, A. Madeira). SBMF’ 2016  XIX Brazilian Symposium in Formal Methods. SBMF 2016, Lecture Notes in Computer Science, vol 10090, pp. 116, 2016. [S16c] Dynamic Logic with Binders and its Application to the Development of Reactive Systems (with A. Madeira, R. Hennicker and L. S. Barbosa). ICTAC 2016  13th International Colloquium on Theoretical Aspects of Computing. Lecture Notes in Computer Science, vol 9965, pp. 422440, 2016. [S16b] Reuse and integration of specification logics: The hybridisation perspective (with R. Neves, A. Madeira, L. Barbosa) In Thouraya BouabanaTebibel and Stuart H. Rubin, eds, Theoretical Information Reuse and Integration, Advances in Intelligent Systems and Computing, 446, Springer, pp 130, 2016. [S16a] A Tableau System for QuasiHybrid Logic (with Diana Costa). N. Olivetti and A. Tiwari (Eds.): IJCAR 2016, LNAI 9706, pp. 435451, 2016. [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 ) [S14] 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
[C14a] Inconsistencies in Health Care Knowledge (with D. Costa) In Proceedings of The 1st International Workshop on Reliability of eHealth Information Systems  IEEE HEALTHCOM 2014, 3742, IEEE Computer Society Press, 2014. [C13c] Giving ALLOY a family (with R. Neves, A. Madeira, M. A. Martins and L. S. Barbosa) In Proceedings of FMi'13; IRI 2013, pp. 512519, IEEE Computer Society Press, 2013. [C13b] When even the interfaces evolve... (with R. Neves, A. Madeira and L. S. Barbosa) In Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE), IEEE Computer Society Press.79  82, doi:10.1109/TASE.2013.19, 2013. [C13a] Bisimilarity and refinement for hybrid(ised) logics (with A. Madeira, M. A. Martins and L. S. Barbosa). In Proceedings of Refine 2013, John Derrick, Eerke Boiten and Steve Reeves (eds.) EPTCS 115, pp. 8498; doi:10.4204/EPTCS.115.6, 2013. [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. Volumes
Thesis
Other preereviewed short publications

