Author Info
Name
Affiliation
Papers
HUGO TORRES VIEIRA
Departamento de Informática, FCT, Universidade Nova de Lisboa
22
Collaborators
Citations 
PageRank 
38
134
11.17
Referers 
Referees 
References 
181
333
322
Search Limit
100333
Title
Citations
PageRank
Year
A coordination protocol language for power grid operation control.00.342019
A calculus for modeling floating authorizations.00.342019
Testing for Coordination Fidelity.00.342019
Choreographies for Reactive Programming.00.342018
A Calculus for Modeling Floating Authorizations.00.342018
Preface for the special issue on Interaction and Concurrency Experience 201600.342018
Foundations of Session Types and Behavioural Contracts.100.572016
DisCoTec 2016 conference report.00.342016
Preface for the special issue on Interaction and Concurrency Experience 2014.00.342016
Global Protocol Implementations via Attribute-Based Communication.00.342015
A Typed Model For Dynamic Authorizations00.342015
Combining behavioural types with security analysis.50.462015
Typing Liveness In Multiparty Communicating Systems60.422014
Typing Progress In Communication-Centred Systems100.572013
SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications40.522012
A Type System for Flexible Role Assignment in Multiparty Communicating Systems.90.592012
Type-based access control in data-centric systems20.372011
Analysis of service oriented software systems with the conversation calculus50.412010
A Process Calculus Analysis of Compensations180.772008
The conversation calculus: a model of service-oriented computation572.162008
Extensionality of Spatial Observations in Distributed Systems60.552007
An Observational Model for Spatial Logics20.402006