| 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 | 46 | 2019 |
| 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 | 29 | 2018 |
| FAIR data pipeline: provenance-driven data management for traceable scientific workflows SN Mitchell, A Lahiff, N Cummings, J Hollocombe, B Boskamp, R Field, ... Philosophical Transactions of the Royal Society A 380 (2233), 20210300, 2022 | 25 | 2022 |
| Conditional bigraphs B Archibald, M Calder, M Sevegnani International Conference on Graph Transformation, 3-19, 2020 | 19 | 2020 |
| Probabilistic bigraphs B Archibald, M Calder, M Sevegnani Formal Aspects of Computing 34 (2), 1-27, 2022 | 17 | 2022 |
| 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 | 12 | 2020 |
| Modelling and verifying BDI agents with bigraphs B Archibald, M Calder, M Sevegnani, M Xu Science of Computer Programming 215, 102760, 2022 | 11 | 2022 |
| 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 | 11 | 2020 |
| Implementing YewPar: A framework for parallel tree search B Archibald, P Maier, R Stewart, P Trinder European Conference on Parallel Processing, 184-196, 2019 | 11 | 2019 |
| Algorithmic skeletons for exact combinatorial search at scale B Archibald University of Glasgow, 2018 | 11 | 2018 |
| 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 | 10 | 2017 |
| Probabilistic BDI agents: actions, plans, and intentions B Archibald, M Calder, M Sevegnani, M Xu Software Engineering and Formal Methods: 19th International Conference, SEFM …, 2021 | 9 | 2021 |
| Practical bigraphs via subgraph isomorphism B Archibald, K Burns, C McCreesh, M Sevegnani 27th International Conference on Principles and Practice of Constraint …, 2021 | 8 | 2021 |
| CAN-verify: A Verification Tool For BDI Agents M Xu, T Rivoalen, B Archibald, M Sevegnani International Conference on Integrated Formal Methods, 364-373, 2023 | 7 | 2023 |
| Functional baby talk: analysis of code fragments from novice haskell programmers J Singer, B Archibald arXiv preprint arXiv:1805.05126, 2018 | 6 | 2018 |
| Quantitative modelling and analysis of BDI agents B Archibald, M Calder, M Sevegnani, M Xu Software and Systems Modeling 23 (2), 343-367, 2024 | 5 | 2024 |
| Verifying BDI agents in dynamic environments B Archibald, M Calder, M Sevegnani, M Xu | 4 | 2022 |
| Successful swarms: Operator situational awareness with modelling and verification at runtime Y Gu, W Hunt, B Archibald, M Xu, M Sevegnani, MD Soorati 2023 32nd IEEE International Conference on Robot and Human Interactive …, 2023 | 3 | 2023 |
| Quantitative verification and strategy synthesis for BDI agents B Archibald, M Calder, M Sevegnani, M Xu NASA Formal Methods Symposium, 241-259, 2023 | 3 | 2023 |
| A tale of two graph models: a case study in wireless sensor networks B Archibald, G Kulcsár, M Sevegnani Formal Aspects of Computing 33 (6), 1249-1277, 2021 | 3 | 2021 |
Michele SevegnaniSenior Lecturer, School of Computing Science, University of Glasgowglasgow.ac.uk의 이메일 확인됨