Klein, Julian
852  results:
Search for persons X
?
4

Verifying Opacity of Discrete-Timed Automata:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Klein, Julian ; Kogel, Paul ; Glesner, Sabine - p. 55-65 , 2024
 
?
 
?
11

AI-enabled Automation of Atomic Manipulation and Characteri..:

Roccapriore, Kevin M ; Boebinger, Matthew G ; Klein, Julian...
Microscopy and Microanalysis.  29 (2023)  Supplement_1 - p. 1366-1367 , 2023
 
?
14

Limitations of the Tauc Plot Method:

Klein, Julian ; Kampermann, Laura ; Mockenhaupt, Benjamin...
Advanced Functional Materials.  33 (2023)  47 - p. , 2023
 
1-15