Seguir
Hugo Torres Vieira
Hugo Torres Vieira
Evidence Srl
Email confirmado em evidence.eu.com
Título
Citado por
Citado por
Ano
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
2492016
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
2492016
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
2492016
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
1372008
Conversation Types
L Caires, HT Vieira
Theoretical Computer Science 411 (51), 4399-4440, 2010
902010
Conversation types
L Caires, HT Vieira
European Symposium on Programming, 285-300, 2009
862009
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
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014
282014
Typing Liveness in Multiparty Communicating Systems
L Padovani, VT Vasconcelos, HT Vieira
28*
Typing progress in communication-centred systems
HT Vieira, VT Vasconcelos
International Conference on Coordination Languages and Models, 236-250, 2013
262013
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
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
152015
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
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
152012
The spatial logic model checker user’s manual
H Vieira, L Caires, R Viegas
152004
A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing
HFMT Vieira
Universidade Nova de Lisboa, 2010
122010
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20