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

 

2025

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

2024

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

2023

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

2022

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

2021

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

See a complete overview of publications in Cristin.