Jim de Groot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Semantical Analysis of Intuitionistic Modal Logics between CK and IK. | Jim de Groot, Ian Shillito, Ranald Clouston |
| 2023 | CONCUR | Modal Logics for Mobile Processes Revisited. | Tiange Liu, Alwen Tiu, Jim de Groot |
| 2022 | AiML | Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. | Jim de Groot |
| 2021 | LICS | Gdel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. | Jim de Groot, Tadeusz Litak, Dirk Pattinson |
| 2020 | AiML | Logic-Induced Bisimulations. | Jim de Groot, Helle Hvid Hansen, Alexander Kurz |
| 2020 | LICS | Modal Intuitionistic Logics as Dialgebraic Logics. | Jim de Groot, Dirk Pattinson |
| 2019 | CALCO | Coalgebraic Geometric Logic. | Nick Bezhanishvili, Jim de Groot, Yde Venema |
| 2019 | WoLLIC | Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic. | Jim de Groot, Dirk Pattinson |