Hugo Torres Vieira
Hugo Torres Vieira
Verified email at ubi.pt
Title
Cited by
Cited by
Year
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
1562016
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
1562016
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
1352008
Conversation Types
L Caires, HT Vieira
Theoretical Computer Science 411 (51), 4399-4440, 2010
822010
Conversation types
L Caires, HT Vieira
European Symposium on Programming, 285-300, 2009
762009
Conversation Types
L Caires, H Vieira
Programming Languages and Systems, 285-300, 2009
762009
A Process Calculus Analysis of Compensations
L Caires, C Ferreira, H Vieira
Trustworthy Global Computing, 87-103, 2009
352009
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
222011
Typing progress in communication-centred systems
HT Vieira, VT Vasconcelos
International Conference on Coordination Languages and Models, 236-250, 2013
212013
Typing liveness in multiparty communicating systems
L Padovani, VT Vasconcelos, HT Vieira
International Conference on Coordination Languages and Models, 147-162, 2014
202014
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
20*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
202011
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
202011
Typing Liveness in Multiparty Communicating Systems
L Padovani, VT Vasconcelos, HT Vieira
20*
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
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
132010
The system can't perform the operation now. Try again later.
Articles 1–20