From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Generic Exact Combinatorial Search at HPC Scale., , и . Int. J. Parallel Program., 51 (1): 83-106 (февраля 2023)Algorithmic skeletons for exact combinatorial search at scale.. University of Glasgow, UK, (2018)British Library, EThOS.Implementing YewPar: A Framework for Parallel Tree Search., , , и . Euro-Par, том 11725 из Lecture Notes in Computer Science, стр. 184-196. Springer, (2019)BigraphTalk: Verified Design of IoT Applications., , , , и . IEEE Internet of Things Journal, 7 (4): 2955-2967 (2020)A tale of two graph models: a case study in wireless sensor networks., , и . Formal Aspects Comput., 33 (6): 1249-1277 (2021)Parallel Flowshop in YewPar., , , и . CoRR, (2022)Modelling and verifying BDI agents with bigraphs., , , и . Sci. Comput. Program., (2022)Probabilistic Bigraphs., , и . Formal Aspects Comput., 34 (2): 1-27 (2022)Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming., , , и . FMAS, том 348 из EPTCS, стр. 167-175. (2021)Quantitative Verification and Strategy Synthesis for BDI Agents., , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 241-259. Springer, (2023)