More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Blair Archibald

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/XuAS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/XuAS25
Mengwei Xu, Blair Archibald, Michele Sevegnani:
CAN-Verify: Automated analysis for BDI agents. Sci. Comput. Program. 241: 103233 (2025)
2024
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/AlbalweAS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/AlbalweAS24
Maram Albalwe, Blair Archibald, Michele Sevegnani:
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs. Formal Aspects Comput. 36(3): 17:1-17:25 (2024)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sosym/ArchibaldCSX24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/ArchibaldCSX24
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Quantitative modelling and analysis of BDI agents. Softw. Syst. Model. 23(2): 343-367 (2024)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/ArchibaldS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/ArchibaldS24
Blair Archibald, Michele Sevegnani:
A Bigraphs Paper of Sorts. ICGT 2024: 21-38
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/hri/AbioyeHGSNFRSAS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hri/AbioyeHGSNFRSAS24
Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani:
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. HRI (Companion) 2024: 172-176
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11945
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11945
Ayodeji Opeyemi Abioye, William Hunt, Yue Gu, Eike Schneiders, Mohammad Naiseh, Joel E. Fischer, Sarvapali D. Ramchurn, Mohammad Divband Soorati, Blair Archibald, Michele Sevegnani:
The Effect of Predictive Formal Modelling at Runtime on Performance in Human-Swarm Interaction. CoRR abs/2401.11945 (2024)
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-20745
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-20745
Blair Archibald, Muffy Calder, Michele Sevegnani:
Practical Modelling with Bigraphs. CoRR abs/2405.20745 (2024)
2023
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijpp/MacGregorAT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/MacGregorAT23
Ruairidh MacGregor, Blair Archibald, Phil Trinder:
Generic Exact Combinatorial Search at HPC Scale. Int. J. Parallel Program. 51(1): 83-106 (2023)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/XuRAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/XuRAS23
Mengwei Xu, Thibault Rivoalen, Blair Archibald, Michele Sevegnani:
CAN-verify: A Verification Tool For BDI Agents. iFM 2023: 364-373
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/ArchibaldCSX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/ArchibaldCSX23
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Quantitative Verification and Strategy Synthesis for BDI Agents. NFM 2023: 241-259
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ro-man/GuHAXSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ro-man/GuHAXSS23
Yue Gu, William Hunt, Blair Archibald, Mengwei Xu, Michele Sevegnani, Mohammad Divband Soorati:
Successful Swarms: Operator Situational Awareness with Modelling and Verification at Runtime. RO-MAN 2023: 541-548
2022
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ArchibaldCS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ArchibaldCS22
Blair Archibald, Muffy Calder, Michele Sevegnani:
Probabilistic Bigraphs. Formal Aspects Comput. 34(2): 1-27 (2022)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ArchibaldCSX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ArchibaldCSX22
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Modelling and verifying BDI agents with bigraphs. Sci. Comput. Program. 215: 102760 (2022)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/ArchibaldCSX22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ArchibaldCSX22
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Verifying BDI Agents in Dynamic Environments. SEKE 2022: 136-141
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-06902
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-06902
Ignas Knizikevicius, Phil Trinder, Blair Archibald, Jinghua Yan:
Parallel Flowshop in YewPar. CoRR abs/2207.06902 (2022)
2021
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/ArchibaldKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/ArchibaldKS21
Blair Archibald, Géza Kulcsár, Michele Sevegnani:
A tale of two graph models: a case study in wireless sensor networks. Formal Aspects Comput. 33(6): 1249-1277 (2021)
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cp/ArchibaldBMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ArchibaldBMS21
Blair Archibald, Kyle Burns, Ciaran McCreesh, Michele Sevegnani:
Practical Bigraphs via Subgraph Isomorphism. CP 2021: 15:1-15:17
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ArchibaldCSX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ArchibaldCSX21
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Probabilistic BDI Agents: Actions, Plans, and Intentions. SEFM 2021: 262-281
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12579
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12579
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. FMAS 2021: 167-175
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-02559
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-02559
Blair Archibald, Muffy Calder, Michele Sevegnani:
Probablistic Bigraphs. CoRR abs/2105.02559 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-02578
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-02578
Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu:
Modelling and Verifying BDI Agents with Bigraphs. CoRR abs/2105.02578 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-07117
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-07117
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, Richard Blackwell, Lisa A. Boden, Alys Brett, Sam Brett, Ruth Dundas, Jessica A. Enright, Alejandra N. González-Beltrán, Claire Harris, Ian Hinder, Christopher David Hughes, Martin Knight, Vino Mano, Ciaran McMonagle, Dominic Mellor, Sibylle Mohr, Glenn Marion, Louise Matthews, Iain J. McKendrick, Christopher Mark Pooley, Thibaud Porphyre, Aaron Reeves, Edward Townsend, Robert Turner, Jeremy Walton, Richard E. Reeve:
FAIR Data Pipeline: provenance-driven data management for traceable scientific workflows. CoRR abs/2110.07117 (2021)
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/iotj/ArchibaldSHSL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iotj/ArchibaldSHSL20
Blair Archibald, Min-Zheng Shieh, Yu-Hsuan Hu, Michele Sevegnani, Yi-Bing Lin:
BigraphTalk: Verified Design of IoT Applications. IEEE Internet Things J. 7(4): 2955-2967 (2020)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/ArchibaldCS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/ArchibaldCS20
Blair Archibald, Muffy Calder, Michele Sevegnani:
Conditional Bigraphs. ICGT 2020: 3-19
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/ArchibaldMST20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/ArchibaldMST20
Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder:
YewPar: skeletons for exact combinatorial search. PPoPP 2020: 292-307

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cpaior/ArchibaldDHMP019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpaior/ArchibaldDHMP019
Blair Archibald, Fraser Dunlop, Ruth Hoffmann, Ciaran McCreesh, Patrick Prosser, James Trimble:
Sequential and Parallel Solution-Biased Search for Subgraph Algorithms. CPAIOR 2019: 20-38
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/Archibald0ST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/Archibald0ST19
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder:
Implementing YewPar: A Framework for Parallel Tree Search. Euro-Par 2019: 184-196
2018
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Archibald18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Archibald18
Blair Archibald:
Algorithmic skeletons for exact combinatorial search at scale. University of Glasgow, UK, 2018
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jpdc/ArchibaldMMST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/ArchibaldMMST18
Blair Archibald, Patrick Maier, Ciaran McCreesh, Robert J. Stewart, Phil Trinder:
Replicable parallel branch and bound search. J. Parallel Distributed Comput. 113: 92-114 (2018)
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issac/Archibald0STB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issac/Archibald0STB17
Blair Archibald, Patrick Maier, Robert J. Stewart, Phil Trinder, Jan De Beule:
Towards Generic Scalable Parallel Combinatorial Search. PASCO@ISSAC 2017: 6:1-6:10
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1805-05126
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-05126
Jeremy Singer, Blair Archibald:
Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers. TFPIE@TFP 2017: 37-51
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ArchibaldMMST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArchibaldMMST17
Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder:
Replicable Parallel Branch and Bound Search. CoRR abs/1703.05647 (2017)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/YangCBPAL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/YangCBPAL99
Yiming Yang, Jaime G. Carbonell, Ralf D. Brown, Thomas Pierce, Blair Archibald, Xin Liu:
Learning approaches for detecting and tracking news events. IEEE Intell. Syst. 14(4): 32-43 (1999)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.