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

Autumn 2024, Blockchain technology and formal methods (INFO384 H24)

Autumn 2024, Blockchain technology (INFO384a H24)

Autumn 2023, Blockchain technology and formal methods (INFO384 23H)

Autumn 2023, Introduction to Artificial Intelligence (AIKI100 23H)

Spring 2023, Artificial Agents (AIKI110 23V)

Autumn 2022, Blockchain technology and formal methods (INFO384 22H)

Autumn 2021, Knowledge Representation and Reasoning (INFO282 21H)

 

Academic chapter/article/Conference paper

• 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; Å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; Kuijer, Louwe B. (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. (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)
• van Ditmarsch, Hans; French, Tim; Galimullin, Rustam (2021). No Finite Model Property for Logics of Quantified Announcements. (external link)
• Galimullin, Rustam; Ågotnes, Thomas (2021). Quantified Announcements and Common Knowledge. (external link)
• Galimullin, Rustam; Ågotnes, Thomas (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. (external link)

Academic article

• Galimullin, Rustam; Velázquez-Quesada, Fernando R. (2024). Topic-Based Communication Between Agents. (external link)
• Ågotnes, Thomas; Galimullin, Rustam (2023). Quantifying over information change with common knowledge. (external link)
• Alechina, Natasha; van Ditmarsch, Hans; French, Tim et al. (2023). The Expressivity of Quantified Group Announcements. (external link)
• Galimullin, Rustam; Pedersen, Mina Young (2023). Visibility and exploitation in social networks. (external link)
• Ågotnes, Thomas; Alechina, Natasha; Galimullin, Rustam (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. (external link)
• Galimullin, Rustam (2021). Coalition and Relativised Group Announcement Logic. (external link)
• Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam et al. (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. (external link)

Academic anthology/Conference proceedings

• Galimullin, Rustam; Touileb, Samia (2023). Proceedings of the 5th Symposium of the Norwegian AI Society (NAIS 2023). (external link)

See a complete overview of publications in Cristin.