Matthias Claus
41  results:
Search for persons X
?
1

Bilevel Linear Optimization Under Uncertainty:

, In: Bilevel Optimization; Springer Optimization and Its Applications,
Burtscheidt, Johanna ; Claus, Matthias - p. 485-511 , 2020
 
?
2

An End-to-End AI-based Automated Process for Semiconductor ..:

, In: Industrial Artificial Intelligence Technologies and Applications,
Purice, Dinu ; Ludwig, Matthias ; Lenz, Claus - p. 53-72 , 2023
 
?
3

Towards Fully Automated Verification of Semiconductor Techn..:

, In: Artificial Intelligence for Digitising Industry – Applications,
 
?
4

ExDRa: Exploratory Data Science on Federated Raw Data:

, In: Proceedings of the 2021 International Conference on Management of Data,
 
?
5

Verification of Concurrent Programs Using Petri Net Unfoldi..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
 
?
6

Testing Autogenerated OPC UA NodeSet Models for Product Var..:

, In: Software Quality: Future Perspectives on Software Engineering Quality; Lecture Notes in Business Information Processing,
 
?
7

Quality Control and Fault Classification of Laser Welded Ha..:

, In: 2020 28th European Signal Processing Conference (EUSIPCO),
Vater, Johannes ; Pollach, Matthias ; Lenz, Claus.. - p. 1377-1381 , 2021
 
?
9

Demonstration of Flexible 74.4 cm2 High Efficiency AM0 Inve..:

, In: 2020 47th IEEE Photovoltaic Specialists Conference (PVSC),
Major, Todd A. ; Youtsey, Chris ; Drees, Martin... - p. 1296-1297 , 2020
 
?
10

Ultimate Taipan with Symbolic Interpretation and Fluid Abst..:

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

When Channel Coding Hits the Implementation Wall:

, In: 2018 IEEE 10th International Symposium on Turbo Codes & Iterative Information Processing (ISTC),
 
?
12

A Framework for Non-intrusive Trace-driven Simulation of Ma..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Jahic, Jasmin ; Jung, Matthias ; Kuhn, Thomas.. - p. 458-468 , 2018
 
?
13

Technical opportunities to extend the stoichiometric operat..:

, In: Proceedings; Internationaler Motorenkongress 2018,
Glahn, Claus ; Hermann, Ingo ; Kluin, Matthias. - p. 113-113 , 2018
 
?
14

Motorkomponenten:

, In: Handbuch Verbrennungsmotor,
Mohr, Uwe ; Issler, Wolgang ; Garnier, Thierry... - p. 99-404 , 2017
 
1-15