Raheleh Jalali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LICS | On the Completeness of Interpolation Algorithms. | Stefan Hetzl, Raheleh Jalali |
| 2023 | TABLEAUX | Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2022 | AiML | Uniform Lyndon interpolation for intuitionistic monotone modal logic. | Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
| 2021 | WoLLIC | Uniform Interpolation via Nested Sequents. | Iris van der Giessen, Raheleh Jalali, Roman Kuznets |
| 2021 | WoLLIC | Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. | Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali |
| 2019 | WoLLIC | An Exponential Lower Bound for Proofs in Focused Calculi. | Raheleh Jalali |