Login / Signup
Siraphob Phipathananunth
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Process Algebra
Expectation Maximization
Search Strategy
Formal Verification
Top Venues
SPLASH Companion
</>
Publications
</>
Siraphob Phipathananunth
Towards the Formal Verification of Wigderson's Algorithm.
SPLASH Companion
(2023)
Siraphob Phipathananunth
Using Mutations to Analyze Formal Specifications.
SPLASH Companion
(2022)