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

Direct imaging of current-induced domain wall motion in CoFeB structures, , , , , , , , , und 3 andere Autor(en). J. Appl. Phys., 103 (7): 07D928 (2008)Observation of thermally activated domain wall transformations, , , , , , , , , und 5 andere Autor(en). Appl. Phys. Lett., 88 (5): 052507 (2006)Spin torque and heating effects in current-induced domain wall motion probed by transmission electron microscopy, , , , , , , , und . Appl. Phys. Lett., 90 (13): 132506 (2007)Relationship between Nonadiabaticity and Damping in Permalloy Studied by Current Induced Spin Structure Transformations, , , , , , , , , und 4 andere Autor(en). Phys. Rev. Lett., 100 (6): 066603 (2008)Current-induced vortex nucleation and annihilation in vortex domain walls, , , , , , , , , und 2 andere Autor(en). Appl. Phys. Lett., 88 (23): 232507 (2006)The analysis of cyclic circuits with Boolean satisfiability., , und . ICCAD, Seite 143-148. IEEE Computer Society, (2008)The Synthesis of Cyclic Dependencies with Boolean Satisfiability., und . ACM Trans. Design Autom. Electr. Syst., 17 (4): 44:1-44:24 (2012)Using cubes of non-state variables with property directed reachability., und . DATE, Seite 807-810. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Debugging Network Reachability with Blocked Paths., , , , , , , , , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 851-862. Springer, (2021)Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability., , , , , und . CoRR, (2016)