Zhang, Tian; Ma, Lianbo; Shi, Mingli Evolutionary optimization of three-degree influence spread in social networks based on discrete bacterial foraging optimization algorithm. (English) Zbl 07239972 Pan, Linqiang (ed.) et al., Bio-inspired computing: theories and applications. 14th international conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019. Revised selected papers. Part I. Singapore: Springer (ISBN 978-981-15-3424-9/pbk; 978-981-15-3425-6/ebook). Communications in Computer and Information Science 1159, 77-87 (2020). MSC: 68Q07 PDF BibTeX XML Cite \textit{T. Zhang} et al., Commun. Comput. Inf. Sci. 1159, 77--87 (2020; Zbl 07239972) Full Text: DOI
Sekerinski, Emil; Zhang, Tian Finitary fairness in action systems. (English) Zbl 1405.68090 Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 319-336 (2013). MSC: 68N30 PDF BibTeX XML Cite \textit{E. Sekerinski} and \textit{T. Zhang}, Lect. Notes Comput. Sci. 8049, 319--336 (2013; Zbl 1405.68090) Full Text: DOI
Sekerinski, Emil; Zhang, Tian Verification rules for exception handling in Eiffel. (English) Zbl 1372.68051 Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 179-193 (2012). MSC: 68N15 68N30 PDF BibTeX XML Cite \textit{E. Sekerinski} and \textit{T. Zhang}, Lect. Notes Comput. Sci. 7498, 179--193 (2012; Zbl 1372.68051) Full Text: DOI
Zhang, Yan; Hu, Jun; Yu, Xiaofeng; Zhang, Tian; Li, Xuandong; Zheng, Guoliang Scenario-driven component behavior derivation. (Chinese. English summary) Zbl 1112.68496 J. Softw. 18, No. 1, 50-61 (2007). MSC: 68U35 68Q45 PDF BibTeX XML Cite \textit{Y. Zhang} et al., J. Softw. 18, No. 1, 50--61 (2007; Zbl 1112.68496) Full Text: DOI
Zhang, Bo; Zhang, Tian; Zhang, Jianwei; Zhang, Ling Motion planning for robots with topological dimension reduction method. (English) Zbl 0728.68138 J. Comput. Sci. Technol. 5, No. 1, 1-16 (1990). MSC: 68U05 68R10 PDF BibTeX XML Cite \textit{B. Zhang} et al., J. Comput. Sci. Technol. 5, No. 1, 1--16 (1990; Zbl 0728.68138) Full Text: DOI
Zhang, Bo; Zhang, Ling; Zhang, Tian Motion planning of multi-joint robotic arm with topological dimension reduction method. (English) Zbl 0713.68083 IJCAI 89, Proc. Int. Conf., Detroit, MI/USA 1989, 1029-1034 (1989). Reviewer: N.Curteanu MSC: 68T20 68U05 68U99 PDF BibTeX XML