by Johansen, Nicklas S., Kær, Lasse B., Madsen, Andreas L., Nielsen, Kristian Ø., Srba, Jiří, Tollund, Rasmus G.
Published in Formal aspects of computing (06.10.2023)

by Johansen, Nicklas S., Kær, Lasse B., Madsen, Andreas L., Nielsen, Kristian Ø., Srba, Jiří, Tollund, Rasmus G.
Published in Integrated Formal Methods (2022)

by Tollund, Rasmus G., Johansen, Nicklas S., Nielsen, Kristian Ø., Torralba, Álvaro, Larsen, Kim G.
Published in Proceedings of the International Conference on Automated Planning and Scheduling (30.05.2024)

by Johansen, Nicklas S., Kar, Lasse B., Madsen, Andreas L., Nielsen, Kristian O., Schmid, Stefan, Srba, Jiri, Tollund, Rasmus G.
Published in 2022 IEEE 11th International Conference on Cloud Networking (CloudNet) (07.11.2022)