João Abreu

	2012
6		José Luiz Fiadeiro, Antónia Lopes, João Abreu: A formal model for service-oriented interactions. Sci. Comput. Program. 77(5): 577-608 (2012)
	2011
5		José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu: The Sensoria Reference Modelling Language. Results of the SENSORIA Project 2011: 61-114
	2009
4		João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi: A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224
	2008
3		João Abreu, José Luiz Fiadeiro: A Coordination Model for Service-Oriented Interactions. COORDINATION 2008: 1-16
	2007
2		João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE 2007: 358-373
	2006
1		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: 494-513

Coauthor Index

1	Laura Bocchi	[2] [5]
2	José Luiz Fiadeiro	[2] [3] [4] [5] [6]
3	Stefania Gnesi	[4]
4	Antónia Lopes	[1] [2] [5] [6]
5	Franco Mazzanti	[4]
6	Isabel Nunes	[1]
7	Luís S. Reis	[1]
8	Vasco Thudichum Vasconcelos	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page