No photo of Hugo Filipe Mendes Torres Vieira

Hugo Filipe Mendes Torres Vieira

Dr

Calculated based on number of publications stored in Pure and citations from Scopus
20032013

Research activity per year

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

Search results

  • 2012

    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

  • 2011

    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

    2 Citations (Scopus)
  • 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

    2 Citations (Scopus)
  • Tools and Verification

    Vieira, H. F. M. T. & Caires, L. M. M. D. C., 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. 408-427 (Lecture Notes in Computer Science; no. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.