• Sign in
  • Sign up
conf.researchr.org / Blair Archibald
  • NASA Formal Methods 2023 profile
  • PPoPP 2020 profile
  • STAF 2024 profile
Blair Archibald

Registered user since Mon 20 Jan 2020

Name:Blair Archibald
Affiliation:University of Glasgow

Contributions

2024

ICGT

  • Presenter of A Bigraph Paper of Sorts within the ICGT Research Papers-track

GCM

  • Author of Modelling Real-time Systems with Bigraphs within the GCM 2024-track

2023

NFM

  • Author of Quantitative Verification and Strategy Synthesis for BDI Agents within the NFM 2023-track

2020

Principles and Practice of Parallel Programming

  • Author of YewPar: Skeletons for Exact Combinatorial Search within the Main Conference-track
Share
xWed 21 May 00:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up