Seo, Hwajeong (ed.) et al., Information security and cryptology – ICISC 2023. 26th international conference on information security and cryptology, ICISC 2023, Seoul, South Korea, November 29 – December 1, 2023. Revised selected papers. Part II. Singapore: Springer. Lect. Notes Comput. Sci. 14562, 133-156 (2024).
Avrachenkov, Konstantin (ed.) et al., Game theory for networks. 8th international EAI conference, GameNets 2019, Paris, France, April 25–26, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. Soc.-Inform. Telecommun. Eng. 277, 51-70 (2019).
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 174-186 (2016).
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 443, 444-453 (2014).
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 269-279 (2014).
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 158-177 (2014).
Hansson, Sven Ove (ed.), David Makinson on classical methods for non-classical problems. Dordrecht: Springer (ISBN 978-94-007-7758-3/hbk; 978-94-007-7759-0/ebook). Outstanding Contributions to Logic 3, 119-141 (2014).