All Stories

  1. A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction

    Article • ACM Transactions on Human-Robot Interaction, June 2025, ACM (Association for Computing Machinery)

    Assistant Professor Eike Schneiders, Blair Archibald, Sarvapali Ramchurn

  2. BiCoq : Bigraphs Formalisation with Coq

    Article • March 2025, ACM (Association for Computing Machinery)

    Blair Archibald

  3. Practical Modelling with Bigraphs

    Article • Formal Aspects of Computing, February 2025, ACM (Association for Computing Machinery)

    Blair Archibald

  4. Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs

    Article • Formal Aspects of Computing, August 2024, ACM (Association for Computing Machinery)

    Blair Archibald

  5. The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction

    Article • March 2024, ACM (Association for Computing Machinery)

    Assistant Professor Eike Schneiders, Sarvapali Ramchurn, Blair Archibald

  6. Modelling Probabilistic Systems with Diagrams

    Article • Formal Aspects of Computing, June 2022, ACM (Association for Computing Machinery)

    Blair Archibald

  7. Modelling and verifying BDI agents with bigraphs

    Article • Science of Computer Programming, March 2022, Elsevier

    Blair Archibald

  8. A tale of two graph models: a case study in wireless sensor networks

    Article • Formal Aspects of Computing, December 2021, ACM (Association for Computing Machinery)

    Blair Archibald

  9. BigraphTalk: Verified Design of IoT Applications

    Article • IEEE Internet of Things Journal, April 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Blair Archibald

  10. YewPar

    Article • February 2020, ACM (Association for Computing Machinery)

    Blair Archibald

  11. Conditional Bigraphs

    Article • January 2020, Springer Science + Business Media

    Blair Archibald

  12. Implementing YewPar: A Framework for Parallel Tree Search

    Article • January 2019, Springer Science + Business Media

    Blair Archibald

  13. Sequential and Parallel Solution-Biased Search for Subgraph Algorithms

    Article • January 2019, Springer Science + Business Media

    Blair Archibald

  14. Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers

    Article • Electronic Proceedings in Theoretical Computer Science, May 2018, Open Publishing Association

    Blair Archibald

  15. Replicable parallel branch and bound search

    Article • Journal of Parallel and Distributed Computing, March 2018, Elsevier

    Blair Archibald

  16. Towards Generic Scalable Parallel Combinatorial Search

    Article • July 2017, ACM (Association for Computing Machinery)

    Blair Archibald