Research output

Research output per year 2006 2014 2015 2016 2023 2024

• 18 Conference contribution
• 12 Article
• 5 Editorial
• 3 Conference article
• 5 More
  • 2 Book
  • 2 Chapter
  • 1 Foreword/postscript

Research output per year

Research output per year

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 proceeding › Chapter
• 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 proceeding › Chapter

  2 Citations (Scopus)