Publications

Journal Papers

[J1 ]An exercise on the generation of many-valued dynamic logics. A. Madeira, R. Neves, M. Martins. Journal of Logical and Algebraic Methods in Programming. 85(5): 1011-1037 (2016)

[J2 ] A method for rigorous design of reconfigurable systems. A. Madeira, R. Neves, L.S. Barbosa, M. A. Martins. Science of Computer Programming. 132: 50-76 (2016)

[J3 ]Proof theory for hybrid(ised) logics. R. Neves, A. Madeira, M. A. Martins, L. S. Barbosa, Science of Computer Programming. 126. pp 73-93 (2016)

[J4 ]Paraconsistency in Hybrid Logics. D. Costa and M. A. Martins, Journal of Logic and Computa- tion. https://doi.org/10.1093/logcom/exw027 (in print).

[J5 ] Continuity as a computational effect R. Neves, L. S. Barbosa, D. Hofmann and M. Martins. Journal of Logical and Algebraic Methods in Programming. 85(5): 1057-1085 (2016)

[J6 ] Applying differential dynamic logic to reconfigurable biological networks. D. Figueiredo, M. A. Martins, M. Chaves. Mathematical Biosciences, 2017.

[J7 ] The effect of immigrant communities coming from higher incidence tuberculosis regions to a host country. Eugenio M. Rocha, Cristiana J. Silva, Delfim F. M. Torres. Ricerche di Matematica, ISSN 0035-5038. 1827-3491. (in print)

Conference Papers

[C1 ] On Interval Dynamic Logic. R. Santiago, B. Bedregal, M. A. Martins and A. Madeira. SBMF 2016 - XIX Brazilian Symposium on Formal Methods. Lecture Notes in Computer Science. vol 10090. 129-144. (2016) – (3rd best paper award) http://sbmf2016.imd.ufrn.br

[C2 ] A family of graded epistemic logics. M. Benevides, A. Madeira, M. Martins. 12th Workshop on Logical and Semantic Frameworks with Applications. Electronic Notes in Theoretical Computer Science, Elsevier. (in print) http://lsfa2017.cic.unb.br

[C3 ] Asymmetric Combination of Logics is Functorial: A survey. R. Neves, A. Madeira, L. Barbosa and M. A. Martins. In M. Roggenbach, editor, Recent Trends in Algebraic Development Methods - Selected Papers of WADT 2016. LNCS (in print). http://cs.swan.ac.uk/wadt16/

[C4 ] Hierarchical hybrid logic. A. Madeira, R. Neves, M. Martins and L. S. Barbosa. 12th Work- shop on Logical and Semantic Frameworks with Applications. Electronic Notes in Theoretical Computer Science, Elsevier. (in print). http://cs.swan.ac.uk/wadt16/

[C5 ] Institutions for Observational Dynamic Logics with Binders. R. Hennicker and A. Madeira. In Viet-Ha Nguyen, editor, ICTAC 2017 - 14th International Colloquium on Theoretical Aspects of Computing. Lecture Notes in Computer Science. (in print). http://fit.uet.vnu.edu.vn/ictac2017/

[C6 ] Behavioural semantics for the dynamic logic with binders. R. Hennicker and A. Madeira. In M. Roggenbach, editor, Recent Trends in Algebraic Development Methods - Selected Papers of WADT 2016. LNCS (in print). http://cs.swan.ac.uk/wadt16/

[C7 ] Dynamic Logic with Binders and its Application to the Development of Reactive Systems. A. Madeira, R. Hennicker, M. A. Martins 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) http://cc.ee.ntu.edu.tw/~ictac2016/

[C8 ] Hybrid Automata as Coalgebras. R. Neves and L. S. Barbosa. ICTAC 2016 - 13th International Colloquium on Theoretical Aspects of Computing. Lecture Notes in Computer Science, vol 9965, pp 385-402. (2016) http://cc.ee.ntu.edu.tw/~ictac2016/

ongoing PhD theses

[PhD1 ] ongoing PhD project of Diana Costa with the project “Paraconsistency in Hybrid Logics” (to be finished in 2018)

[PhD2 ] ongoing PhD project of Renato Neves with the project “Logics and calculi for cyber-physical Computationalents” (to be finished in 2018)

[PhD3 ]ongoing PhD of Leandro Gomes with the project “Contracts on Demand” (to be finished in 2019)

[PhD4 ] ongoing PhD project of Daniel Figueiredo “Logic foundations and computational tools for synthetic biology” (to be finished until the end of the project)

MsC theses

[MsC1 ] A framework for architectural design and simulation of hybrid systems. Tiago Loureiro. MsC thesis, Universidade do Minho. (2017)

Posters

[P1 ] sDL: A prover for hybrid systems. D. Figueiredo, E. Andrade. in Algorithms for Computational Biology 2017 (AlCoB 17), Aveiro, Portugal.

[P2 ] Differential dynamic logic for reasoning about biological regulatory networks. D. Figueiredo, M. A. Martins, M. Chaves. in Research Day 2017, University of Aveiro, Portugal.

[P3 ] Logic to model biological phenomena D. Costa, D. Figueiredo. in Ciência 2017, Lisbon, Portugal