|
Search the dblp DataBase
Guangyuan Li:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Guangyuan Li, Zhisong Tang
Translating a Continuous-Time Temporal Logic into Timed Automata. [Citation Graph (0, 0)][DBLP] APLAS, 2003, pp:322-338 [Conf]
- Guangyuan Li, Zhisong Tang
Modelling Real-Time Systems with Continuous-Time Temporal Logic. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:231-236 [Conf]
- Rongjie Yan, Guangyuan Li, Zhisong Tang
Symbolic Model Checking of Finite Precision Timed Automata. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:272-287 [Conf]
- Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng
Improvements for the Symbolic Verification of Timed Automata. [Citation Graph (0, 0)][DBLP] FORTE, 2007, pp:196-210 [Conf]
Checking Timed Büchi Automata Emptiness Using LU-Abstractions. [Citation Graph (, )][DBLP]
An efficient algorithm for mining frequent sequences in dynamic environment. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|