Home Publications Training Teaching Bookmarks

  


SOME RECENT PUBLICATIONS


Journal Papers


[J?] Paraconsistency in hybrid logic (with D. Costa), Journal of logic and Computation , accepted for publication (Get a preprint at ParaHL )
[J16e] An exercise on the generation of many-valued 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 k-logics: 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 375-395, 2014.
[J14] 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.
See more.
[J14c] A Hilbert-style axiomatisation for equational hybrid logic (with L. S. Barbosa and M. Carreteiro), Journal of Logic, Language and Information, Vol. 23 (1), pp 31-52, 2014.
[J14b] Deduction-detachment theorem in hidden k-logics (with S. Babenyshev), Journal of logic and Computation. Vol. 24 (1), 2014, 233-255. (Get a preprint atat 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):1-39, 2014. (Get a preprint: rlipd.pdf)
[J13c] Malinowski modalization, modalization through fibring and the Leibniz hierarchy (with George Voutsadakis), Logic Journal of the IGPL, 21 (5): 836-852, 2013. (Get a preprint: algmod.pdf)
[J13b] On a coalgebraic view on logic (with D. Hofmann), Journal of logic and Computation. 23 (5): 1097-1106, 2013. (Get a preprint: cvl.pdf)
[J13a] A coalgebraic perspective on logical interpretations (A. Madeira and L. S. Barbosa), Studia Logica. vol. 101 (4),783-825, 2013. (Get a preprint: coalgIntp.pdf )
[J10] Admissible equivalence systems (with S. Babenyshev), Bull. Sect. of Logic, vol. 39 1/2, 17-33, 2010. (Get a preprint: aes.pdf)
[J09] Behavioral algebraization of logics (with C. Caleiro and R. Gonçalves), Studia Logica. vol. 91, 63-111, 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 k-data structures , Computer Journal, Oxford Journals, vol. 51(2) 181-191, 2008. ( honourable mention of the Computer Journal Wilkes Award 2008 )
[J07b] Closure properties for the class of behavioral models, Theoretical Computer Science, vol. 379(1-2) 53-83, 2007. (Get a preprint: CPCBM.pdf)
[J07a] Behavioural reasoning for conditional equations (with Don Pigozzi), Mathematical Structures in Computer Science, vol. 17(5), 1075-1113, 2007. (Get a preprint: BRCE.pdf)
[J06] Behavioral institutions and refinements in generalized hidden logics, Journal of Universal Computer Science,Springer, vol. 12(8), 1020-1049, 2006.
[J05] On the injectivity of the Leibniz operator (with L. Descalço), Bull. Sect. of Logic, 34(4), 203-211, 2005.

Hide this content.

Serial Papers and Book Chapters


[S?] A short overview of hidden logic (with I. Ferreirim), to appear in Don Pigozzi on Abstract Algebraic Logic and Universal Algebra, Outstanding Contributions to Logic, J. Czelakowski (ed.), Springer-Verlag.
[S16c] 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. 1-16, 2016.
[S16b] 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. 422-440, 2016.
[S16a] A Tableau System for Quasi-Hybrid Logic (with Diana Costa). N. Olivetti and A. Tiwari (Eds.): IJCAR 2016, LNAI 9706, pp. 435-451, 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 146-161, 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 130-145, 2015.(Get a preprint at CompDecHL )
See more.

[S14a] An Institution for Alloy and Its Translation to Second-Order Logic. (with R. Neves, A. Madeira and L. S. Barbosa) In Integration of Reusable Systems: Advances in Intelligent Systems and Computing. Thouraya E Bouabana-Tebibel, Stuart H. E Rubin eds., Springer International Publishing, pp 45-75. 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 75-89, 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 340-345, 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: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 Pi-institutions (with C. Rodrigues, A. Madeira and L. S. Barbosa). In Proc. of the Refinement Workshop REFINE’11, Limerick, Ireland (co-located with Formal Methods 2011). Electronic Proceedings in Theoretical Computer Science 55, pp. 53-64, 2011.
[S09b] Refinement via interpretation in a general setting (with A. Madeira and L. S. Barbosa). In Proc. of the Refinement Workshop REFINE’09, Eindhoven, Netherlands (co-located with Formal Methods 2009). Electr. Notes Theor. Comput. Sci., vol 259, pp 105-121, 2009. (Get a preprint: rvigs.pdf)
[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, 23-27 Nov, IEEE Computer Society Press, pp 250-259, 2009. (Get a preprint: rvi.pdf).

Hide this content.

Pree-reviewed Conference Papers


[C15a] A paradigm integration in a specification course (with R. Neves, A. Madeira, M. A. Martins and L. S. Barbosa). In Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, IRI 2014, pp. 492-499, IEEE Computer Society Press, 2015.
[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, 37-42, 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. 512-519, 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. 84-98; doi:10.4204/EPTCS.115.6, 2013.
See more.

[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. (Get a preprint: EHTT.pdf)
[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. (Get a preprint: TSIEHL.pdf)
[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, 144-153, 2011. (Get a preprint: mard.pdf)
[C11d] Many Faces of Logic (with D. Hofmann). Electronic proceedings of Third International Congress on Tools for Teaching Logic, University of Salamanca, Spain, 1-4 June, 2011. (Get a preprint: mfl.pdf)
[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, 1-4 June, 2011.(Get a preprint: racrus.pdf)
[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, 1-4 June, 2011. (get a preprint: aalcs.pdf)
[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, 11-13 May, 2011. (get a preprint: rers_fm.pdf)
[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, 146-157, 2010. (Get a preprint: alva.pdf).
[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, 51-56, September 26-30, 2006.
[C06b] Applying abstract algebraic logic to behavioral reasoning. In Proc. of the Second International Congress on Tools for Teaching Logic, University of Salamanca, 111-115, September 26-30, 2006.
[C06a] To prove a tautology (with E. H. Manfredini). In Proc. of the International Conference in Mathematics, Sciences and Science Education - ICMSE06, June 11-14, Aveiro, Portugal, 193-198, 2006. (Get a preprint:TPTaut.pdf)

Hide this content.

Thesis


Behavioral Reasoning in Generalized Hidden Logics - PhD Thesis (supervisors: Professor Don Pigozzi and Professor Isabel Ferreirim), University of Lisbon, 2004. (PhDthesis.pdf)
Amalgamação em Lógica - MSc Thesis (supervisor: Prof. E. H. Manfredini), University of Aveiro, 1998. (MscT.pdf - in Portuguese)

Other publications


Classical principles in molecular logic (with D. Costa, C. Fuentes, P. Fuentes). In Proceedings of ICNAAM, AIP Conf. Proc. 1648, 710005 (4 pag.), 2015.
A fuzzy neural network for E. coli metabolism (with D. Figueiredo, C. Fuentes). In Proceedings of ICNAAM, AIP Conf. Proc. 1648, 710005 (4 pag.), 2015.
A logic for robotics (with A. Madeira, R. Neves, L. Barbosa). In Proceedings of ICNAAM, AIP Conf. Proc. 1648, 710005 (4 pag.), 2015. Behavioral reasoning for conditional equations (with Don Pigozzi) Cadernos de Matemática, University of Aveiro, (CM03/I-19), June 2003.
Algumas aplicações do cálculo proposicional (in Portuguese - with E. H. Manfredini) Boletim da Sociedade Portuguesa de Matemática, Nº 48, May 2003, 37-52. (Get a preprint: Aplicpc.pdf)

Work in progress


Hierarchical hybrid logic (with R. Neves, A. Madeira and L. S. Barbosa) Submitted to a Journal(Get a preprint: H2L.pdf)