All Stories

  1. Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs

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

    Blair Archibald

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

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

    Transitional Assistant Professor Eike Schneiders, Sarvapali Ramchurn, Blair Archibald

  3. Modelling Probabilistic Systems with Diagrams

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

    Blair Archibald

  4. Modelling and verifying BDI agents with bigraphs

    Article • Science of Computer Programming, March 2022, Elsevier

    Blair Archibald

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

  6. BigraphTalk: Verified Design of IoT Applications

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

    Blair Archibald

  7. YewPar

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

    Blair Archibald

  8. Conditional Bigraphs

    Article • January 2020, Springer Science + Business Media

    Blair Archibald

  9. Implementing YewPar: A Framework for Parallel Tree Search

    Article • January 2019, Springer Science + Business Media

    Blair Archibald

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

    Article • January 2019, Springer Science + Business Media

    Blair Archibald

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

  12. Replicable parallel branch and bound search

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

    Blair Archibald

  13. Towards Generic Scalable Parallel Combinatorial Search

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

    Blair Archibald