( en | de | ru )

 

Disambiguation of "Lüth, Christoph"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Interrelation of Documents via an Ontology.

, , , , and . DeLFI, volume P-52 of LNI, page 271-282. GI, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Lüth

Christoph Lüth

Tim Lüth

H Lüth

August Lüth

 

Other publications of authors with the same name

Verified Value Chains, Innovation and Competition., , , , , , , , , and 3 other author(s). CSR, page 470-476. IEEE, (2023)Integer Overflow Detection in Hardware Designs at the Specification Level., , , and . MODELSWARD, page 41-48. SCITEPRESS, (2020)Verification Runtime Analysis: Get the Most Out of Partial Verification., , , , and . DATE, page 873-878. IEEE, (2020)How Deduction Systems Can Help You To Verify Stability Properties., , , and . CoRR, (2024)Code is Ethics - Formal Techniques for a Better World., and . DSD, page 1-3. IEEE, (2019)Towards Automatic Hardware Synthesis from Formal Specification to Implementation., , , and . ASP-DAC, page 375-380. IEEE, (2020)Better Late Than Never : Verification of Embedded Systems After Deployment., , , , and . DATE, page 890-895. IEEE, (2019)Finding the perfect MRI sequence for your patient - Towards an optimisation workflow for MRI-sequences., , , , , , and . CEC, page 1-9. IEEE, (2024)Tool Integration in the UniForM-Workbench., , , , and . Tool Support for System Specification, Development and Verification, page 160-173. Springer, (1998)Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation., , , , , , , and . EMBC, page 4584-4589. IEEE, (2022)