Yan Zhang

Affiliations:

University Pierre and Marie Curie, Paris, France

According to our database¹, Yan Zhang authored at least 3 papers between 2010 and 2014.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2014

Controllability for discrete event systems modelled in VeriJ.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2014

2013

Semi-automatic controller design of Java-like models.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2010

Automated controllability and synthesis with hierarchical set decision diagrams.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Yan Zhang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...