Yuki Satake - Concepedia

Author

Yuki Satake

Also Known As

Satake, Yuki, Y Satake, Y. Satake, Yuki Satake

Publications

106

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	84
2	Natural Sciences	2	2	49
3	Applied Physics	2	2	49
4	Chemistry	1	1	20
5	Computer Engineering	1	1	16

Yuki Satake

Publications

Citations

H-Index

Page 1

	Year	Citations
Probing interlayer interactions between graphene and metal substrates by supersonic rare-gas atom scattering Hiroyuki Shichibe, Yuki Satake, Kouji Watanabe, Physical Review B Materials ScienceGraphene NanomeshesEngineeringPhysicsNanomaterials	2015	29
He/Ar-atom scattering from molecular monolayers: C<sub>60</sub>/Pt(111) and graphene/Pt(111) Y. Yamada, Chihiro Sugawara, Yuki Satake, Journal of Physics Condensed Matter EngineeringChemistryGraphene NanomeshesAr Atomic BeamPhysics	2010	20
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 Program CheckingEngineeringType TheoryVerificationComputer-aided Verification	2017	19
Probabilistic Inference for Predicate Constraint Satisfaction Yuki Satake, Hiroshi Unno, Hinata Yanagi Proceedings of the AAAI Conference on Artificial Intelligence Mathematical ProgrammingEngineeringVerificationComputer-aided VerificationComputational Complexity	2020	16

Page 1