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

Experimental verification of the European 1 MW, 170 GHz industrial CW prototype gyrotron for ITER, , , , , , , , , und 21 andere Autor(en). Proceedings of the 29th Symposium on Fusion Technology (SOFT-29) Prague, Czech Republic, September 5-9, 2016, 123, Seite 490-494. New York, NY, Elsevier, (2017)Characterization of crystalline MOCVD SrTiO3 films on SiO2/Si(100)., , , , , , , , , und . Microelectronics Reliability, 45 (5-6): 941-944 (2005)Epitaxial growth of LaAlO3 on Si(0 0 1) using interface engineering., , , , , , , , , und 2 andere Autor(en). Microelectronics Reliability, 47 (4-5): 540-543 (2007)Status and Experimental Results of the European 1 MW, 170 GHz Industrial CW Prototype Gyrotron for ITER, , , , , , , , , und 22 andere Autor(en). (2016)Proceedings of the IRMMW-THz Conference.CW Experiments With the EU 1-MW, 170-GHz Industrial Prototype Gyrotron for ITER at KIT, , , , , , , , , und 20 andere Autor(en). IEEE transactions on electron devices, 64 (9): 3885-3892 (2017)SAT-based Explicit LTLf Satisfiability Checking., , , , und . CoRR, (2018)Linear Temporal Logic Symbolic Model Checking.. Computer Science Review, 5 (2): 163-203 (2011)Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties., , , , und . FMCAD, Seite 1-9. IEEE, (2019)MLTL Benchmark Generation via Formula Progression., und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 426-433. Springer, (2018)R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems., , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 233-249. Springer, (2015)