Hugo Torres Vieira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2008–2018
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FORTE | A Calculus for Modeling Floating Authorizations. | Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira |
| 2014 | Coordination | Typing Liveness in Multiparty Communicating Systems. | Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira |
| 2013 | Coordination | Typing Progress in Communication-Centred Systems. | Hugo Torres Vieira, Vasco Thudichum Vasconcelos |
| 2012 | TACAS | SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications. | Lus Caires, Hugo Torres Vieira |
| 2011 | ESOP | Type-Based Access Control in Data-Centric Systems. | Lus Caires, Jorge A. Prez, Joo Costa Seco, Hugo Torres Vieira, Lcio Ferro |
| 2009 | ESOP | Conversation Types. | Lus Caires, Hugo Torres Vieira |
| 2008 | ESOP | The Conversation Calculus: A Model of Service-Oriented Computation. | Hugo Torres Vieira, Lus Caires, Joo Costa Seco |