Yong Li

Affiliations:

State Key Laboratory of Novel Software Technology, Nanjing, China

According to our database¹, Yong Li authored at least 6 papers between 1998 and 2004.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2004

Duration-constrained regular expressions.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

2002

Positive loop-closed automata: a decidable class of hybrid systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

Checking Temporal Duration Properties of Timed Automata.

[BibT_eX]

[DOI]

Yong Li

Dang Van Hung

J. Comput. Sci. Technol., 2002

2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

1998

COOZ: a complete object-oriented extension to Z.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1998

Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Yong Li

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...