Continuity as a computational effect

R. Neves, L. S. Barbosa, D. Hofmann, and M. A. Martins, in Jour. Logic and Algebraic Programming, Elsevier, 85 (5), pp 1057-1085. 2016.

A method for rigorous design of reconfigurable systems

R. Neves, A. Madeira, L. S. Barbosa, M. A. Martins, in Science of Computer Programming, 132, pp 50-76, Elsevier,2016.

Proof theory for hybrid(ised) logics

R. Neves, A. Madeira, M. A. Martins, L. S. Barbosa, in Science of Computer Programming, 126, pp 73-93, Elsevier, 2016.

Reuse and integration of specification logics: The hybridisation perspective

L. S. Barbosa, M. A. Martins, A. Madeira, R. Neves, in In Thouraya Bouabana-Tebibel and Stuart H. Rubin, eds, Theoretical Information Reuse and Integration, Advances in Intelligent Systems and Computing, 446, Springer, pp 1-30, 2016.

Dynamic logic with binders and its application to the development of reactive systems

A. Madeira, L. S. Barbosa, R. Hennicker, M. A. Martins, in Proc 13th ICTAC (InternationalColloquium on Theoretical Aspects of Computing), Taipei 24-31 Oct. 2016, Springer Lecture Notes Computer Science (9965), pp 422–440, 2016.

Asymmetric combination of logics is functorial: A survey.

R. Neves, A. Madeira, L. S. Barbosa, M. A. Martins, in Proc 23rd WADT (International Workshop on Recent Trends in Algebraic Development Techniques), Gregynog, UK, Sep 21-24, 2016, Revised Selected Papers. Springer Lecture Notes Computer Science (10644), pp 39–55, 2016.

Hybrid automata as coalgebras

R. Neves, L. S. Barbosa, in Proc 13th ICTAC (International Colloquium on Theoretical Aspects of Computing), Taipei 24-31 Oct. 2016, Springer Lecture Notes Computer Science (9965), pp 385–402, 2016.

An enhanced model for stochastic coordination

N. Oliveira, L. S. Barbosa, in Proc 1st IFMCloud (International Workshop on Formal Methods for and on the Cloud), Reykjavik, 4 Jun, EPTCS (Electronic Proceedings in Theoretical Computer Science ) (228), pp 35–45, 2016.

Applying the 3C model to FLOSS communities

S. Fernandes, L. S. Barbosa, in Proc 22nd CRIWG (International Conference on Collaboration and Technology), Kanazawa, Japan, 14-1 Set, Springer Lecture Notes Computer Science (9848), pp 139-150, 2016.

Digital government and administrative burden reduction

L. Veiga, T. Janowski, L. S. Barbosa, in Proc 9th ICEGOV (ACM International Conference on Theory and Practice of Electronic Governance), ACM Press, pp 323-326, 2016.

Collaborative environments in software engineering teaching: A FLOSS approach

S. Fernandes, L. S. Barbosa, in Proc 15th ECEL (European Conference on e-Learning), Prague, Oct 27-28, pp 201-206, 2016.

Electronic governance in Portugal: A silent pioneer

S. Fernandes, L. S. Barbosa, in Proc International Conference on Electronic Governance and Open Society - Challenges in Eurasia, EGOSE 2016, St. Petersburg, Russia, November 22-23, ACM. pp 77-82, 2016.

An ontology for licensing public transport services

G. Cledou, L. S. Barbosa, in Proc 9th ICEGOV (ACM International Conference on Theory and Practice of Electronic Governance), ACM Press, pp 323-326, 2016.