E-LIB Suche - Ergebnisse für: Hensel, Christian

1

Parameter synthesis for Markov models: covering the paramet..:

Junges, Sebastian ; Ábrahám, Erika ; Hensel, Christian...
Formal Methods in System Design. , 2024

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

2

Can Unpaired Textual Data Replace Synthetic Speech in ASR M..:

, In: 2023 IEEE Automatic Speech Recognition and Understanding Workshop (ASRU),

D'Alterio, Pasquale ; Hensel, Christian ; Hasan, Bashar Awwad Shiekh - p. 1-8 , 2023

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

3

Time-Frequency Analysis of Dark-Waves:

, In: 2023 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Vamos, Lenard ; Hensel, Christian ; Tyulnev, Igor... - p. 1-1 , 2023

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

4

Lorentzian autocorrelation of mid-infrared pulses from wate..:

, In: 2021 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Vamos, Lenard ; Hensel, Christian ; Maidment, Luke... - p. 1-1 , 2021

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

5

Field-resolved interference among dark waves:

, In: 2021 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),

Vamos, Lenard ; Tyulnev, Igor ; Maidment, Luke... - p. 1-1 , 2021

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

6

Counterexample-guided inductive synthesis for probabilistic..:

Češka, Milan ; Hensel, Christian ; Junges, Sebastian.
Formal Aspects of Computing. 33 (2021) 4-5 - p. 637-667 , 2021

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

7

The probabilistic model checker Storm:

Hensel, Christian ; Junges, Sebastian ; Katoen, Joost-Pieter..
International Journal on Software Tools for Technology Transfer. 24 (2021) 4 - p. 589-610 , 2021

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

8

Parametric Markov chains: PCTL complexity and fraction-free..:

Baier, Christel ; Hensel, Christian ; Hutschenreiter, Lisa...
Information and Computation. 272 (2020) - p. 104504 , 2020

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

9

Influence of nutritional tyrosine on cognition and function..:

Hensel, Christian ; Becker, Maxi ; Düzel, Sandra...
NeuroImage. 193 (2019) - p. 139-145 , 2019

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

10

Die Besteuerung von Managementbeteiligungen nach dem Urteil..:

, In: WCLF Tax und IP Gesprächsband 2017,

Hensel, Christian ; Demleitner, Andreas - p. 177-187 , 2019

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

11

The 2019 Comparison of Tools for the Analysis of Quantitati..:

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

Hahn, Ernst Moritz ; Hartmanns, Arnd ; Hensel, Christian... - p. 69-92 , 2019

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

12

Counterexample-Driven Synthesis for Probabilistic Program S..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,

Češka, Milan ; Hensel, Christian ; Junges, Sebastian. - p. 101-120 , 2019

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

13

Vielseitiges Stationstraining in der schwimmerischen Grunda..:

Reinschmidt, Christian ; Hensel, Christian
Lehrhilfen für den Sportunterricht. , 2017

Exemplare: Zentrale: Angebunden an fb 0785; Zentrale: Angebunden an z spo 350 ja/85

14

Ausgewählte rechtliche Probleme beim Kauf IP-intensiver Unt..:

, In: WCLF Tax und IP Gesprächsband 2016,

Schniepp, Steffen ; Hensel, Christian - p. 167-186 , 2017

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

15

Gesellschafterdarlehen in Unternehmenstransaktionen

, In: Der Betrieb

Auswirkungen der jüngeren BGH-Rechtsprechung auf die M&A-P...

Schniep, Steffen ; Hensel, Christian. (2015) 9 - p. 479-482

Exemplare: Zentrale; TB BHV; Juridicum; SOCIUM;