Blair Archibald
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
13
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Certified Intersection of Commutative Regular Expressions as Solutions of Systems of Linear Diophantine Equations. | Ricardo Almeida, Blair Archibald, Basile Pesin, Michele Sevegnani |
| 2025 | SAC | BiCoq : Bigraphs Formalisation with Coq. | Ccile Marcon, Cyril Allignol, Clia Picard, Blair Archibald, Michele Sevegnani, Xavier Thirioux |
| 2025 | SAFECOMP | Formal Analysis of Resilience in Transport Systems with Bigraphs. | Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani |
| 2024 | HRI | 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 |
| 2023 | IFM | CAN-verify: A Verification Tool For BDI Agents. | Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani |
| 2023 | RO-MAN | Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. | Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati |
| 2022 | SEKE | Verifying BDI Agents in Dynamic Environments. | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2021 | CP | Practical Bigraphs via Subgraph Isomorphism. | Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani |
| 2021 | SEFM | Probabilistic BDI Agents: Actions, Plans, and Intentions. | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2020 | PPoPP | YewPar: skeletons for exact combinatorial search. | Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder |
| 2019 | CPAIOR | Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. | Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble |
| 2019 | EuroPar | Implementing YewPar: A Framework for Parallel Tree Search. | Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder |
| 2017 | ISSAC | Towards Generic Scalable Parallel Combinatorial Search. | Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule |