Publications

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. (in press)

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. (in press)

Paraconsistency in Hybrid Logics D. Costa and M. A. Martins, Journal of Logic and Computation. (in press).

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 (in press)

An exercise on the generation of many-valued dynamic logics A. Madeira, R. Neves, M. Martins. Journal of Logical and Algebraic Methods in Programming.ISSN 2352-2208.
(in press)

Continuity as a computational effect R. Neves, L. S. Barbosa, D. Hofmann and M. Martins. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. (in press)

A method for rigorous design of reconfigurable systemsA. Madeira, R. Neves, L.S. Barbosa, M. A. Martins. Science of Computer Programming, Available online 20 May 2016, ISSN 0167-6423, http://dx.doi.org/10.1016/j.scico.2016.05.001.
(2016)

Proof theory for hybrid(ised) logics R. Neves, A. Madeira, M. A. Martins, L. S. Barbosa, Science of Computer Programming. Elsevier. http://dx.doi.org/10.1016/j.scico.2016.03.001.
(2016)