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: 50
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: 31
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: 28
 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: 12
added
14-Jul-11
5.  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: 8
 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
6.  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: 6
added
13-Oct-15
7.  Title: Typing Liveness in Multiparty Communicating Systems
 Author(s): Padovani, L.; Vasconcelos, V. T.; Vieira, H. T.
 Source: Coordination Models and Languages, Coordination 2014 Volume: 8459 Pages: 147-162 Published: 2014
 Times Cited: 3
added
13-Oct-15
8.  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
9.  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
10.  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
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: