Iris van der Giessen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2021–2026
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Uniform Interpolation with Constructive Diamond. | Iris van der Giessen, Ian Shillito |
| 2024 | CSL | Intuitionistic Gdel-Lb Logic, la Simpson: Labelled Systems and Birelational Semantics. | Anupam Das, Iris van der Giessen, Sonia Marin |
| 2024 | IJCAR | Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. | Hugo Fre, Iris van der Giessen, Sam van Gool, Ian Shillito |
| 2023 | TABLEAUX | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2023 | TABLEAUX | A New Calculus for Intuitionistic Strong Lb Logic: Strong Termination and Cut-Elimination, Formalised. | Ian Shillito, Iris van der Giessen, Rajeev Gor, Rosalie Iemhoff |
| 2021 | WoLLIC | Uniform Interpolation via Nested Sequents. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |