Edinburgh Research Explorer

Mr. Petros Papapanagiotou

Research Associate

Research outputs

  1. Towards Executable Representations of Social Machines

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

  2. Social Machines for All

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

  3. WorkflowFM: A Logic-based Formal Verification Framework for Process Specification and Composition

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

View all (21) »

ID: 16618033