| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Verification of agent navigation in partially-known environments | Article Artikel  | Jul-2022 |
| 2 |  | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Graded modalities in Strategy Logic | Article Artikel  | 2018 |
| 3 |  | Aminof, Benjamin ; Rubin, Sasha ; Stoilkovska, Ilina ; Widder, Josef ; Zuleger, Florian | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction | Inproceedings Konferenzbeitrag  | 2018 |
| 4 | | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria | Konferenzbeitrag Inproceedings  | 2016 |
| 5 | | Aminof, Benjamin ; Malvone, Vadim ; Murano, Aniello ; Rubin, Sasha | Extended Graded Modalities in Strategy Logic | Konferenzbeitrag Inproceedings | 2016 |
| 6 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments | Konferenzbeitrag Inproceedings  | 2016 |
| 7 | | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Prompt Alternating-Time Epistemic Logics | Konferenzbeitrag Inproceedings  | 2016 |
| 8 | | Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef | Decidability of Parameterized Verification | Buch Book | 2015 |
| 9 | | Aminof, Benjamin ; Rubin, Sasha | First Cycle Games | Konferenzbeitrag Inproceedings  | 2014 |
| 10 | | Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut | Parameterized Model Checking of Rendezvous Systems | Konferenzbeitrag Inproceedings  | 2014 |
| 11 | | Aminof, Benjamin ; Jacobs, Swen ; Khalimov, Ayrat ; Rubin, Sasha | Parameterized Model Checking of Token-Passing Systems | Konferenzbeitrag Inproceedings  | 2014 |
| 12 | | Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut | Parameterized Model Checking of Rendezvous Systems | Präsentation Presentation | 2014 |
| 13 | | Rubin, Sasha | Parameterised Verification of Robot Protocols: An Automata Theoretic Approach | Präsentation Presentation | 2014 |
| 14 | | Rubin, Sasha | First Cycle Games | Präsentation Presentation | 2014 |
| 15 | | Rabinovich, Alexander ; Rubin, Sasha | Interpretations in Trees with Countably Many Branches | Konferenzbeitrag Inproceedings  | 2012 |
| 16 | | Kruckman, Alex ; Rubin, Sasha ; Sheridan, John ; Zax, Ben ; Faella, Marco ; Murano, Aniello | A Myhill-Nerode theorem for automata with advice | Konferenzbeitrag Inproceedings  | 2012 |