Skip to content Skip to footer

Search for Research output

25971 - 25980 out of 86,642Page size: 10
86642 Research output
  1. 2021
  2. Published

    Fertigungsaufwände deutlich effizienter kalkulieren

    Erler, M. & Brosius, A., 2021

    Research output: Other contribution › Other › Contributed › peer-review

  3. Fesseln der Begierde: Zwei Versprechen zur Einleitung

    Albers, G., Harst, J. & Kaesling, K., 2021, Wortgebunden: Zur Verbindlichkeit von Versprechen in Recht und Literatur. Albers, G., Harst, J. & Kaesling, K. (eds.). 1 ed. Frankfurt am Main: Vittorio Klostermann, p. 7-26 20 p. (Schriftenreihe des Käte-Hamburger-Kollegs "Recht als Kultur", Vol. 24).

    Research output: Contribution to book/Conference proceedings/Anthology/Report › Chapter in book/Anthology/Report › Contributed › peer-review

  4. Published

    Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures

    Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). p. 291–308 18 p.

    Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

  5. Published

    Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)

    Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021) .

    Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

  6. Published

    Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

    Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2021, arXiv.

    Research output: Preprint/Documentation/Report › Preprint

  7. Published

    Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract).

    Kieronski, E. & Rudolph, S., 2021, Description Logics.

    Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

  8. Published

    FIRESTARTER 2: Dynamic Code Generation for Processor Stress Tests

    Schöne, R., Schmidl, M., Bielert, M. & Hackenberg, D., 2021, p. 582-590. 9 p.

    Research output: Contribution to conferences › Paper › Contributed › peer-review

  9. Published

    First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

    Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2021, arXiv, 69 p.

    Research output: Preprint/Documentation/Report › Manual/Technical documentation

  10. Published

    Flammschutzmittel auf der Basis nachwachsender Roh- und Reststoffe

    Thümmler, K., Hofmann, L. & Tech, S., 2021, In: Feuer-Trutz : Brandschutz-Magazin für Fachplaner ; Problemlösungen, Planungshilfen, Insiderwissen. 5, p. 80 82 p.

    Research output: Contribution to journal › Research article › Contributed

  11. Published

    Flash LiDAR aided-inertial Navigation on surfaces of small solar system bodies using error state Kalmanfiltering.

    Janschek, K., Liu, B., Sazdovski, V. & Chernykh, V., 2021.

    Research output: Contribution to conferences › Paper › Contributed

Previous 1...2594 2595 2596 2597 2598 2599 2600 2601 ...8665 Next
Export list (max. 500):