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

ETMA: A New Software for Event Tree Analysis with Application to Power Protection., , , und . CoRR, (2020)FPGA implementation of dynamically reconfigurable IoT security module using algorithm hopping., , , , , , , und . Integr., (2019)Fluctuations in Planar Magnetotransport Due to Tilted Dirac Cones in Topological Materials, , , , , , , , , und . Nano Letters, 23 (15): 6914–6919 (Juli 2023)Resource Aware Space Mission Routing., , , , und . ICCA, Seite 130-135. IEEE, (2018)Formalization of Functional Block Diagrams Using HOL Theorem Proving., und . SBMF, Volume 13768 von Lecture Notes in Computer Science, Seite 22-35. Springer, (2022)A Formally Verified HOL4 Algebra for Event Trees., , und . CoRR, (2020)Formal Probabilistic Risk Assessment of a Nuclear Power Plant., und . FTSCS, Seite 80-87. ACM, (2022)Electron-hole scattering limited transport of Dirac fermions in a topological insulator, , , , , , , , und . Nano Lett., 21 (12): 5195--5200 (11.06.2021)Electron–Hole Scattering Limited Transport of Dirac Fermions in a Topological Insulator, , , , , , , , und . Nano Letters, (Juni 2021)Generalized bulk–boundary correspondence in non-Hermitian topolectrical circuits, , , , , , , , , und . Nat. Phys., 16 (7): 747--750 (01.06.2020)