P. Baltazar, L. Caires, V. T. Vasconcelos, and H. T. Vieira. Dynamic Roles in Multiparty Communicating Systems.
(preprint pdf)

L. Caires and H. T. Vieira. SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications.
To appear in TACAS'12. (preprint pdf)

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)

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.
To appear in INFORUM'11 proceedings. (preprint pdf)

L. Caires and H. T. Vieira. Analysis of Service-Oriented Software Systems with the Conversation Calculus.
To appear in FACS'10 proceedings. (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)