ResearcherID.com
ResearcherID Thomson Reuters  

Vieira, Hugo T
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: D-7294-2011
Other Names: Hugo Torres Vieira
URL: http://www.researcherid.com/rid/D-7294-2011
Subject: Computer Science
ORCID: http://orcid.org/0000-0001-7461-6156
My Institutions (more details)
Primary Institution:
Sub-org/Dept: SysMA
Role:
My URLs: http://sysma.imtlucca.it/people/hugo-torres-vieira/
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: 
1. Title: The conversation calculus: A model of service-oriented computation
Author(s): Vieira, HT; Caires, L; Seco, JC; et al.
Source: Programming Languages and Systems, Proceedings Volume: 4960 Pages: 269-283 Published: 2008
Times Cited: 38
added
14-Jul-11
2. Title: Conversation Types
Author(s): Caires, L; Vieira, HT; Castagna, G
Source: Programming Languages and Systems, Proceedings Volume: 5502 Pages: 285-300 Published: 2009
Times Cited: 27
added
14-Jul-11
3. Title: Conversation types
Author(s): Caires, L; Vieira, HT
Source: Theoretical Computer Science Volume: 411 Issue: 51-52 Pages: 4399-4440 Published: 2010
Times Cited: 23
DOI: 10.1016/j.tcs.2010.09.010
added
14-Jul-11
4. Title: A Process Calculus Analysis of Compensations
Author(s): Caires, L; Ferreira, C; Vieira, H; et al.
Source: Trustworthy Global Computing Volume: 5474 Pages: 87-103 Published: 2009
Times Cited: 10
added
14-Jul-11
5. Title: Advanced Mechanisms for Service Combination and Transactions
Author(s): Ferreira, C.; Lanese, I.; Ravara, A.; et al.
Source: Rigorous Software Engineering for Service-Oriented Systems: Results of the Sensoria Project on Software Engineering for Service-Oriented Computing Volume: 6582 Pages: 302-325 Published: 2011
Times Cited: 5
added
13-Oct-15
6. Title: Foundations of session types and behavioural contracts
Author(s): H{\"u}ttel, H.; Lanese, I.; Vasconcelos, V.T.; et al.
Source: ACM Computing Surveys Volume: 49 Issue: 1 Published: 2016
Times Cited: 4
DOI: 10.1145/2873052 / Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84964545102&partnerID=MN8TOAR ...
added
15-Mar-17
7. Title: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
Author(s): Caires, Luis; Vieira, Hugo Torres
Source: Tools and Algorithms for the Construction and Analysis of Systems, Tacas 2012 Volume: 7214 Pages: 485-491 Published: 2012
Times Cited: 3
added
13-Oct-15
8. Title: Combining behavioural types with security analysis
Author(s): Bartoletti, M.; Castellani, I.; Deni{\'e}lou, P.-M.; et al.
Source: Journal of Logical and Algebraic Methods in Programming Volume: 84 Issue: 6 Pages: 763-780 Published: 2015
Times Cited: 3
DOI: 10.1016/j.jlamp.2015.09.003 / Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84997755144&partnerID=MN8TOAR ...
added
15-Mar-17
9. Title: Type-Based Access Control in Data-Centric Systems
Author(s): Caires, Luis; Perez, Jorge A.; Seco, Joao Costa; et al.
Source: Programming Languages and Systems Volume: 6602 Pages: 136-155 Published: 2011
Times Cited: 2
added
29-Nov-13
10. Title: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
Author(s): Baltazar, P.; Caires, L.; Vasconcelos, V. T.; et al.
Source: Trustworthy Global Computing, Tgc 2013 Volume: 8358 Pages: 82-96 Published: 2013
Times Cited: 2
added
13-Oct-15
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: