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

This page was built for person: Ryosuke Sato