João Abreu

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 4

Top Topics

Application Development

Microsoft Kinect

Top Venues

Publications

João Abreu, Tiago Guimarães, António Abelha, Manuel Filipe Santos
Business Analytics Components for Public Health Institution - Clinical Decision Area. EUSPN/ICTH (2021)
Ana Nunes Alonso, João Abreu, David Nunes, André Vieira, Luiz Santos, Tércio Soares, José Pereira
Building a Polyglot Data Access Layer for a Low-Code Application Development Platform - (Experience Report). DAIS (2020)
Ana Nunes Alonso, João Abreu, David Nunes, André Vieira, Luiz Santos, Tércio Soares, José Pereira
Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform. CoRR (2020)
João Abreu, Sérgio Rebelo, Hugo Paredes, João Barroso, Paulo Martins, Arsénio Reis, Eurico Vasco Amorim, Vítor Filipe
Assessment of Microsoft Kinect in the Monitoring and Rehabilitation of Stroke Patients. WorldCIST (2) (2017)
José Luiz Fiadeiro, Antónia Lopes, João Abreu
A formal model for service-oriented interactions. Sci. Comput. Program. 77 (5) (2012)
João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi
A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE (2009)
João Abreu, José Luiz Fiadeiro
A Coordination Model for Service-Oriented Interactions. COORDINATION (2008)
João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE (2007)
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM (2006)