Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Metzger, Kai Niklas
65  Ergebnisse:
Personensuche X
?
1

Identifizierung und Charakterisierung von HBV-spezifischen ..:

Metzger, Kai Niklas , 2022
Link: http://nbn-resolving.de/..
 
?
2

Identifizierung und Charakterisierung von HBV-spezifischen ..:

Metzger, Kai Niklas
https://mediatum.ub.tum.de/1601334.  , 2022
Link: https://mediatum.ub.tum...
 
?
3

Efficient Trace Encodings of Bounded Synthesis for Asynchro..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Hecking-Harbusch, Jesko ; Metzger, Niklas O. - p. 369-386 , 2019
Link: https://doi.org/10.1007/..
 
?
4

Isolation and functional characterization of hepatitis B vi..:

Wisskirchen, Karin ; Metzger, Kai ; Schreiber, Sophia...
PLOS ONE.  12 (2017)  8 - p. e0182936 , 2017
Link: https://doi.org/10.1371/..
 
?
5

Der demografische Wandel: Spielplätze der Zukunft:

Metzger, Kai
Politik betrifft uns.  , 2008
Exemplar:  Zentrale: Einzelsignatur
 
?
6

Second-Order Hyperproperties:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Beutner, Raven ; Finkbeiner, Bernd ; Frenkel, Hadar. - p. 309-332 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Explaining Hyperproperty Violations:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Coenen, Norine ; Dachselt, Raimund ; Finkbeiner, Bernd... - p. 407-429 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Visual Analysis of Hyperproperties for Understanding Model ..:

Horak, Tom ; Coenen, Norine ; Metzger, Niklas...
IEEE Transactions on Visualization and Computer Graphics.  28 (2022)  1 - p. 357-367 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Temporal Causality in Reactive Systems:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Coenen, Norine ; Finkbeiner, Bernd ; Frenkel, Hadar... - p. 208-224 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Live synthesis:

Finkbeiner, Bernd ; Klein, Felix ; Metzger, Niklas
Innovations in Systems and Software Engineering.  18 (2022)  3 - p. 443-454 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Information Flow Guided Synthesis:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Finkbeiner, Bernd ; Metzger, Niklas ; Moses, Yoram - p. 505-525 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Live Synthesis:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Finkbeiner, Bernd ; Klein, Felix ; Metzger, Niklas - p. 153-169 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Soil water retention and hydraulic conductivity measured in..:

Hohenbrink, Tobias L. ; Jackisch, Conrad ; Durner, Wolfgang...
Earth System Science Data.  15 (2023)  10 - p. 4417-4432 , 2023
Link: https://doi.org/10.5194/..
 
?
14

State of illness-dependent associations of neuro-cognition ..:

Stein, Frederike ; Schmitt, Simon ; Brosch, Katharina...
Journal of Affective Disorders.  324 (2023)  - p. 589-599 , 2023
Link: https://doi.org/10.1016/..
 
?
15

The 2020 photovoltaic technologies roadmap:

Wilson, Gregory M ; Al-Jassim, Mowafak ; Metzger, Wyatt K...
Journal of Physics D: Applied Physics.  53 (2020)  49 - p. 493001 , 2020
Link: https://doi.org/10.1088/..
 
1-15