Home > Publications

Publications

41261 - 41270 out of 42,944Page size: 10
  1. Published

    A formal model for service-oriented interactions

    Fiadeiro, J., Lopes, A. & Abreu, J., 1 May 2012, In: Science of Computer Programming. 77, 5, p. 577-608 32 p.

    Research output: Contribution to journalArticlepeer-review

  2. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, (E-pub ahead of print) ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Springer, Vol. 11735. p. 341-360 20 p.

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

  3. Published

    A Formal Framework of Virtual Organisations as Agent Societies

    McGinnis, J., Stathis, K. & Toni, F., 25 Jan 2010, p. 1-14. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  4. Published

    A formal approach to service component architecture

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4184 LNCS. p. 193-213 21 p.

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

  5. Published

    A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3922 LNCS. p. 18-32 15 p.

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

  6. Published

    A Formal Adversary Capability Model for SCADA Environments

    Mcevoy, R. & Wolthusen, S. D., 2010, Proceedings of the 5th International Workshop on Critical Information Infrastructures Security (CRITIS 2010). Springer-Verlag, p. 93-103

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

  7. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002, In: Tadbir. 130, p. 77-82

    Research output: Contribution to journalArticlepeer-review

  8. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conferencePaper

  9. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002.

    Research output: Contribution to conferencePaper

  10. Published

    A Forgotten Gem: Marlen Haushofer, Die Wand

    Jeremiah, E., 11 Apr 2011, New Books in German.

    Research output: Contribution to non-peer-reviewed publicationInternet publication