H. T. Vieira. A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing.
PhD Thesis. Universidade Nova de Lisboa, 2010. (pdf) (pt abstract)
Supervised by Luis Caires.

H. T. Vieira. POLY Language Specification.
BSc in Computer Science Engineering Diploma Thesis, Universidade Nova de Lisboa, October 2002. (pdf) (ps)
Supervised by Luis Caires.

L. Caires and H. T. Vieira. Conversation Types.
Theoretical Computer Science 411(51-52), pp. 4399-4440, 2010. (preprint pdf) (full version pdf)

P. Baltazar, L. Caires, V. T. Vasconcelos, and H. T. Vieira. A Type System for Flexible Role Assignment in Multiparty Communicating Systems.
To appear in TGC'12. (preprint pdf) (full version pdf)

L. Caires and H. T. Vieira. SLMC: A Tool for Model Checking Concurrent System s against Dynamical Spatial Logic Specifications.
Appears in TACAS'12 Proceedings, LNCS Vol 7214:485-491, Springer, 2012. (preprint pdf)

L. Caires, J. A. Perez, J. C. Seco, H. T. Vieira, and L. Ferrao. Type-based Access Control in Data-Centric Systems.
Appears in ESOP'11 Proceedings, LNCS Vol 6602:136-155, Springer, 2011. (preprint pdf)

L. Caires and H. T. Vieira. Conversation Types.
Appears in ESOP'09 Proceedings, LNCS Vol 5502:285-300, Springer, 2009. (preprint pdf)

L. Caires, C. Ferreira, and H. T. Vieira. A Process Calculus Analysis of Compensations.
Appears in TGC'08 Proceedings, LNCS Vol 5474:87-103, Springer, 2009. (preprint pdf)

H. T. Vieira, L. Caires, and J. C. Seco. The Conversation Calculus: A Model of Service-Oriented Computation.
Appears in ESOP'08 Proceedings, LNCS Vol 4960:269-283, Springer, 2008. (preprint pdf) (full version pdf)

P. Baltazar, V. T. Vasconcelos, and H. T. Vieira. Typing Dynamic Roles in Multiparty Interaction.
Appears in INFORUM'11 proceedings, Universidade de Coimbra, 2011. (preprint pdf)

L. Caires and H. T. Vieira. Analysis of Service-Oriented Software Systems with the Conversation Calculus.
Appears in FACS'10 proceedings, LNCS Vol 6921:6-33, Springer, 2012. (preprint pdf)

L. Caires and H. T. Vieira. Extensionality of Spatial Observations in Distributed Systems.
Appears in EXPRESS'06 Proceedings, ENTCS Vol 175/3:131-149, Elsevier, 2007. (preprint pdf) (full version pdf)

E. Tuosto and H. T. Vieira. An Observational Model for Spatial Logics.
Appears in VODCA'04 Proceedings, ENTCS Vol 142:229-254, Elsevier, 2006. (preprint pdf) (preprint ps)

L. Acciai, C. Bodei, M. Boreale, R. Bruni and H. T. Vieira.
Rigorous Software Engineering for Service-Oriented Systems,
chapter Static Analysis Techniques for Session-Oriented Calculi.
LNCS Vol 6582:214-231, Springer, 2011. (pdf)

M. Bartoletti, L. Caires, I. Lanese, F. Mazzanti, D. Sangiorgi, H. T. Vieira and R. Zunino.
Rigorous Software Engineering for Service-Oriented Systems,
chapter Tools and Verification.
LNCS Vol 6582:408-427, Springer, 2011. (pdf)

C. Ferreira, I. Lanese, A. Ravara, H. T. Vieira and G. Zavattaro.
Rigorous Software Engineering for Service-Oriented Systems,
chapter Advanced Mechanisms for Service Combination and Transactions.
LNCS Vol 6582:302-325, Springer, 2011. (pdf)

I. Lanese, A. Ravara and H. T. Vieira.
Rigorous Software Engineering for Service-Oriented Systems,
chapter Behavioral Theory for Session-Oriented Calculi.
LNCS Vol 6582:189-213, Springer, 2011. (pdf)

H. T. Vieira and L. Caires. The Spatial Logic Model Checker User's Manual v1.15.
TR-DI/FCT/UNL-04/2009. (pdf)

L. Caires, J. C. Seco and H. T. Vieira. Automotive and Finance Case Studies in CSCC.
TR-DI/FCT/UNL-04-2007. (pdf)

L. Caires, D. T. Sousa and H. T. Vieira. Checking choreography conformance using SLMC.
TR-DI/FCT/UNL-03-2007. (pdf)

H. T. Vieira, L. Caires and R. Viegas. The Spatial Logic Model Checker User's Manual v1.0.
TR-DI/FCT/UNL-05/2005. (pdf) (ps)

H. T. Vieira and L. Caires. The Spatial Logic Model Checker User's Manual.
TR-DI/FCT/UNL-03/2004. (pdf) (ps)