Ryosuke Sato

Available identifiers

Publication	Date of Publication	Type
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
Variations on quantum de Finetti theorems and operator valued Martin boundaries: a Choquet-Deny approach	0001-01-03	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ryosuke Sato