( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
High output power and narrow linewidth silicon photonic hybrid ring-filter external cavity wavelength tunable lasers.

, , , , , , и . ECOC, стр. 1-3. IEEE, (2014)

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.

Naoki Yoshida

Naoki Ueda

Naoki Fukuzawa

Naoki Tamura

Naoki Saito

 

Другие публикации лиц с тем же именем

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols., , , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 75-89. Springer, (2011)Classification of Elastic and Collagen Fibers in H&E Stained Hyperspectral Images., , , , , , , и . EMBC, стр. 7031-7035. IEEE, (2019)Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence., , , и . CoRR, (2018)Challenging EMC problems on two-dimensional communication systems., , и . INSS, стр. 130-137. IEEE, (2010)Streett Automata Model Checking of Higher-Order Recursion Schemes., , , и . FSCD, том 84 из LIPIcs, стр. 32:1-32:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Higher-Order Model Checking in Direct Style., , и . APLAS, том 10017 из Lecture Notes in Computer Science, стр. 295-313. (2016)Verification of Tree-Processing Programs via Higher-Order Model Checking., , и . APLAS, том 6461 из Lecture Notes in Computer Science, стр. 312-327. Springer, (2010)Dependent type inference with interpolants., и . PPDP, стр. 277-288. ACM, (2009)Model-checking higher-order functions.. PPDP, стр. 25-36. ACM, (2009)A ZDD-Based Efficient Higher-Order Model Checking Algorithm., и . APLAS, том 8858 из Lecture Notes in Computer Science, стр. 354-371. Springer, (2014)