Home

2014
Bartoletti, M., Castellani I., Deniélou P-M., Dezani-ciancaglini M., Ghilezan S., Pantović J., et al. (2014).  BETTY WG2 State of the art report.
Ghilezan, S., Jakšić S., Pantović J., Pérez J. A., & Vieira H. Torres (2014).  Dynamic Role Authorization in Multiparty Conversations. arXiv preprint arXiv:1408.5977.
Lanese, I., Lluch-Lafuente A., Sokolova A., & Vieira H. Torres (2014).  (edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014). Electronic Proceedings in Theoretical Computer Science. 166,
Lanese, I., Lafuente A. Lluch, Sokolova A., & Vieira H. Torres (2014).  Proceedings 7th Interaction and Concurrency Experience. arXiv preprint arXiv:1410.7013.
Lanese, I., Lafuente A. Lluch, Sokolova A., & Vieira H. Torres (2014).  Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014).
Padovani, L., Vasconcelos V. T., & Vieira H. Torres (2014).  Typing liveness in multiparty communicating systems. Coordination Models and Languages. 147–162.
2013
Mariano, P., Ramos F. M. V., & Vieira H. Torres (2013).  FCUL Rally Pro 2013.
Baltazar, P., Caires L., Vasconcelos V. T., & Vieira H. Torres (2013).  A type system for flexible role assignment in multiparty communicating systems. Trustworthy Global Computing. 82–96.
Vieira, H. Torres, & Vasconcelos V. T. (2013).  Typing progress in communication-centred systems. Coordination Models and Languages. 236–250.
2012
Baltazar, P., Caires L., Vasconcelos V. T., & Vieira H. Torres (2012).  Dynamic Roles in Multiparty Communicating Systems.
Caires, L., & Vieira H. Torres (2012).  SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. Tools and Algorithms for the Construction and Analysis of Systems. 485–491.
2011
Baltazar, P., Vasconcelos V. T., & Vieira H. Torres (2011).  Typing dynamic roles in multiparty interaction.