Concepedia

Yuki Satake

YS

4

Publications

84

Citations

4

H-Index

2010

Active since

Affiliations

University of Tsukuba(Current)

Clemson University

Yuki Satake is an author at University of Tsukuba specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringPhysicsGrapheneVerificationNanomaterialsFormal MethodsNanotechnologyApplied PhysicsSurface ScienceComputer Science

Publications per year

2010–2020

4

Publications

4

Probing interlayer interactions between graphene and metal substrates by supersonic rare-gas atom scattering

Hiroyuki Shichibe, Yuki Satake, Kouji Watanabe et al. · Physical Review B · 2015 · 29 citations · Full text

Materials Science, Graphene Nanomeshes, Engineering +15

He/Ar-atom scattering from molecular monolayers: C<sub>60</sub>/Pt(111) and graphene/Pt(111)

Y. Yamada, Chihiro Sugawara, Yuki Satake et al. · Journal of Physics Condensed Matter · 2010 · 20 citations

Engineering, Chemistry, Graphene Nanomeshes +16

Relatively complete refinement type system for verification of higher-order non-deterministic programs

Hiroshi Unno, Yuki Satake, Tachio Terauchi · Proceedings of the ACM on Programming Languages · 2017 · 19 citations · Full text

Program Checking, Engineering, Type Theory +22

Probabilistic Inference for Predicate Constraint Satisfaction

Yuki Satake, Hiroshi Unno, Hinata Yanagi · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 16 citations · Full text

Mathematical Programming, Engineering, Verification +18

Rows per page

1–4 of 4