Blair Archibald
Blair Archibald
Research Associate, University of Glasgow
Verified email at glasgow.ac.uk - Homepage
Title
Cited by
Cited by
Year
Sequential and parallel solution-biased search for subgraph algorithms
B Archibald, F Dunlop, R Hoffmann, C McCreesh, P Prosser, J Trimble
International Conference on Integration of Constraint Programming …, 2019
212019
Replicable parallel branch and bound search
B Archibald, P Maier, C McCreesh, R Stewart, P Trinder
Journal of Parallel and Distributed Computing 113, 92-114, 2018
202018
Bigraphtalk: Verified design of iot applications
B Archibald, MZ Shieh, YH Hu, M Sevegnani, YB Lin
IEEE Internet of Things Journal 7 (4), 2955-2967, 2020
82020
Towards generic scalable parallel combinatorial search
B Archibald, P Maier, R Stewart, P Trinder, J De Beule
Proceedings of the International Workshop on Parallel Symbolic Computation, 1-10, 2017
82017
YewPar: skeletons for exact combinatorial search
B Archibald, P Maier, R Stewart, P Trinder
Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of …, 2020
7*2020
Functional baby talk: analysis of code fragments from novice haskell programmers
J Singer, B Archibald
arXiv preprint arXiv:1805.05126, 2018
62018
Algorithmic skeletons for exact combinatorial search at scale
B Archibald
University of Glasgow, 2018
62018
Conditional bigraphs
B Archibald, M Calder, M Sevegnani
International Conference on Graph Transformation, 3-19, 2020
52020
Probablistic Bigraphs
B Archibald, M Calder, M Sevegnani
arXiv preprint arXiv:2105.02559, 2021
32021
Modelling and Verifying BDI Agents with Bigraphs
B Archibald, M Calder, M Sevegnani, M Xu
arXiv preprint arXiv:2105.02578, 2021
22021
Implementing YewPar: a framework for parallel tree search
B Archibald, P Maier, R Stewart, P Trinder
European Conference on Parallel Processing, 184-196, 2019
22019
Probabilistic BDI Agents: Actions, Plans, and Intentions
B Archibald, M Calder, M Sevegnani, M Xu
International Conference on Software Engineering and Formal Methods, 262-281, 2021
2021
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
B Archibald, M Calder, M Sevegnani, M Xu
arXiv preprint arXiv:2110.12579, 2021
2021
A tale of two graph models: a case study in wireless sensor networks
B Archibald, G Kulcsár, M Sevegnani
Formal Aspects of Computing, 1-29, 2021
2021
Practical Bigraphs via Subgraph Isomorphism
B Archibald, K Burns, C McCreesh, M Sevegnani
27th International Conference on Principles and Practice of Constraint …, 2021
2021
YewPar: Skeletons for Exact Combinatorial Search (Operational Semantics Supplement)
B Archibald, P Maier, R Stewart, P Trinder
Control Theory for Dynamic Heap Resizing
B Archibald
The system can't perform the operation now. Try again later.
Articles 1–17