Nicolas Frhlich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Disjunctions of Two Dependence Atoms. | Nicolas Frhlich, Phokion G. Kolaitis, Arne Meier |
| 2026 | KR | Complexity of Logics with Semiring Semantics. | Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker |
| 2026 | WoLLIC | A Circuit-Theoretic View of rmFO over Semirings. | Timon Barlag, Nicolas Frhlich, Teemu Hankala, Miika Juhani Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker |
| 2025 | IJCAI | Facets in Argumentation: A Formal Approach to Argument Significance. | Johannes Klaus Fichte, Nicolas Frhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson |
| 2025 | KR | A Logic-Based Framework for Database Repairs. | Nicolas Frhlich, Arne Meier, Nina Pardal, Jonni Virtema |
| 2024 | AAAI | Submodel Enumeration for CTL Is Hard. | Nicolas Frhlich, Arne Meier |
| 2022 | AiML | Submodel Enumeration of Kripke Structures in Modal Logic. | Nicolas Frhlich, Arne Meier |