Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Tetsuya Sato
Researcher
PaperFormal verification of higher-order probabilistic programsAuthorship / preprint / 2020PaperApproximate Relational Hoare Logic for Continuous Random SamplingsAuthorship / preprint / 2016PaperThe "Yin-Yang Grid": An Overset Grid in Spherical GeometryAuthorship / preprint / 2004PaperSwitching of magnetism via modifying phase shift of quantum-well states by tailoring the interface electronic structureAuthorship / preprint / 2019PaperAging behavior of spin glasses under bond and temperature perturbations from laser illuminationAuthorship / preprint / 2007PaperEffect of the change in the interface structure of Pd(100)/SrTiO3 for quantum-well induced ferromagnetismAuthorship / preprint / 2016PaperGraded Hoare Logic and its Categorical SemanticsAuthorship / preprint / 2021