Hugo Torres Vieira

	2012
13		Luís Caires, Hugo Torres Vieira: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. TACAS 2012: 485-491
	2011
12		Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão: Type-Based Access Control in Data-Centric Systems. ESOP 2011: 136-155
11		Ivan Lanese, António Ravara, Hugo Torres Vieira: Behavioral Theory for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 189-213
10		Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira: Static Analysis Techniques for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 214-231
9		Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro: Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325
8		Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino: Tools and Verification. Results of the SENSORIA Project 2011: 408-427
	2010
7		Luís Caires, Hugo Torres Vieira: Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS 2010: 6-33
6		Luís Caires, Hugo Torres Vieira: Conversation types. Theor. Comput. Sci. 411(51-52): 4399-4440 (2010)
	2009
5		Luís Caires, Hugo Torres Vieira: Conversation Types. ESOP 2009: 285-300
	2008
4		Hugo Torres Vieira, Luís Caires, João Costa Seco: The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283
3		Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103
	2007
2		Luís Caires, Hugo Torres Vieira: Extensionality of Spatial Observations in Distributed Systems. Electr. Notes Theor. Comput. Sci. 175(3): 131-149 (2007)
	2006
1		Emilio Tuosto, Hugo Torres Vieira: An Observational Model for Spatial Logics. Electr. Notes Theor. Comput. Sci. 142: 229-254 (2006)

Coauthor Index

1	Lucia Acciai	[10]
2	Massimo Bartoletti	[8]
3	Chiara Bodei	[10]
4	Michele Boreale	[10]
5	Roberto Bruni	[10]
6	Luís Caires	[2] [3] [4] [5] [6] [7] [8] [12] [13]
7	Lúcio Ferrão	[12]
8	Carla Ferreira	[3] [9]
9	Ivan Lanese	[8] [9] [11]
10	Franco Mazzanti	[8]
11	Jorge A. Pérez (Jorge Andrés Pérez)	[12]
12	António Ravara	[9] [11]
13	Davide Sangiorgi	[8]
14	João Costa Seco	[4] [12]
15	Emilio Tuosto	[1]
16	Gianluigi Zavattaro	[9]
17	Roberto Zunino	[8]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page