Jungrhan Choi

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Database Query Languages

Genetic Algorithm

Transportation Systems

Automated Deduction

Top Venues

COMPSAC Workshops

Publications

Moonkun Lee, Jungrhan Choi
A Calculus for Transportation Systems. COMPSAC Workshops (2014)
Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi
A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. NCM (1) (2008)
Jinho On, Jungrhan Choi, Moonkun Lee
A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space. FCS (2008)