B. Archibald

发表

Michele Sevegnani, Mengwei Xu, M. Calder, 2022, Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering.

Alejandra N. González-Beltrán, Samuel W. Brett, I. Hinder, 2021, Philosophical Transactions of the Royal Society A.

Michele Sevegnani, B. Archibald, Géza Kulcsár, 2021, Formal Aspects of Computing.

P. Trinder, B. Archibald, Ruairidh MacGregor, 2022, International Journal of Parallel Programming.

Michele Sevegnani, Géza Kulcsár, Blair Archibald, 2021, Formal Aspects Comput..

Muffy Calder, Michele Sevegnani, Blair Archibald, 2021, Formal Aspects Comput..

Muffy Calder, Michele Sevegnani, Blair Archibald, 2021, Sci. Comput. Program..

Muffy Calder, Michele Sevegnani, Blair Archibald, 2020, ICGT.

Michele Sevegnani, Yi-Bing Lin, Min-Zheng Shieh, 2020, IEEE Internet of Things Journal.

Michele Sevegnani, Ciaran McCreesh, Blair Archibald, 2021, CP.

Yi-Bing Lin, Michele Sevegnani, Min-Zheng Shieh, 2019 .

Patrick Maier, Robert J. Stewart, Ciaran McCreesh, 2017, J. Parallel Distributed Comput..

Philip W. Trinder, Jan De Beule, Patrick Maier, 2017, PASCO@ISSAC.

Patrick Maier, Robert J. Stewart, Phil Trinder, 2020, PPoPP.

Robert J. Stewart, P. Trinder, Patrick Maier, 2020, Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.

Ciaran McCreesh, Patrick Prosser, James Trimble, 2019, Lecture Notes in Computer Science.

Muffy Calder, Blair Archibald, Mengwei Xu, 2021, FMAS.

Ciaran McCreesh, Patrick Prosser, James Trimble, 2019, CPAIOR.

Muffy Calder, Michele Sevegnani, Mengwei Xu, 2023, Softw. Syst. Model..

Michele Sevegnani, B. Archibald, Mengwei Xu, 2023, iFM.

Muffy Calder, Blair Archibald, Mengwei Xu, 2021, SEFM.