Rustam Galimullin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Formal Verification of Diffusion Auctions. | Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel |
| 2026 | KR | I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems. | Rustam Galimullin, Hermine Grosinger, Munyque Mittelmann |
| 2026 | KR | Hierarchical Models of Multi-Agent Systems: Strategic Ability and Model Checking. | Rustam Galimullin, Wojciech Jamroga, Damian Kurpiewski, Vadim Malvone, Aniello Murano |
| 2025 | IJCAI | First-Order Coalition Logic. | Davide Catta, Rustam Galimullin, Aniello Murano |
| 2024 | AiML | Varieties of Distributed Knowledge. | Rustam Galimullin, Louwe B. Kuijer |
| 2022 | PRIMA | Coalition Logic for Specification and Verification of Smart Contract Upgrades. | Rustam Galimullin, Thomas gotnes |
| 2022 | WoLLIC | Logic of Visibility in Social Networks. | Rustam Galimullin, Mina Young Pedersen, Marija Slavkovik |
| 2018 | KI | Model Checking for Coalition Announcement Logic. | Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch |