Friedrich Michel

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Discretization Method

Partial Differential Equations

Extended Abstract

Top Venues

Description Logics

J. Comput. Sci.

Publications

Nesrine Khouzami, Friedrich Michel, Pietro Incardona, Jerónimo Castrillón, Ivo F. Sbalzarini
Model-based autotuning of discretization methods in numerical simulations of partial differential equations. J. Comput. Sci. 57 (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
wer Reasoner. Theory Pract. Log. Program. 22 (2) (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). Description Logics (2022)
Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions using the $\mathcal{FL}_{o}$wer reasoner. CoRR (2021)
Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß
Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. RuleML+RR (2019)