Ryosuke Sato

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
Polyhedral clinching auctions for indivisible goods	2024-09-20	Paper
Gradual tensor shape checking	2023-11-24	Paper
Multiplicative characters and Gaussian fluctuation limits SIGMA. Symmetry, Integrability and Geometry: Methods and Applications	2023-10-30	Paper
Cosmological phase transitions in composite Higgs models Journal of High Energy Physics	2023-10-25	Paper
GICAR algebras and dynamics on determinantal point processes: discrete orthogonal polynomial ensemble case	2023-09-03	Paper
HoIce: an ICE-based non-linear Horn clause solver Programming Languages and Systems	2023-08-02	Paper
Parameterized recursive refinement types for automated program verification Static Analysis	2023-07-28	Paper
\texttt{SimpleBounce}: a simple package for the false vacuum decay Computer Physics Communications	2023-05-25	Paper
Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination	2023-03-29	Paper
Markov semigroups on unitary duals generated by quantized characters	2021-02-17	Paper
Inductive limits of compact quantum groups and their unitary representations (available as arXiv preprint)	2019-08-11	Paper
Simple Gradient Flow Equation for the Bounce Solution	2019-07-04	Paper
Temporal verification of higher-order functional programs Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Low scale direct gauge mediation with perturbatively stable vacuum Journal of High Energy Physics	2013-09-03	Paper
Variations on quantum de Finetti theorems and operator valued Martin boundaries: a Choquet-Deny approach (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Ryosuke Sato