Ryosuke Sato

MaRDI QIDQ365066zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Variations on quantum de Finetti theorems and operator valued Martin boundaries: A Choquet-Deny approach Proceedings of the American Mathematical Society	2026-02-03	Paper
On the relationship between Dijkstra monads and higher-order fixpoint logic	2025-12-04	Paper
ALP dark matter from kinetic fragmentation: opening up the parameter window Journal of Cosmology and Astroparticle Physics	2022-11-02	Paper
Axion fragmentation on the lattice Journal of High Energy Physics	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 (available as arXiv preprint)	2022-06-17	Paper
Polyhedral clinching auctions for two-sided markets Mathematics of Operations Research	2022-05-17	Paper
Characters of infinite-dimensional quantum classical groups: \(BCD\) cases Infinite Dimensional Analysis, Quantum Probability and Related Topics	2022-03-04	Paper
Inductive limits of compact quantum groups and their unitary representations Letters in Mathematical Physics	2021-11-09	Paper
Type classification of extreme quantized characters Ergodic Theory and Dynamical Systems	2020-11-24	Paper
ICE-based refinement type discovery for higher-order functional programs Journal of Automated Reasoning	2020-11-02	Paper
ICE-based refinement type discovery for higher-order functional programs Tools and Algorithms for the Construction and Analysis of Systems	2019-09-16	Paper
Quantized Vershik-Kerov theory and quantized central measures on branching graphs Journal of Functional Analysis	2019-08-13	Paper
Chiral anomaly and Schwinger effect in non-abelian gauge theories Journal of High Energy Physics	2019-06-08	Paper
Composite accidental axions Journal of High Energy Physics	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 Stochastic Processes and their Applications	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 Journal of High Energy Physics	2018-02-05	Paper
Erratum to: ``O(\(N\)) invariance of the multi-field bounce Journal of High Energy Physics	2018-02-05	Paper
Modular verification of higher-order functional programs Programming Languages and Systems	2017-05-19	Paper
Automatically disproving fair termination of higher-order functional programs Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
The pattern of eigenfrequencies of overtones of torsional oscillations of a layered spherical shell Journal of Computational Physics	1978-01-01	Paper

Research outcomes over time

This page was built for person: Ryosuke Sato