All Stories

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

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

    Postdoctoral Researcher Eike Schneiders, Sarvapali Ramchurn, Blair Archibald

  2. Modelling Probabilistic Systems with Diagrams

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

    Blair Archibald

  3. Modelling and verifying BDI agents with bigraphs

    Article • Science of Computer Programming, March 2022, Elsevier

    Blair Archibald

  4. 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

  5. BigraphTalk: Verified Design of IoT Applications

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

    Blair Archibald

  6. YewPar

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

    Blair Archibald

  7. Conditional Bigraphs

    Article • January 2020, Springer Science + Business Media

    Blair Archibald

  8. Implementing YewPar: A Framework for Parallel Tree Search

    Article • January 2019, Springer Science + Business Media

    Blair Archibald

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

    Article • January 2019, Springer Science + Business Media

    Blair Archibald

  10. 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

  11. Replicable parallel branch and bound search

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

    Blair Archibald

  12. Towards Generic Scalable Parallel Combinatorial Search

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

    Blair Archibald