No photo of Hugo Filipe Mendes Torres Vieira

Hugo Filipe Mendes Torres Vieira

Dr

  • 89 Citations
  • 4 h-Index
20032013

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Hugo Filipe Mendes Torres Vieira is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Research Output at NOVA

  • 89 Citations
  • 4 h-Index
  • 5 Conference contribution
  • 4 Chapter
  • 2 Article

A type system for flexible role assignment in multiparty communicating systems

Baltazar, P., Caires, L. M. M. D. C., Vasconcelos, V. T. & Vieira, H. F. M. T., 2013, Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. Palamidessi, C. & D. Ryan, M. (eds.). Berlin Heidelberg: Springer Berlin Heidelberg, Vol. 8191 LNCS. p. 82-96 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8191 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 18 Citations (Scopus)

    Advanced Mechanisms for Service Combination and Transactions

    Ravara, A. M. L. C. A., Ferreira, C. M. G. & Vieira, H. F. M. T., 1 Jan 2012, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Martin, W. & Matthias, H. (eds.). Berlin / Heidelberg: Springer, p. 302-325 (Lecture Notes in Computer Science; no. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications

    Vieira, H. F. M. T. & Caires, L. M. M. D. C., 1 Jan 2012, Lecture Notes in Computer Science. p. 485-491

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    7 Citations (Scopus)

    Behavioral Theory for Session-Oriented Calculi

    Vieira, H. F. M. T. & Ravara, A. M. L. C. A., 1 Jan 2011, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Martin, W. & Matthias, H. (eds.). Berlin / Heidelberg: Springer, p. 189-213 (Lecture Notes in Computer Science; no. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Static Analysis Techniques for Session-Oriented Calculi

    Vieira, H. F. M. T., 1 Jan 2011, Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Martin, W. & Matthias, H. (eds.). Berlin / Heidelberg: Springer, p. 214-231 (Lecture Notes in Computer Science; no. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter