Login / Signup
Runming Li
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Bounded Model Checking
Temporal Logic
Hough Transform
Image Analysis
Top Venues
CoRR
VISSOFT
</>
Publications
</>
Runming Li
,
Keerthana Gurushankar
,
Marijn J. H. Heule
,
Kristin Yvonne Rozier
What's in a Name? Linear Temporal Logic Literally Represents Time Lines.
VISSOFT
(2023)
Runming Li
,
Harrison Grodin
,
Robert Harper
A Verified Cost Analysis of Joinable Red-Black Trees.
CoRR
(2023)