Nicolas Fröhlich

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

Collaborative distances:

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

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