João Abreu

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j1		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
p1		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
c4		João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi: A Model-Checking Approach for Service Component Architectures. FMOODS/FORTE 2009: 219-224
	2008
c3		João Abreu, José Luiz Fiadeiro: A Coordination Model for Service-Oriented Interactions. COORDINATION 2008: 1-16
	2007
c2		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
c1		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	[p1] [c2]
2	José Luiz Fiadeiro	[j1] [p1] [c4] [c3] [c2]
3	Stefania Gnesi	[c4]
4	Antónia Lopes	[j1] [p1] [c2] [c1]
5	Franco Mazzanti	[c4]
6	Isabel Nunes	[c1]
7	Luís S. Reis	[c1]
8	Vasco Thudichum Vasconcelos	[c1]

Last update Thu May 23 20:39:13 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page