Learning approaches for detecting and tracking news events. - Yiming Yang; Jaime G. Carbonell; Ralf D. Brown; Thomas Pierce; Blair Archibald; Xin Liu (IEEE Intell. Syst., 1999)

Towards Generic Scalable Parallel Combinatorial Search. - Blair Archibald; Patrick Maier 001; Robert J. Stewart 001; Phil Trinder; Jan De Beule (PASCO@ISSAC, 2017)

Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. - Jeremy Singer; Blair Archibald (TFPIE@TFP, 2017)

Replicable parallel branch and bound search. - Blair Archibald; Patrick Maier 001; Ciaran McCreesh; Robert J. Stewart 001; Phil Trinder (J. Parallel Distributed Comput., 2018)

Algorithmic skeletons for exact combinatorial search at scale. - Blair Archibald (2018)

Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. - Blair Archibald; Fraser Dunlop; Ruth Hoffmann; Ciaran McCreesh; Patrick Prosser; James Trimble 001 (CPAIOR, 2019)

Implementing YewPar: A Framework for Parallel Tree Search. - Blair Archibald; Patrick Maier 001; Robert J. Stewart 001; Phil Trinder (Euro-Par, 2019)

Conditional Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (ICGT, 2020)

YewPar: skeletons for exact combinatorial search. - Blair Archibald; Patrick Maier 001; Rob Stewart 001; Phil Trinder (PPoPP, 2020)

BigraphTalk: Verified Design of IoT Applications. - Blair Archibald; Min-Zheng Shieh; Yu-Hsuan Hu; Michele Sevegnani; Yi-Bing Lin (IEEE Internet Things J., 2020)

Practical Bigraphs via Subgraph Isomorphism. - Blair Archibald; Kyle Burns; Ciaran McCreesh; Michele Sevegnani (CP, 2021)

Probabilistic BDI Agents: Actions, Plans, and Intentions. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (SEFM, 2021)

Probablistic Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (CoRR, 2021)

FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows. - Sonia Natalie Mitchell; Andrew Lahiff; Nathan Cummings; Jonathan Hollocombe; Bram Boskamp; Dennis Reddyhoff; Ryan Field; Kristian Zarebski; Antony Wilson; Martin Burke; Blair Archibald; Paul Bessell; et al. (CoRR, 2021)

Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (FMAS, 2021)

A tale of two graph models: a case study in wireless sensor networks. - Blair Archibald; Géza Kulcsár; Michele Sevegnani (Formal Aspects Comput., 2021)

Verifying BDI Agents in Dynamic Environments. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (SEKE, 2022)

Parallel Flowshop in YewPar. - Ignas Knizikevicius; Phil Trinder; Blair Archibald; Jinghua Yan (CoRR, 2022)

Probabilistic Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (Formal Aspects Comput., 2022)

Modelling and verifying BDI agents with bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (Sci. Comput. Program., 2022)

CAN-verify: A Verification Tool For BDI Agents. - Mengwei Xu; Thibault Rivoalen; Blair Archibald; Michele Sevegnani (iFM, 2023)

Quantitative Verification and Strategy Synthesis for BDI Agents. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (NFM, 2023)

Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. - Yue Gu; William Hunt; Blair Archibald; Mengwei Xu; Michele Sevegnani; Mohammad Divband Soorati (RO-MAN, 2023)

Generic Exact Combinatorial Search at HPC Scale. - Ruairidh MacGregor; Blair Archibald; Phil Trinder (Int. J. Parallel Program., 2023)

A Bigraphs Paper of Sorts. - Blair Archibald; Michele Sevegnani (ICGT, 2024)

The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. - Ayodeji Opeyemi Abioye; William Hunt; Yue Gu; Eike Schneiders; Mohammad Naiseh; Joel E. Fischer; Sarvapali D. Ramchurn; Mohammad Divband Soorati; Blair Archibald; Michele Sevegnani (HRI (Companion), 2024)

Practical Modelling with Bigraphs. - Blair Archibald; Muffy Calder; Michele Sevegnani (CoRR, 2024)

Quantitative modelling and analysis of BDI agents. - Blair Archibald; Muffy Calder; Michele Sevegnani; Mengwei Xu (Softw. Syst. Model., 2024)

Modelling Real-time Systems with Bigraphs. - Maram Albalwe; Blair Archibald; Michele Sevegnani (GCM, 2024)

Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs. - Maram Albalwe; Blair Archibald; Michele Sevegnani (Formal Aspects Comput., 2024)

BiCoq : Bigraphs Formalisation with Coq. - Cécile Marcon; Cyril Allignol; Célia Picard; Blair Archibald; Michele Sevegnani; Xavier Thirioux (SAC, 2025)

Formal Analysis of Resilience in Transport Systems with Bigraphs. - Susmoy Das; Ricardo Almeida; Blair Archibald; Michele Sevegnani (SAFECOMP (Workshops), 2025)

Modelling and verifying BDI agents under uncertainty. - Blair Archibald; Michele Sevegnani; Mengwei Xu (Sci. Comput. Program., 2025)

CAN-Verify: Automated analysis for BDI agents. - Mengwei Xu; Blair Archibald; Michele Sevegnani (Sci. Comput. Program., 2025)

A Digital Twinning Approach to Decarbonisation: Research Challenges. - Blair Archibald; Paul Harvey; Michele Sevegnani (CoRR, 2025)

Signalling Health for Improved Kubernetes Microservice Availability. - Jacob Roberts; Blair Archibald; Phil Trinder (CoRR, 2025)