المؤلفون: Li Yu, Xu Yongsen, Xie Gaoyan, Zhan Zhiyuan

المصدر: Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393) Technology of object-oriented languages and systems Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings. :98-105 1999

Relation: Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31

المؤلفون: Xie, Gaoyan, Dang, Zhe

مصطلحات موضوعية: Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/cs/0502040

المؤلفون: Xie, Gaoyan, Dang, Zhe

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science, D.2.4, D.2.5, F.4.1

URL الوصول: http://arxiv.org/abs/cs/0404037

المؤلفون: Xie, Gaoyan^Aff18, Dang, Zhe^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Grieskamp, Wolfgang, editor^Aff16, Weise, Carsten, editor^Aff17

المصدر: Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. 3997:170-186

المؤلفون: Dang, Zhe^Aff21, Ibarra, Oscar H.^Aff22, Li, Cheng^Aff21, Xie, Gaoyan^Aff21

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Calude, Cristian S., editor^Aff16, Dinneen, Michael J., editor^Aff17, Păun, Gheorghe, editor^Aff18, Pérez-Jímenez, Mario J., editor^Aff19, Rozenberg, Grzegorz, editor^Aff20

المصدر: Unconventional Computation : 4th International Conference, UC 2005, Sevilla, Spain, October 3 – 7, 2005. Proceedings. 3699:82-93

المؤلفون: Xie, Gaoyan^Aff18, Dang, Zhe^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Grabowski, Jens, editor^Aff16, Nielsen, Brian, editor^Aff17

المصدر: Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. 3395:155-169

المؤلفون: Dang, Zhe^Aff18, Ibarra, Oscar H.^Aff19, Pietro, Pierluigi San^Aff20, Xie, Gaoyan^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Lodaya, Kamal, editor^Aff16, Mahajan, Meena, editor^Aff17

المصدر: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings. 3328:198-210

المؤلفون: Xie, Gaoyan^Aff6, Li, Cheng^Aff6, Dang, Zhe^Aff6

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Ibarra, Oscar H., editor^Aff4, Dang, Zhe, editor^Aff5

المصدر: Implementation and Application of Automata : 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings. 2759:163-175

المؤلفون: Xie, Gaoyan^Aff6, Dang, Zhe^Aff6, Ibarra, Oscar H.^Aff7, Pietro, Pierluigi San^Aff8

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Hunt, Warren A., Jr., editor^Aff4, Somenzi, Fabio, editor^Aff5

المصدر: Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings. 2725:93-105

المؤلفون: Xie, Gaoyan^Aff5, Dang, Zhe^Aff5, Ibarra, Oscar H.^Aff6

المساهمون: Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Baeten, Jos C. M., editor^Aff1, Lenstra, Jan Karel, editor^Aff2, Parrow, Joachim, editor^Aff3, Woeginger, Gerhard J., editor^Aff4

المصدر: Automata, Languages and Programming : 30th International Colloquium, ICALP 2003 Eindhoven, The Netherlands, June 30 – July 4, 2003 Proceedings. 2719:668-680