Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >

Items for Author "Cai, Xiaojuan"

Return to Browse by Author
Sorting by Title Sort by Date

Showing 5 items.

Date of IssueTitle Authors
11-Jun-2013 Nested Timed AutomataLi, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji
17-May-2016 Termination and Boundedness for Well-Structured Pushdown SystemsLei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito
Jun-2014 Well-Structured Pushdown System: Case of Dense Timed Pushdown AutomataCai, Xiaojuan; Ogawa, Mizuhito
8-Jan-2013 Well-Structured Pushdown Systems, Part 1: Decidable Classes for CoverabilityCai, Xiaojuan; Ogawa, Mizuhito
19-Aug-2013 Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown AutomataOgawa, Mizuhito; Cai, Xiaojuan

 
Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)