Ryosuke Sato
Scholar

Ryosuke Sato

Google Scholar ID: 5bpdS6QAAAAJ
Tokyo University of Agriculture and Technology
Formal Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
447
 
H-index
8
 
i10-index
6
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
4 items
Ascending Auctions for Combinatorial Markets with Frictions: A Unified Framework via Discrete Convex Analysis
2026
Cited
0
Solvable Tuple Patterns and Their Applications to Program Verification
2025
Cited
0
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
2025
Cited
0
Liquid Welfare and Revenue Monotonicity in Adaptive Clinching Auctions
2025
Cited
0
Resume (English only)
Co-authors
9 total
Naoki Kobayashi
Naoki Kobayashi
The University of Tokyo
Hiroshi Unno
Hiroshi Unno
Tohoku University
Naoyasu Ubayashi
Naoyasu Ubayashi
Professor, Waseda University
Yasutaka Kamei
Yasutaka Kamei
Professor, Kyushu University, InaRIS Fellow
Kazuyuki Asada
Kazuyuki Asada
Tohoku University
Tachio Terauchi
Tachio Terauchi
Professor of Computer Science and Engineering, Waseda University
Takeshi Tsukada
Takeshi Tsukada
Chiba University
Co-author 8
Co-author 8