- E-postrustam.galimullin@uib.no
- BesøksadresseFosswinckels gate 6Lauritz Meltzers hus5007 Bergen
- PostadressePostboks 78025020 Bergen
Vitenskapelig artikkel
- (2023). The Expressivity of Quantified Group Announcements. Journal of Logic and Computation. 1122-1151.
- (2023). Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems. 40 sider.
- (2022). Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information. 141-166.
- (2021). Verification and Strategy Synthesis for Coalition Announcement Logic. Journal of Logic, Language and Information. 671-700.
- (2021). Coalition and Relativised Group Announcement Logic. Journal of Logic, Language and Information. 451-489.
Vitenskapelig antologi/Konferanseserie
- (2023). Proceedings of the 5th Symposium of the Norwegian AI Society (NAIS 2023). NAIS Norwegian Artificial Intelligence Society.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
- (2023). Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard. 12 sider.
- (2023). Action Models for Coalition Logic. 17 sider.
- (2023). (Arbitrary) Partial Communication. 9 sider.
- (2022). Logic of Visibility in Social Networks. 17 sider.
- (2022). Coalition Logic for Specification and Verification of Smart Contract Upgrades. 10 sider.
- (2021). Quantified Announcements and Common Knowledge. 9 sider.
- (2021). No Finite Model Property for Logics of Quantified Announcements. 10 sider.
- (2021). Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers. 14 sider.
Se fullstendig oversikt over publikasjoner i CRIStin.
Komplett liste over publikasjoner er på min nettside.