JAIST Repository >

Items for Author "Cai, Xiaojuan"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 5 items.

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


Contact : Library Information Section, Japan Advanced Institute of Science and Technology