Ryosuke Sato

Available identifiers

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	2023-10-30	Paper
Cosmological phase transitions in composite Higgs models	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	2023-08-02	Paper
Parameterized recursive refinement types for automated program verification	2023-07-28	Paper
\texttt{SimpleBounce}: a simple package for the false vacuum decay	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	2019-08-11	Paper
Simple Gradient Flow Equation for the Bounce Solution	2019-07-04	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
Variations on quantum de Finetti theorems and operator valued Martin boundaries: a Choquet-Deny approach	N/A	Paper

This page was built for person: Ryosuke Sato