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

 

2025

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

2024

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

2023

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

2022

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

2021

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

Se en full oversikt over publikasjoner i Cristin

Komplett liste over publikasjoner er på min nettside.