Submodel Enumeration of Kripke Structures in Modal Logic. - Nicolas Fröhlich 001; Arne Meier (AiML, 2022)

Submodel Enumeration for CTL Is Hard. - Nicolas Fröhlich 001; Arne Meier (AAAI, 2024)

Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111). - Juha Kontinen; Jonni Virtema; Heribert Vollmer; Fan Yang 004; Nicolas Fröhlich 001 (Dagstuhl Reports, 2024)

Logic and Computation Through the Lens of Semirings. - Timon Barlag; Nicolas Fröhlich 001; Teemu Hankala; Miika Hannula; Minna Hirvonen; Vivian Holzapfel; Juha Kontinen; Arne Meier; Laura Strieker (CoRR, 2025)

Facets in Argumentation: A Formal Approach to Argument Significance. - Johannes Klaus Fichte; Nicolas Fröhlich 001; Markus Hecher; Victor Lagerkvist; Yasir Mahmood 002; Arne Meier; Jonathan Persson (CoRR, 2025)