Hugo Torres Vieira Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Caires, Hugo Torres Vieira: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. TACAS 2012: 485-491
2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuí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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, António Ravara, Hugo Torres Vieira: Behavioral Theory for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 189-213
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucia 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarla 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Caires, Hugo Torres Vieira: Analysis of Service Oriented Software Systems with the Conversation Calculus. FACS 2010: 6-33
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Caires, Hugo Torres Vieira: Conversation types. Theor. Comput. Sci. 411(51-52): 4399-4440 (2010)
2009
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Caires, Hugo Torres Vieira: Conversation Types. ESOP 2009: 285-300
2008
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo Torres Vieira, Luís Caires, João Costa Seco: The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103
2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Caires, Hugo Torres Vieira: Extensionality of Spatial Observations in Distributed Systems. Electr. Notes Theor. Comput. Sci. 175(3): 131-149 (2007)
2006
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmilio Tuosto, Hugo Torres Vieira: An Observational Model for Spatial Logics. Electr. Notes Theor. Comput. Sci. 142: 229-254 (2006)

Coauthor Index

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

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