Search Results - Qi, ZhiChang

Refine Results
  1. 1
    Compositional Verification of UML Dynamic Models

    Compositional Verification of UML Dynamic Models by Wei Dong, Ji Wang, Zhichang Qi, Ni Rong

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Security Goals Assurance Based on Software Active Monitoring

    Security Goals Assurance Based on Software Active Monitoring by Changzhi Zhao, Wei Dong, Leucker, M., Zhichang Qi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style

    An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style by Zhiming Chang, Xinjun Mao, Zhichang Qi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Active Monitoring for Control Systems under Anticipatory Semantics

    Active Monitoring for Control Systems under Anticipatory Semantics by Changzhi Zhao, Wei Dong, Zhichang Qi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs

    Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs by Zhiming Chang, Xinjun Mao, Zhichang Qi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    An Interface Theory Based Approach to Verification of Web Services

    An Interface Theory Based Approach to Verification of Web Services by Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Yeung, W.L.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Test selection from UML Statecharts

    Test selection from UML Statecharts by Li Liuying, Qi Zhichang

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow

    Agent-Oriented Early Requirement Analysis of Distributed Simulation Environment of Fluid Flow by Jianxing Li, Zhichang Qi, Zuobin Chen

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    Improved method to generate path-wise test data

    Improved method to generate path-wise test data by Shan, JinHui, Wang, Ji, Qi, ZhiChang, Wu, JianPing

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Generating test oracle for role binding in multi-agent systems

    Generating test oracle for role binding in multi-agent systems by Xin Wang, Qi Yan, Xinjun Mao, ZhiChang Qi

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Verifying automata specification of distributed probabilistic real-time systems

    Verifying automata specification of distributed probabilistic real-time systems by Luo, Tiegeng, Chen, Huowang, Wang, Bingshan, Wang, Ji, Gong, Zhenghu, Qi, Zhichang

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Soft gene, role, agent: MABS learns from sociology

    Soft gene, role, agent: MABS learns from sociology by Qi Yan, XinJun Mao, LiJun Shan, ZhiChang Qi, Hong Zhu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Development of a biotin-streptavidin-amplified nanobody-based ELISA for ochratoxin A in cereal

    Development of a biotin-streptavidin-amplified nanobody-based ELISA for ochratoxin A in cereal by Sun, Zhichang, Wang, Xuerou, Tang, Zongwen, Chen, Qi, Liu, Xing

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    New insight to the role of edges and heteroatoms in nanocarbons for oxygen reduction reaction

    New insight to the role of edges and heteroatoms in nanocarbons for oxygen reduction reaction by Yang, Qi, Xiao, Zhichang, Kong, Debin, Zhang, Taolin, Duan, Xiaoguang, Zhou, Shanke, Niu, Yue, Shen, Yudi, Sun, Hongqi, Wang, Shaobin, Zhi, Linjie

    Published in Nano energy
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Maximizing pore and heteroatom utilization within N,P-co-doped polypyrrole-derived carbon nanotubes for high-performance supercapacitors

    Maximizing pore and heteroatom utilization within N,P-co-doped polypyrrole-derived carbon nanotubes for high-performance supercapacitors by Luo, Xinying, Yang, Qi, Dong, Yanli, Huang, Xiaoxiong, Kong, Debin, Wang, Bin, Liu, Huimin, Xiao, Zhichang, Zhi, Linjie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Developing garlic polysaccharide-Fe (III) complexes using garlic pomace to provide enhanced iron-supplementing activity in vivo

    Developing garlic polysaccharide-Fe (III) complexes using garlic pomace to provide enhanced iron-supplementing activity in vivo by Qi, Yongqiu, Qiu, Zhichang, Li, Lingyu, Zhao, Renjie, Xiang, Lu, Gong, Xulin, Zheng, Zhenjia, Qiao, Xuguang

    Published in Food chemistry
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Fluonanobody-based nanosensor via fluorescence resonance energy transfer for ultrasensitive detection of ochratoxin A

    Fluonanobody-based nanosensor via fluorescence resonance energy transfer for ultrasensitive detection of ochratoxin A by Su, Benchao, Zhang, Zhong, Sun, Zhichang, Tang, Zongwen, Xie, Xiaoxia, Chen, Qi, Cao, Hongmei, Yu, Xi, Xu, Yang, Liu, Xing, Hammock, Bruce D.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    AuNPs/NiFe-LDHs-assisted laser desorption/ionization mass spectrometry for efficient analysis of metronidazole and its metabolites in water samples

    AuNPs/NiFe-LDHs-assisted laser desorption/ionization mass spectrometry for efficient analysis of metronidazole and its metabolites in water samples by Li, Lingyu, Qiu, Zhichang, Qi, Yuanfeng, Zhao, Dantong, Ali, Iftikhar, Sun, Chenglong, Xu, Longhua, Zheng, Zhenjia, Ma, Chunxia

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Generation of a nanobody-alkaline phosphatase fusion and its application in an enzyme cascade-amplified immunoassay for colorimetric detection of alpha fetoprotein in human serum

    Generation of a nanobody-alkaline phosphatase fusion and its application in an enzyme cascade-amplified immunoassay for colorimetric detection of alpha fetoprotein in human serum by Su, Benchao, Xu, Huan, Xie, Guifang, Chen, Qi, Sun, Zhichang, Cao, Hongmei, Liu, Xing

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    The modulation effect of lotus (Nelumbo nucifera Gaertn.) seeds oligosaccharides with different structures on intestinal flora and action mode of growth effects on Bifidobacterium in vivo and in vitro

    The modulation effect of lotus (Nelumbo nucifera Gaertn.) seeds oligosaccharides with different structures on intestinal flora and action mode of growth effects on Bifidobacterium... by Ma, Xiaoqing, Zheng, Zhichang, Wang, Qi, Zuo, Jiaxin, Ju, Jianing, Zheng, Baodong, Lu, Xu

    Published in Food chemistry
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: