Hashimoto, G., Găină, D. & Ţuţu, I., 7月 2024, 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 143. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 297).
Gǎinǎ, D., Badia, G. & Kowalski, T., 2022, Advances in Modal Logic, AiML 2022. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (eds.). College Publications, p. 407-42822 p. (Advances in Modal Logic; vol. 14).