Hugo Torres Vieira
Hugo Torres Vieira
Center of Computer Science and Information Technology
Computer Science Department
Faculty of Sciences and Technology
New University of Lisbon
PhD student in Computer Science supervised by Luís Caires.
Events
3rd Interaction and Concurrency Experience - ICE'10
2nd Interaction and Concurrency Experience - ICE'09
Publications
L. Caires and H. T. Vieira. Conversation Types.
Submitted for publication.
(preprint pdf)
(full version pdf)
L. Caires and H. T. Vieira. Conversation Types.
Appears in ESOP'09 Proceedings, LNCS Vol 5502:285-300, Springer-Verlag, 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-Verlag, 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-Verlag, 2008.
(preprint pdf, full version 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)
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)
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)
H. T. Vieira. POLY Language Specification.
Diploma Thesis.
Supervised by Luís Caires.
DI-FCT-UNL, October 2002. (pdf) (ps)
Coauthors:
Luis Caires; Ruben Viegas; Emilio Tuosto; Joao C. Seco; David T. Sousa; Carla Ferreira
Contacts
|
Address: Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Quinta da Torre, 2829-516 Caparica, Portugal |
Room: P3/14 Phone: (+351) 21 294 85 36 - Ext: 10743 Fax: (+351) 21 294 85 41 Email: di.fct.unl.pt, htv@ |
Links
Tools
Projects
IP Sensoria (EU IST FP6 - 2005-2009)
FET Profundis (FET IST 2001-33100)
POLY (SAPIENS 34398/2000)
Schools
Mini School Chambéry Turin of Theoretical Computer Science, Aussois, France
Foundations of Security Summer School, Eugene, University of Oregon, USA
Global Computing Summer School, Edinburgh, University of Edinburgh, Scotland
Topics
Calculi for Mobile Processes (pi-calculus)
Lists
Teaching 2007/08
Introdução à Programação A P1,P4,P5,P6
Teaching 2006/07