Nicolas Fröhlich

According to our database, Nicolas Fröhlich authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111).

Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich

Dagstuhl Reports, 2024

Submodel Enumeration for CTL Is Hard.

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.

Nicolas Fröhlich, Arne Meier

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

On the hardness of covering-interdiction problems.

Nicolas Fröhlich, Stefan Ruzika

Theor. Comput. Sci., 2021

2020

Covering edges in networks.

Nicolas Fröhlich, Andrea Maier, Horst W. Hamacher

Networks, 2020

Shortest paths with ordinal weights.

Luca E. Schäfer, Tobias Dietz, Nicolas Fröhlich, Stefan Ruzika, José Rui Figueira

Eur. J. Oper. Res., 2020