Hugo Torres Vieira
Hugo Torres Vieira
Verified email at ubi.pt
TitleCited byYear
The Conversation Calculus: A Model of Service-Oriented Computation
HT Vieira, L Caires, JC Seco
Proceedings of the Theory and practice of software, 17th European conference …, 2008
1282008
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
1152016
Conversation Types
L Caires, HT Vieira
Theoretical Computer Science 411 (51), 4399-4440, 2010
812010
Conversation types
L Caires, HT Vieira
European Symposium on Programming, 285-300, 2009
722009
Conversation Types
L Caires, H Vieira
Programming Languages and Systems, 285-300, 2009
722009
A Process Calculus Analysis of Compensations
L Caires, C Ferreira, H Vieira
Trustworthy Global Computing, 87-103, 2009
342009
Typing progress in communication-centred systems
HT Vieira, VT Vasconcelos
International Conference on Coordination Languages and Models, 236-250, 2013
212013
Type-based Access Control in Data-Centric Systems
L Caires, J Pérez, J Seco, H Vieira, L Ferrão
Programming Languages and Systems, 136-155, 2011
202011
A type system for flexible role assignment in multiparty communicating systems
P Baltazar, L Caires, VT Vasconcelos, HT Vieira
International Symposium on Trustworthy Global Computing, 82-96, 2012
192012
Advanced mechanisms for service combination and transactions, Rigorous software engineering for service-oriented systems
C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro
Springer-Verlag, Berlin, Heidelberg, 2011
19*2011
Advanced mechanisms for service combination and transactions
C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro
Rigorous software engineering for service-oriented systems, 302-325, 2011
192011
Advanced Mechanisms for Service Combination and Transactions
C Ferreira, I Lanese, A Ravara, H Vieira, G Zavattaro
Rigorous software engineering for service-oriented systems, 302-325, 2011
192011
Typing liveness in multiparty communicating systems
L Padovani, VT Vasconcelos, HT Vieira
International Conference on Coordination Languages and Models, 147-162, 2014
162014
Typing Liveness in Multiparty Communicating Systems
L Padovani, VT Vasconcelos, HT Vieira
16*
Foundations of behavioural types
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014
152014
The spatial logic model checker user’s manual
H Vieira, L Caires, R Viegas
152004
SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications
L Caires, HT Vieira
International Conference on Tools and Algorithms for the Construction and …, 2012
142012
A Process Calculus Analysis of Compensations, Trustworthy Global Computing: 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers
L Caires, C Ferreira, H Vieira
Springer-Verlag, Berlin, Heidelberg, 2009
142009
A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing
HFMT Vieira
Universidade Nova de Lisboa, 2010
122010
Combining behavioural types with security analysis
M Bartoletti, I Castellani, PM Deniélou, M Dezani-Ciancaglini, S Ghilezan, ...
Journal of Logical and Algebraic Methods in Programming 84 (6), 763-780, 2015
102015
The system can't perform the operation now. Try again later.
Articles 1–20