Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Li
    Last name: Jiao
    DBLP: 64/6494
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 39  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Ziming Zhu, Xiong Xu, Li Jiao.
    Improved evolutionary generation of test data for multiple paths in search-based software testing.
    2017 IEEE Congress on Evolutionary Computation, CEC 2017, Donostia, San Sebastián, Spain, June 5-8, 2017 2017 (0) 2017
    Conference paper
    Xiang Hu, Li Jiao.
    Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets.
    25th IEEE/ACM International Symposium on Quality of Service, IWQoS 2017, Vilanova i la Geltrú, Spain, June 14-16, 2017 2017 (0) 2017
    Conference paper
    Xiong Xu, Ziming Zhu, Li Jiao.
    An adaptive fitness function based on branch hardness for search based testing.
    Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2017, Berlin, Germany, July 15-19, 2017 2017 (0) 2017
    Journal article
    Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan.
    Synthesizing SystemC Code from Delay Hybrid CSP.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Li Jiao, Cheng Luo, Wei Cao, Xuegong Zhou, Lingli Wang.
    Accelerating low bit-width convolutional neural networks with embedded FPGA.
    27th International Conference on Field Programmable Logic and Applications, FPL 2017, Ghent, Belgium, September 4-8, 2017 2017 (0) 2017
    Conference paper
    Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan.
    Synthesizing SystemC Code from Delay Hybrid CSP.
    Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Li Jiao, Chengxia Wang, Cristiane Hsu, Peter Birkholz, Yi Xu.
    Does Posh English Sound Attractive?
    Interspeech 2017, 18th Annual Conference of the International Speech Communication Association, Stockholm, Sweden, August 20-24, 2017 2017 (0) 2017
    Conference paper
    Weifeng Wang, Li Jiao.
    Trace Abstraction Refinement for Solving Horn Clauses.
    Comput. J. 2016, Volume 59 (0) 2016
    Conference paper
    Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan.
    Approximate Bisimulation and Discretization of Hybrid CSP.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Huimin Li, Xitian Fan, Li Jiao, Wei Cao, Xuegong Zhou, Lingli Wang.
    A high performance FPGA-based accelerator for large-scale convolutional neural networks.
    26th International Conference on Field Programmable Logic and Applications, FPL 2016, Lausanne, Switzerland, August 29 - September 2, 2016 2016 (0) 2016
    Conference paper
    Xiang Hu, Li Jiao, Zhijia Li.
    Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets.
    Comput. J. 2016, Volume 59 (0) 2016
    Conference paper
    Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan.
    Approximate Bisimulation and Discretization of Hybrid CSP.
    FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Qi Zhan, Min Gao, Li Jiao, Wei Cao, Xuegong Zhou, Lingli Wang.
    High performance Deformable Part Model accelerator based on FPGA.
    2016 International Conference on Field-Programmable Technology, FPT 2016, Xi'an, China, December 7-9, 2016 2016 (0) 2016
    Conference paper
    Weifeng Wang, Li Jiao.
    Difference Bound Constraint Abstraction for Timed Automata Reachability Checking.
    Formal Techniques for Distributed Objects, Components, and Systems - 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, J 2015 (0) 2015
    Conference paper
    Zhijia Li, Li Jiao, Xiang Hu.
    Performance Analysis for Job Scheduling in Hierarchical HPC Systems: A Coloured Petri Nets Method.
    Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings, Part IV 2015 (0) 2015
    Conference paper
    Li Jiao, Qiuwu Ma, Ting Wang, Yi Xu.
    Perceptual cues of whispered tones: are they really special?
    INTERSPEECH 2015, 16th Annual Conference of the International Speech Communication Association, Dresden, Germany, September 6-10, 2015 2015 (0) 2015
    Conference paper
    Weifeng Wang, Li Jiao.
    Trace Abstraction Refinement for Timed Automata.
    Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings 2014 (0) 2014
    Journal article
    Yunhe Wang, Li Jiao.
    Using transition set sequences to partition behaviors of petri nets.
    Acta Inf. 2012, Volume 49 (0) 2012
    Conference paper
    Yunhe Wang, Li Jiao.
    Canonical Transition Set Semantics for Petri Nets.
    Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Xiaowei Huang, Li Jiao, Weiming Lu.
    A precongruence format for should testing preorder.
    J. Log. Algebr. Program. 2010, Volume 79 (0) 2010
    Conference paper
    Yunhe Wang, Bo Jiang, Li Jiao.
    Property Checking for 1-Place-Unbounded Petri Nets.
    4th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, 25-27 August 2010 2010 (0) 2010
    Journal article
    Xiaowei Huang, Li Jiao, Weiming Lu.
    Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
    Comput. J. 2010, Volume 53 (0) 2010
    Conference paper
    Xiaowei Huang, Li Jiao, Weiming Lu.
    Weak Parametric Failure Equivalences and Their Congruence Formats.
    Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings 2008 (0) 2008
    Conference paper
    Li Jiao.
    A method for verifying deadlock freedom and liveness of petri nets.
    International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA 2008 (0) 2008
    Conference paper
    Li Jiao.
    A note on regular Petri nets.
    Inf. Process. Lett. 2008, Volume 108 (0) 2008
    Show item 1 to 25 of 39  

    Your query returned 39 matches in the database.