Jin Yi

• Affiliations:

• Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China and Graduate University, Chinese Academy of Sciences, Beijing, China

• Organizations:

• China Nat. Pet. Corp.;Corporate Research Beijing;Corporate Research Beijing;Chinese Academy of Sciences and Loongson Technologies Corporation Limited;Chinese Academy of Sciences and Loongson Technologies Corporation Limited;China and Graduate University;Graduate University and Institute of Software;Laboratory of Computer Sciences/University of Tours;

• Fields:
• language containment simulation relation chi automaton Enhancing simulation computing simulation fair simulation fair simulation equivalence language containment problem language containment relation language containmentMany verification

• Enhancing simulation for checking language containment

  Jin Yi;Wenhui Zhang

  TAMC'07 Proceedings of the 4th international conference on Theory and applications of models of computation

• Efficient state space reduction for automata by fair simulation

  Jin Yi;Wenhui Zhang

  FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering