Hugo Filipe Mendes Torres Vieira

Dr

  • 85 Citations
  • 4 h-Index
20032013
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.

  • 2 Similar Profiles
Photoplethysmography Engineering & Materials Science
Distributed Systems Mathematics
Photodiode Mathematics
Photodiodes Engineering & Materials Science
Type Systems Mathematics
photodiodes Physics & Astronomy
Assignment Mathematics
Communication Engineering & Materials Science

Research Output at NOVA 2003 2013

  • 85 Citations
  • 4 h-Index
  • 5 Conference contribution
  • 4 Chapter
  • 2 Article
16 Citations (Scopus)

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

Type Systems
Assignment
Network protocols
Task Assignment
Security Policy

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

6 Citations (Scopus)

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

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