Ryosuke Sato

Available identifiers

zbMath Open sato.ryosukeWikidataQ89332547 ScholiaQ89332547MaRDI QIDQ365066

List of research outcomes

Publication	Date of Publication	Type
ALP dark matter from kinetic fragmentation: opening up the parameter window	2022-11-02	Paper
Axion fragmentation on the lattice	2022-10-14	Paper
Asynchronous unfold/fold transformation for fixpoint logic	2022-08-10	Paper
Symbolic automatic relations and their applications to SMT and CHC solving	2022-06-17	Paper
Polyhedral Clinching Auctions for Two-Sided Markets	2022-05-17	Paper
Characters of infinite-dimensional quantum classical groups: BCD cases	2022-03-04	Paper
Inductive limits of compact quantum groups and their unitary representations	2021-11-09	Paper
Type classification of extreme quantized characters	2020-11-24	Paper
ICE-based refinement type discovery for higher-order functional programs	2020-11-02	Paper
ICE-based refinement type discovery for higher-order functional programs	2019-09-16	Paper
Quantized Vershik-Kerov theory and quantized central measures on branching graphs	2019-08-13	Paper
Chiral anomaly and Schwinger effect in non-abelian gauge theories	2019-06-08	Paper
Composite accidental axions	2018-06-12	Paper
Relation between the rate of convergence of strong law of large numbers and the rate of concentration of Bayesian prior in game-theoretic probability	2018-04-27	Paper
Predicate abstraction and CEGAR for disproving termination of higher-order functional programs	2018-03-01	Paper
O(\(N\)) invariance of the multi-field bounce	2018-02-05	Paper
Erratum to: ``O(\(N\)) invariance of the multi-field bounce	2018-02-05	Paper
Modular Verification of Higher-Order Functional Programs	2017-05-19	Paper
Automatically disproving fair termination of higher-order functional programs	2017-05-10	Paper
Temporal verification of higher-order functional programs	2016-10-24	Paper
Low scale direct gauge mediation with perturbatively stable vacuum	2013-09-03	Paper
The pattern of eigenfrequencies of overtones of torsional oscillations of a layered spherical shell	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ryosuke Sato