Nicolas Fröhlich

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Minimal Surface

Top Venues

Theor. Comput. Sci.

Publications

Nicolas Fröhlich, Arne Meier
Submodel Enumeration for CTL Is Hard. AAAI (2024)
Nicolas Fröhlich, Arne Meier
Submodel Enumeration for CTL Is Hard. CoRR (2023)
Nicolas Fröhlich, Arne Meier
Submodel Enumeration of Kripke Structures in Modal Logic. AiML (2022)
Nicolas Fröhlich, Stefan Ruzika
On the hardness of covering-interdiction problems. Theor. Comput. Sci. 871 (2021)
Luca E. Schäfer, Tobias Dietz, Nicolas Fröhlich, Stefan Ruzika, José Rui Figueira
Shortest paths with ordinal weights. Eur. J. Oper. Res. 280 (3) (2020)
Nicolas Fröhlich, Andrea Maier, Horst W. Hamacher
Covering edges in networks. Networks 75 (3) (2020)
Luca E. Schäfer, Tobias Dietz, Nicolas Fröhlich, Stefan Ruzika, José Rui Figueira
Shortest Paths with Ordinal Weights. CoRR (2018)