According to our database1, Yan Zhang authored at least 3 papers between 2010 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Controllability for discrete event systems modelled in VeriJ.
Semi-automatic controller design of Java-like models.
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013
Automated controllability and synthesis with hierarchical set decision diagrams.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010