E-LIB Suche - Ergebnisse für: Hausmann, Daniel

1

Fair $$\omega $$-Regular Games:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Hausmann, Daniel ; Piterman, Nir ; Sağlam, Irmak. - p. 13-33 , 2024

Link: https://doi.org/10.1007/..

2

Symbolic Solution of Emerson-Lei Games for Reactive Synthes..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Hausmann, Daniel ; Lehaut, Mathieu ; Piterman, Nir - p. 55-78 , 2024

Link: https://doi.org/10.1007/..

3

AI-Supported Autonomous Uterus Reconstructions: First Appli..:

Hausmann, Daniel ; Lerch, Aline ; Hitziger, Sebastian...
Academic Radiology. 31 (2024) 4 - p. 1400-1409 , 2024

Link: https://doi.org/10.1016/..

4

Generic Model Checking for Modal Fixpoint Logics in COOL-MC:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Hausmann, Daniel ; Humml, Merlin ; Prucker, Simon.. - p. 171-185 , 2023

Link: https://doi.org/10.1007/..

5

Using Selective Electron Beam Melting to Enhance the High‐T..:

Förner, Andreas ; Vollhüter, Jan ; Krapf, Anna...
Advanced Engineering Materials. 25 (2023) 15 - p. , 2023

Link: https://doi.org/10.1002/..

6

Quantitative Assessment of Iteratively Denoised 3D SPACE wi..:

Hausmann, Daniel ; Pindur, Alexandra ; Todorski, Inga...
Academic Radiology. 30 (2023) 6 - p. 1129-1140 , 2023

Link: https://doi.org/10.1016/..

7

Advanced Diffusion-Weighted Imaging Sequences for Breast MR..:

Hausmann, Daniel ; Todorski, Inga ; Pindur, Alexandra...
Diagnostics. 13 (2023) 4 - p. 607 , 2023

Link: https://doi.org/10.3390/..

8

Games for Efficient Supervisor Synthesis:

Hausmann, Daniel ; Jha, Prabhat Kumar ; Piterman, Nir
IEEE Control Systems Letters. 7 (2023) - p. 2881-2885 , 2023

Link: https://doi.org/10.1109/..

9

COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (Syst..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,

Görlitz, Oliver ; Hausmann, Daniel ; Humml, Merlin... - p. 234-247 , 2023

Link: https://doi.org/10.1007/..

10

Cracking during High-Temperature Deformation of a High-Stre..:

Hausmann, Daniel ; Freund, Lisa Patricia ; Solís, Cecilia...
Metals. 12 (2022) 9 - p. 1520 , 2022

Link: https://doi.org/10.3390/..

11

Pflege & Wissenschaft:

Weidinger, Lisa ; Löschnigg-Tausz, Michaela ; Hausmann, Daniel
ProCare. 27 (2022) 3 - p. 48-51 , 2022

Link: https://doi.org/10.1007/..

12

A Survey on Satisfiability Checking for the $$\mu $$-Calcul..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,

Hausmann, Daniel ; Piterman, Nir - p. 228-251 , 2022

Link: https://doi.org/10.1007/..

13

Infiltrative growth pattern of prostate cancer is associate..:

Laudicella, Riccardo ; Rüschoff, Jan H. ; Ferraro, Daniela A....
European Journal of Nuclear Medicine and Molecular Imaging. 49 (2022) 11 - p. 3917-3928 , 2022

Link: https://doi.org/10.1007/..

14

Flexibel, zeit- und ortsunabhängig: Zugängliches E-Learning..:

Kraus, Alexander ; Mülleder, Patrick ; Leinemann, Verena...
ProCare. 27 (2022) 6-7 - p. 52-54 , 2022

Link: https://doi.org/10.1007/..

15

Quasipolynomial Computation of Nested Fixpoints:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hausmann, Daniel ; Schröder, Lutz - p. 38-56 , 2021

Link: https://doi.org/10.1007/..