Follow
Hugo Torres Vieira
Hugo Torres Vieira
Evidence Srl
Verified email at evidence.eu.com
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
2212016
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
2212016
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
2212016
Conversation Types
L Caires, HT Vieira
Theoretical Computer Science 411 (51), 4399-4440, 2010
1572010
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
A Process Calculus Analysis of Compensations
L Caires, C Ferreira, H Vieira
Trustworthy Global Computing, 87-103, 2009
422009
Typing liveness in multiparty communicating systems
L Padovani, VT Vasconcelos, HT Vieira
International Conference on Coordination Languages and Models, 147-162, 2014
262014
Typing progress in communication-centred systems
HT Vieira, VT Vasconcelos
International Conference on Coordination Languages and Models, 236-250, 2013
262013
Typing Liveness in Multiparty Communicating Systems
L Padovani, VT Vasconcelos, HT Vieira
26*
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
24*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
242011
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
242011
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
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
212012
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
162014
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
152012
The spatial logic model checker user’s manual
H Vieira, L Caires, R Viegas
152004
Foundations of session types and behavioural contracts
H Hans, L Ivan, VT Vasconcelos, C Lúis, C Marco, PM Deniélou, ...
142016
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
142015
A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing
HFMT Vieira
Universidade Nova de Lisboa, 2010
122010
The system can't perform the operation now. Try again later.
Articles 1–20