JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Communities
& Collections
Titles
Authors
By Date
Theses
Research Report and Technical Memorandum

Sign on to:

My DSpace
authorized users

JAIST Repository >

Items for Author "Cai, Xiaojuan"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 5 items.

Date of Issue	Title	Authors
8-Jan-2013	Well-Structured Pushdown Systems, Part 1: Decidable Classes for Coverability	Cai, Xiaojuan; Ogawa, Mizuhito
11-Jun-2013	Nested Timed Automata	Li, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji
19-Aug-2013	Well-Structured Pushdown Systems, Part 2: On Reachability of Dense Timed Pushdown Automata	Ogawa, Mizuhito; Cai, Xiaojuan
Jun-2014	Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata	Cai, Xiaojuan; Ogawa, Mizuhito
17-May-2016	Termination and Boundedness for Well-Structured Pushdown Systems	Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito

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