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

Qualifizierung von Scanneroptiken und Laserstrahlquellen für das Dampfdruck-Abtragschneiden. (Juli 2012)Expansion Trees with Cut., und . CoRR, (2013)Influence of the solidification path of AlMgSi aluminium alloys on the critical strain rate during remote laser beam welding, , , und . Science and Technology of Welding and Joining, 25 (2): 101-105 (2019)Hot Crack formation when welding aluminum alloys at close-edge position with remote technology, , , , , , , und . Lasers in Manufacturing 2015, Wissenschaftliche Gesellschaft Lasertechnik e.V., (2015)Self-restraint hot cracking test for aluminum alloys using digital image correlation, , , , und . Procedia CIRP, (2018)Charge-induced optical bistability in thermal Rydberg vapor, , , , und . Physical review. A, Atomic, molecular, and optical physics, 94 (6): 063820 (2016)Algorithmic Introduction of Quantified Cuts., , , und . CoRR, (2014)PROOFTOOL: a GUI for the GAPT Framework., , , , , , und . UITP, Volume 118 von EPTCS, Seite 1-14. (2012)System Description: The Proof Transformation System CERES., , , , und . IJCAR, Volume 6173 von Lecture Notes in Computer Science, Seite 427-433. Springer, (2010)Introducing Quantified Cuts in Logic with Equality., , , , und . IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 240-254. Springer, (2014)