Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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