25.01.2015 Views

Download Full Issue in PDF - Academy Publisher

Download Full Issue in PDF - Academy Publisher

Download Full Issue in PDF - Academy Publisher

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1448 JOURNAL OF COMPUTERS, VOL. 8, NO. 6, JUNE 2013<br />

[22] A. Faure, A. Naldi, C. Chaouiya, and D. Thieffry,<br />

“Dynamical analysis of a generic Boolean model for the<br />

control of the mammalian cell cycle”, Bio<strong>in</strong>formatics, vol.<br />

22, no. 14, pp. 124–131, 2006.<br />

[23] D. Cheng, Y. Zhao, X. Xu, “Matrix approach to boolean<br />

calculus”, IEEE Conference on Decision and Control and<br />

European Control, pp. 6950–6955, 2011.<br />

[24] D. Cheng, H. Qi, Y. Zhao, “Synthesis of Boolean networks<br />

via semi-tensor product”, 30th Ch<strong>in</strong>ese Control Conference,<br />

pp. 6–17, 2011.<br />

J<strong>in</strong>yu Zhan was born <strong>in</strong> Heilongjiang Prov<strong>in</strong>ce of Ch<strong>in</strong>a <strong>in</strong><br />

1978. She received the Ph.D. degree <strong>in</strong> computer applications<br />

from the University of Electronic Science and Technology of<br />

Ch<strong>in</strong>a <strong>in</strong> 2006.<br />

Currently, she is an associate professor at the University of<br />

Electronic Science and Technology of Ch<strong>in</strong>a. Her research<br />

<strong>in</strong>terests <strong>in</strong>clude formal co-verification of SoC, model check<strong>in</strong>g,<br />

real time embedded systems, and VLSI design and verification.<br />

Shan Lu was born <strong>in</strong> Hunan Prov<strong>in</strong>ce of Ch<strong>in</strong>a <strong>in</strong> 1989. He<br />

received the Bachelor degree <strong>in</strong> <strong>in</strong>formation and computation<br />

science from Chongq<strong>in</strong>g Three Gorges University <strong>in</strong> 2011.<br />

Currently, he is a graduate student at the University of<br />

Electronic Science and Technology of Ch<strong>in</strong>a. His research<br />

<strong>in</strong>terests <strong>in</strong>clude formal verification and model check<strong>in</strong>g.<br />

Guowu Yang was born <strong>in</strong> Hubei Prov<strong>in</strong>ce of Ch<strong>in</strong>a <strong>in</strong> 1966. He<br />

received the Ph.D. degree at Electrical and Computer<br />

Eng<strong>in</strong>eer<strong>in</strong>g department of Portland State University <strong>in</strong> USA <strong>in</strong><br />

2005. He was a research associate at Computer Science<br />

department of Portland State University from 2005 to 2006.<br />

Currently, he is a professor of College of Computer Science<br />

and Eng<strong>in</strong>eer<strong>in</strong>g at University of Electronic Science and<br />

Technololgy of Ch<strong>in</strong>a. His research <strong>in</strong>terests <strong>in</strong>clude formal<br />

verification and develop<strong>in</strong>g correspond<strong>in</strong>g program package,<br />

theoretical study of synthesis algorithms <strong>in</strong> quantum comput<strong>in</strong>g,<br />

and non-l<strong>in</strong>ear control theory.<br />

© 2013 ACADEMY PUBLISHER

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!