Login / Signup
Yuki Honda
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Hardware And Software
Image Sensor
Sequent Calculi
Formal Proof
Top Venues
3DIC
Imaging Sensors and Systems
ISCAS
Stud Logica
</>
Publications
</>
Masahide Goto
,
Yuki Honda
,
Masakazu Nanba
,
Yoshinori Iguchi
,
Takuya Saraya
,
Masaharu Kobayashi
,
Eiji Higurashi
,
Hiroshi Toshiyoshi
,
Toshiro Hiramoto
3-Layer stacked pixel-parallel CMOS image sensors using hybrid bonding of SOI wafers.
Imaging Sensors and Systems
(2022)
Yuki Honda
,
Koji Nakazawa
,
Ken-etsu Fujita
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem.
Stud Logica
109 (5) (2021)
Masahide Goto
,
Joeri De Vos
,
Toshihisa Watabe
,
Kei Hagiwara
,
Masakazu Nanba
,
Yoshinori Iguchi
,
Eiji Higurashi
,
Yuki Honda
,
Takuya Saraya
,
Masaharu Kobayashi
,
Hiroshi Toshiyoshi
,
Toshiro Hiramoto
Triple-Layering Technology for Pixel-Parallel CMOS Image Sensors Developed by Hybrid Bonding of SOI Wafers.
3DIC
(2019)
Masahide Goto
,
Yuki Honda
,
Toshihisa Watabe
,
Kei Hagiwara
,
Masakazu Nanba
,
Yoshinori Iguchi
,
Takuya Saraya
,
Masaharu Kobayashi
,
Eiji Higurashi
,
Hiroshi Toshiyoshi
,
Toshiro Hiramoto
Quarter Video Graphics Array Full-Digital Image Sensing with Wide Dynamic Range and Linear Output Using Pixel-Wise 3D Integration.
ISCAS
(2018)