Check out my website for an up-to-date list of publications.

Spring 2026, Machine Learning INFO284 V26

Autumn 2025, Blockchain technology and formal methods INFO384 H25

Autumn 2025, Blockchain technology INFO384B H25

Spring 2025, Machine Learning INFO284 V25

Autumn 2024, Blockchain technology and formal methods INFO384 H24

Autumn 2024, Blockchain technology INFO384B H24

Autumn 2023, Blockchain technology and formal methods INFO384 H23

Autumn 2023, Introduction to Artificial Intelligence AIKI100 H23H

Spring 2023, Artificial Agents AIKI110 V23V

Autumn 2022, Blockchain technology and formal methods INFO384 H22

Autumn 2021, Knowledge Representation and Reasoning INFO282 H21

 

2024

• Vitaly Dolgorukov; Rustam Galimullin; Maksim Gladyshev (2024). Dynamic Epistemic Logic of Resource Bounded Information Mining Agents. (external link)
• Rustam Galimullin; Louwe B. Kuijer (2024). Synthesizing Social Laws with ATL Conditions. (external link)
• Rustam Galimullin; Fernando R. Velázquez-Quesada (2024). Topic-Based Communication Between Agents. (external link)
• Rustam Galimullin; Louwe B. Kuijer (2024). Varieties of Distributed Knowledge. (external link)

2023

• Rustam Galimullin; Mina Young Pedersen (2023). Visibility and exploitation in social networks. (external link)
• Rustam Galimullin; Louwe B. Kuijer (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. (external link)
• Thomas Ågotnes; Rustam Galimullin (2023). Quantifying over information change with common knowledge. (external link)
• Rustam Galimullin; Thomas Ågotnes (2023). Action Models for Coalition Logic. (external link)
• Rustam Galimullin; Fernando R. Velázquez-Quesada (2023). (Arbitrary) Partial Communication. (external link)
• Natasha Alechina; Hans van Ditmarsch; Tim French et al. (2023). The Expressivity of Quantified Group Announcements. (external link)
• Rustam Galimullin; Samia Touileb (2023). Proceedings of the 5th Symposium of the Norwegian AI Society (NAIS 2023). (external link)

2021

• Rustam Galimullin; Thomas Ågotnes (2021). Quantified Announcements and Common Knowledge. (external link)
• Natasha Alechina; Hans van Ditmarsch; Rustam Galimullin et al. (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. (external link)
• Rustam Galimullin; Thomas Ågotnes (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. (external link)
• Rustam Galimullin (2021). Coalition and Relativised Group Announcement Logic. (external link)
• Hans van Ditmarsch; Tim French; Rustam Galimullin (2021). No Finite Model Property for Logics of Quantified Announcements. (external link)

2025

• Hans van Ditmarsch; Tim French; Rustam Galimullin et al. (2025). Modal Logic for Simulation, Refinement, and Mutual Ignorance. (external link)
• Thomas Ågotnes; Rustam Galimullin; Ken Satoh et al. (2025). Intentionally Anonymous Public Announcements. (external link)
• Davide Catta; Rustam Galimullin; Aniello Murano (2025). First-Order Coalition Logic. (external link)
• Rustam Galimullin; Maksim Gladyshev; Munyque Mittelmann et al. (2025). Changing the Rules of the Game: Reasoning About Dynamic Phenomena in Multi-Agent Systems. (external link)

2022

• Thomas Ågotnes; Natasha Alechina; Rustam Galimullin (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. (external link)
• Rustam Galimullin; Mina Young Pedersen; Marija Slavkovik (2022). Logic of Visibility in Social Networks. (external link)
• Rustam Galimullin; Thomas Ågotnes (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. (external link)

See a complete overview of publications in Cristin.