Blair Archibald
Blair Archibald
Research Associate, University of Glasgow
Verified email at glasgow.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
182018
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
162019
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
72017
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
6*2020
Algorithmic skeletons for exact combinatorial search at scale
B Archibald
University of Glasgow, 2018
52018
Conditional bigraphs
B Archibald, M Calder, M Sevegnani
International Conference on Graph Transformation, 3-19, 2020
42020
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
42020
Functional baby talk: analysis of code fragments from novice haskell programmers
J Singer, B Archibald
arXiv preprint arXiv:1805.05126, 2018
32018
Probablistic Bigraphs
B Archibald, M Calder, M Sevegnani
arXiv preprint arXiv:2105.02559, 2021
12021
Implementing YewPar: a framework for parallel tree search
B Archibald, P Maier, R Stewart, P Trinder
European Conference on Parallel Processing, 184-196, 2019
12019
A Tale of Two Graph Models: A Case Study in Wireless Sensor Networks
B Archibald, G Kulcsár, M Sevegnani
Formal Aspects of Computing, 2021
2021
Modelling and Verifying BDI Agents with Bigraphs
B Archibald, M Calder, M Sevegnani, M Xu
arXiv preprint arXiv:2105.02578, 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–14