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
2712016
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
2712016
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
2712016
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
1362008
Conversation Types
L Caires, HT Vieira
Theoretical Computer Science 411 (51), 4399-4440, 2010
932010
Conversation types
L Caires, HT Vieira
European Symposium on Programming, 285-300, 2009
822009
A Process Calculus Analysis of Compensations
L Caires, C Ferreira, H Vieira
Trustworthy Global Computing, 87-103, 2009
432009
Typing liveness in multiparty communicating systems
L Padovani, VT Vasconcelos, HT Vieira
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014
302014
Typing Liveness in Multiparty Communicating Systems
L Padovani, VT Vasconcelos, HT Vieira
30*
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
282011
Typing progress in communication-centred systems
HT Vieira, VT Vasconcelos
International Conference on Coordination Languages and Models, 236-250, 2013
272013
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
23*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
232011
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
232011
A type system for flexible role assignment in multiparty communicating systems
P Baltazar, L Caires, VT Vasconcelos, HT Vieira
Trustworthy Global Computing: 7th International Symposium, TGC 2012 …, 2013
202013
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
162015
The spatial logic model checker user’s manual
H Vieira, L Caires, R Viegas
162004
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
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
A type language for message passing component-based systems
Z Savanović, L Galletta, HT Vieira
arXiv preprint arXiv:2009.07989, 2020
102020
The system can't perform the operation now. Try again later.
Articles 1–20