Search for persons
X
?
Bilevel Optimization; Springer Optimization and Its Applications ,
1
Bilevel Linear Optimization Under Uncertainty:
, In:
?
Industrial Artificial Intelligence Technologies and Applications ,
2
An End-to-End AI-based Automated Process for Semiconductor ..:
, In:
?
Artificial Intelligence for Digitising Industry – Applications ,
3
Towards Fully Automated Verification of Semiconductor Techn..:
, In:
?
Proceedings of the 2021 International Conference on Management of Data ,
4
ExDRa: Exploratory Data Science on Federated Raw Data:
, In:
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
5
Verification of Concurrent Programs Using Petri Net Unfoldi..:
, In:
?
Software Quality: Future Perspectives on Software Engineering Quality; Lecture Notes in Business Information Processing ,
6
Testing Autogenerated OPC UA NodeSet Models for Product Var..:
, In:
?
2020 28th European Signal Processing Conference (EUSIPCO) ,
7
Quality Control and Fault Classification of Laser Welded Ha..:
, In:
?
Arbeit in der digitalisierten Welt ,
8
TransWork – Transformation der Arbeit durch Digitalisierung:
, In:
?
2020 47th IEEE Photovoltaic Specialists Conference (PVSC) ,
9
Demonstration of Flexible 74.4 cm2 High Efficiency AM0 Inve..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
10
Ultimate Taipan with Symbolic Interpretation and Fluid Abst..:
, In:
?
2018 IEEE 10th International Symposium on Turbo Codes & Iterative Information Processing (ISTC) ,
11
When Channel Coding Hits the Implementation Wall:
, In:
?
Runtime Verification; Lecture Notes in Computer Science ,
12
A Framework for Non-intrusive Trace-driven Simulation of Ma..:
, In:
?
Proceedings; Internationaler Motorenkongress 2018 ,
13