João Abreu

According to our database, João Abreu authored at least 10 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Business Analytics Components for Public Health Institution - Clinical Decision Area.

João Abreu, Tiago Guimarães, António Abelha, Manuel Filipe Santos

Proceedings of the 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) / The 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2021), 2021

2020

Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform.

Ana Nunes Alonso, João Abreu, David Nunes, André Vieira, Luiz Santos, Tércio Soares, José Pereira

CoRR, 2020

Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report).

Ana Nunes Alonso, João Abreu, David Nunes, André Vieira, Luiz Santos, Tércio Soares, José Pereira

Proceedings of the Distributed Applications and Interoperable Systems, 2020

2017

Assessment of Microsoft Kinect in the Monitoring and Rehabilitation of Stroke Patients.

João Abreu, Sérgio Rebelo, Hugo Paredes, João Barroso, Paulo Martins, Arsénio Reis, Eurico Vasco Amorim, Vítor Filipe

Proceedings of the Recent Advances in Information Systems and Technologies, 2017

2012

A formal model for service-oriented interactions.

José Luiz Fiadeiro, Antónia Lopes, João Abreu

Sci. Comput. Program., 2012

2011

The Sensoria Reference Modelling Language.

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2009

A Model-Checking Approach for Service Component Architectures.

João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi

Proceedings of the Formal Techniques for Distributed Systems, 2009

2008

A Coordination Model for Service-Oriented Interactions.

João Abreu, José Luiz Fiadeiro

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.

João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Checking the Conformance of Java Classes Against Algebraic Specifications.

Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis

Proceedings of the Formal Methods and Software Engineering, 2006