We stand with Ukraine  

Nicolas Fröhlich

Affiliations:
  • Leibniz Universität Hannover, Germany


According to our database1, Nicolas Fröhlich authored at least 5 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Facets in Argumentation: A Formal Approach to Argument Significance.
[BibTeX]
[DOI]
Johannes Klaus Fichte
,
Nicolas Fröhlich
,
Markus Hecher
,
Victor Lagerkvist
,
Yasir Mahmood
,
Arne Meier
,
Jonathan Persson
CoRR, May, 2025

Logic and Computation Through the Lens of Semirings.
[BibTeX]
[DOI]
Timon Barlag
,
Nicolas Fröhlich
,
Teemu Hankala
,
Miika Hannula
,
Minna Hirvonen
,
Vivian Holzapfel
,
Juha Kontinen
,
Arne Meier
,
Laura Strieker
CoRR, February, 2025

2024
Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111).
[BibTeX]
[DOI]
Juha Kontinen
,
Jonni Virtema
,
Heribert Vollmer
,
Fan Yang
,
Nicolas Fröhlich
Dagstuhl Reports, 2024

Submodel Enumeration for CTL Is Hard.
[BibTeX]
[DOI]
Nicolas Fröhlich
,
Arne Meier
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022
Submodel Enumeration of Kripke Structures in Modal Logic.
[BibTeX]
[DOI]
Nicolas Fröhlich
,
Arne Meier
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022


  Loading...