E-LIB Suche - Ergebnisse für: Katsura, Hiroyuki

1

Higher-Order Property-Directed Reachability:

Katsura, Hiroyuki ; Kobayashi, Naoki ; Sato, Ryosuke
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 48-77 , 2023

Link: https://doi.org/10.1145/..

2

On Higher-Order Reachability Games Vs May Reachability:

, In: Lecture Notes in Computer Science; Reachability Problems,

Asada, Kazuyuki ; Katsura, Hiroyuki ; Kobayashi, Naoki - p. 108-124 , 2022

Link: https://doi.org/10.1007/..

3

SLOPT: Bandit Optimization Framework for Mutation-Based Fuz..:

, In: Proceedings of the 38th Annual Computer Security Applications Conference,

Koike, Yuki ; Katsura, Hiroyuki ; Yakura, Hiromu. - p. 519-533 , 2022

Link: https://dl.acm.org/doi/1..

4

A New Refinement Type System for Automated $$\nu \text {HFL..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Katsura, Hiroyuki ; Iwayama, Naoki ; Kobayashi, Naoki. - p. 86-104 , 2020

Link: https://doi.org/10.1007/..

5

SLOPT: Bandit Optimization Framework for Mutation-Based Fuz..:

Koike, Yuki ; Katsura, Hiroyuki ; Yakura, Hiromu.
http://arxiv.org/abs/2211.03285. , 2022

Link: http://arxiv.org/abs/221..

6

On Higher-Order Reachability Games vs May Reachability:

Asada, Kazuyuki ; Katsura, Hiroyuki ; Kobayashi, Naoki
http://arxiv.org/abs/2203.08416. , 2022

Link: http://arxiv.org/abs/220..

7

Transdermal pilocarpine on the skin over salivary glands to..:

Ishida, Natsuko ; Katsura, Ayano ; Takagaki, Koichi...
BMC Oral Health. 24 (2024) 1 - p. , 2024

Link: https://doi.org/10.1186/..

8

A novel method for determining dose distribution on panoram..:

Okamoto, Hiroyuki ; Sakuramachi, Madoka ; Yatsuoka, Wakako...
Imaging Science in Dentistry. 54 (2024) 2 - p. 129 , 2024

Link: https://doi.org/10.5624/..

9

Variant spectrum of PIEZO1 and KCNN4 in Japanese patients w..:

Nakahara, Erina ; Yamamoto, Keiko Shimojima ; Ogura, Hiromi...
Human Genome Variation. 10 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

10

Guidance on the need for contraception related to use of ph..:

Suzuki, Nao ; Takai, Yasushi ; Yonemura, Masahito...
International Journal of Clinical Oncology. 27 (2022) 5 - p. 829-839 , 2022

Link: https://doi.org/10.1007/..

11

Epstein‐Barr virus‐related diffuse large B‐cell lymphoma ty..:

Doi, Kazuki ; Muramaki, Mototsugu ; Yamamoto, Tetsuro...
IJU Case Reports. 5 (2022) 3 - p. 172-174 , 2022

Link: https://doi.org/10.1002/..

12

Platinum nanocluster catalysts supported on Marimo carbon v..:

Hirata, Naoyuki ; Katsura, Yui ; Gunji, Hiroyuki...
RSC Advances. 11 (2021) 62 - p. 39216-39222 , 2021

Link: https://doi.org/10.1039/..

13

A case of nonislet cell tumor hypoglycemia associated with ..:

Ono, Mariko ; Maeda, Yuki ; Koyama, Nobuyuki...
Clinical Case Reports. 9 (2021) 10 - p. , 2021

Link: https://doi.org/10.1002/..

14

Layered Double Hydroxide Nanosheets on Plasmonic Arrays of ..:

Murai, Shunsuke ; Tokudome, Yasuaki ; Katsura, Reo...
ACS Applied Nano Materials. 3 (2020) 6 - p. 5838-5845 , 2020

Link: https://doi.org/10.1021/..

15

Comparative analysis of TTF‐1 binding DNA regions in small‐..:

Hokari, Satoshi ; Tamura, Yusuke ; Kaneda, Atsushi...
Molecular Oncology. 14 (2019) 2 - p. 277-293 , 2019

Link: https://doi.org/10.1002/..