Vår 2026, Machine Learning INFO284 V26

Høst 2025, Blockchain technology and formal methods INFO384 H25 

Høst 2025, Blockchain technology INFO384B H25

Vår 2025, Machine Learning INFO284 V25

Høst 2024, Blockchain technology and formal methods INFO384 H24 

Høst 2024, Blockchain technology INFO384B H24

Høst 2023, Blockchain technology and formal methods INFO384 H23

Høst 2023, Innføring i kunstig intelligens AIKI100 H23

Vår 2023, Kunstige agentar AIKI110 V23

Høst 2022, Blockchain technology and formal methods INFO384 H22

Høst 2021, Knowledge Representation and Reasoning INFO282 H21

 

2024

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

2023

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

2021

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

2025

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

2022

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

Se en full oversikt over publikasjoner i Cristin

Komplett liste over publikasjoner er på min nettside.