@inproceedings{CTT100917075, author = {S. Ota and J. Wang and H. Edlbauer and Y. Okazaki and S. Nakamura and A. Ludwig and A. D. Wieck and T. Kodera and C. Bauerle and N. Kaneko and S. Takada}, title = {On-demand Generation of Single Electrons with Acousto-Electric Pulses}, booktitle = {}, year = 2023, } @inproceedings{CTT100652165, author = {畑中健志 and 岡崎陽平 and 藤田政之}, title = {エネルギー管理のためのReceding Horizon Temporal Logicによるロジックの系統的設計}, booktitle = {}, year = 2012, }