Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A verification framework suitable for proving large language translations. University of Illinois Urbana-Champaign, USA, (2020)Magnetic Characterization of Spacecraft Equipment in a Magnetic Shielded Room., , , , und . IEEE Trans. Instrum. Meas., (2024)Magnetostrictive energy harvester with adjustable-air gap for low frequency human walking., , und . IECON, Seite 2576-2581. IEEE, (2017)Motion Control of Macro-Micro Linear Platform Based on Adaptive Fuzzy Active Disturbance Rejection Control., , , , und . Symmetry, 16 (6): 707 (Juni 2024)A Formal Model of Checked C., , , , , und . CSF, Seite 49-63. IEEE, (2022)A Complete Semantics of $K$ and Its Translation to Isabelle., und . ICTAC, Volume 12819 von Lecture Notes in Computer Science, Seite 152-171. Springer, (2021)IsaK-Static: A Complete Static Semantics of K., und . FACS, Volume 11222 von Lecture Notes in Computer Science, Seite 196-215. Springer, (2018)Kinematics Analysis of an Electrical Landing Gear of Helicopters*., , , , , und . AIM, Seite 1268-1273. IEEE, (2019)Symbolic Analysis Tools for CSP., , und . ICTAC, Volume 8687 von Lecture Notes in Computer Science, Seite 295-313. Springer, (2014)Design and Test of a High-Speed Double-Winding High Temperature Superconducting Synchronous Motor., , , und . IEEE Access, (2020)