Kittiphon Phalakarn
Scholar

Kittiphon Phalakarn

Google Scholar ID: -vdzW3kAAAAJ
National Institute of Informatics (NII)
Formal VerificationModel CheckingAlgorithms
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
30
 
H-index
3
 
i10-index
1
 
Publications
15
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
5 items
A Matrix Decomposition Method for Odd-Type Gaussian Normal Basis Multiplication
2025
Cited
0
Optimal Representation for Right-to-Left Parallel Scalar Point Multiplication
2025
Cited
0
Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
2025
Cited
0
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
2025
Cited
0
Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control
International Colloquium on Theoretical Aspects of Computing · 2024
Cited
1
Resume (English only)
Co-authors
10 total
Ichiro Hasuo
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
Vorapong Suppakitpaisarn
Vorapong Suppakitpaisarn
The University of Tokyo
Toru Takisaka
Toru Takisaka
University of Electronic Science and Technology of China
Kittiphop Phalakarn
Kittiphop Phalakarn
KDDI Research
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Yun Chen TSAI
Yun Chen TSAI
PhD Student, National Institute of Informatics