E-LIB Suche - Ergebnisse für: Lehmann, Sascha

1

Bounded DBM-based clock state construction for timed automa..:

Lehmann, Sascha ; Schupp, Sibylle
International Journal on Software Tools for Technology Transfer. 25 (2022) 1 - p. 19-47 , 2022

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

2

Corporate Emissions-Trading Behaviour During the First Deca..:

Abrell, Jan ; Cludius, Johanna ; Lehmann, Sascha..
Environmental and Resource Economics. 83 (2021) 1 - p. 47-83 , 2021

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

3

Support study for the preparation of energy efficiency benc..:

Kantamaneni, Ravi ; Verstraeten, Yann ; Kuzov, Teodor.. , 2021

Link: https://data.europa.eu/d..

4

A Quantitative Metric Temporal Logic for Execution-Time Con..:

, In: Cyber Physical Systems. Model-Based Design; Lecture Notes in Computer Science,

Lehmann, Sascha ; Antoni, Sven-Thomas ; Schlaefer, Alexander. - p. 170-189 , 2019

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

5

Model checking for trigger loss detection during Doppler ul..:

Antoni, Sven-Thomas ; Lehmann, Sascha ; Neidhardt, Maximilian...
International Journal of Computer Assisted Radiology and Surgery. 13 (2018) 11 - p. 1755-1766 , 2018

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

6

Zivilcourage hat viele Gesichter:

, In: WERTEorientierte Führung von Familienunternehmen,

Lehmann, Sascha A. - p. 383-384 , 2015

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

7

Best efforts- und Best endeavours-Verpflichtungen im US-ame..

Abhandlungen zum Recht der internationalen Wirtschaft ; 67

Lehmann, Sascha , c 2004

Copies: Juridicum: h jur 993 rge/060

8

Anwendung Transnationalen Rechts in der internationalen Ver..

, In: Zeitschrift für vergleichende Rechtswissenschaft

Hintergrund, Methode und ausgewählte Ergebnisse einer Umfr...

Dubberstein, Holger ; Lehmann, Sascha ; Petzold, Viktoria.. (2002) 1 - p. 12-37

Copies: Zentrale; Juridicum;

9

Summary of the discussions:

, In: The practice of transnational law / ed. by Klaus Peter Berger

Lehmann, Sascha. (2001) - p. 115-132

Copies: Juridicum: h jur 076 uai/078

10

Direct Air Carbon Capture and Storage: A game changer in cl..:

Breitschopf, Barbara ; Dütschke, Elisabeth ; Duscha, Vicki...
Series: Perspectives - Policy Brief. , 2023

Link: http://hdl.handle.net/10..

11

Direct Air Carbon Capture and Storage: Ein Gamechanger in d..:

Breitschopf, Barbara ; Dütschke, Elisabeth ; Duscha, Vicki...
Series: Perspektiven - Policy Brief. , 2023

Link: http://hdl.handle.net/10..

12

Technical assistance to assess the potential of renewable l..:

Schröder, Jonas ; Cihlar, Jan ; Munzel, Benjamin...
doi:10.2833/031728. , 2022

Link: https://publica.fraunhof..

13

Technical assistance to assess the potential of renewable l..:

Jörling, Korinna ; Klessmann, Corinna ; Schröder, Jonas..
doi:10.2833/343088. , 2022

Link: https://publica.fraunhof..

14

Modeling R$^3$ Needle Steering in Uppaal:

Lehmann, Sascha ; Rogalla, Antje ; Neidhardt, Maximilian...
http://arxiv.org/abs/2203.09884. , 2022

Link: http://arxiv.org/abs/220..

15

Modeling ℝ³ needle steering in Uppaal:

Lehmann, Sascha ; Rogalla, Antje ; Neidhardt, Maximilian...
Electronic proceedings in theoretical computer science. , 2022

Link: http://hdl.handle.net/11..