Li Jiao
According to our database1,
Li Jiao
authored at least 62 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Sci. China Inf. Sci., March, 2023
Research on Financial Fraud Identification Model Based on Privacy-Preserving Machine Learning.
Proceedings of the 4th International Conference on Machine Learning and Computer Application, 2023
2022
A Novel Multi-Task Learning Model with PSAE Network for Simultaneous Estimation of Surface Quality and Tool Wear in Milling of Nickel-Based Superalloy Haynes 230.
Sensors, 2022
Research on the application of multi-parameter integration of drilling fluid based on temperature sensor.
Proceedings of the 4th International Conference on Artificial Intelligence and Advanced Manufacturing, 2022
Proceedings of the 22nd IEEE/ACIS International Conference on Computer and Information Science, 2022
2021
Effect of Postures and Cutting Process on Robot Milling Performance and Surface Quality.
Proceedings of the Intelligent Robotics and Applications - 14th International Conference, 2021
Analysis of the Coupling Coordination Relationship between Digitalization and Cultural Industry.
Proceedings of the ICCIR 2021: International Conference on Control and Intelligent Robotics, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021
Proceedings of the 19th IEEE/ACIS International Conference on Computer and Information Science, 2021
2020
ACM Trans. Softw. Eng. Methodol., 2020
Three-way decision based on decision-theoretic rough sets with single-valued neutrosophic information.
Int. J. Mach. Learn. Cybern., 2020
2019
Int. J. Comput. Appl. Technol., 2019
Proceedings of the Genetic and Evolutionary Computation Conference, 2019
2018
Proceedings of the 2018 TREC Video Retrieval Evaluation, 2018
Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018
The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets.
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018
A Dynamic Fitness Function Based on Branch Hardness for Search Based Software Testing.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets.
Proceedings of the 25th IEEE/ACM International Symposium on Quality of Service, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017
Improved evolutionary generation of test data for multiple paths in search-based software testing.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
2016
Comput. J., 2016
Proceedings of the 2016 International Conference on Field-Programmable Technology, 2016
A high performance FPGA-based accelerator for large-scale convolutional neural networks.
Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016
Proceedings of the FM 2016: Formal Methods, 2016
2015
基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 (Performance Evaluation of Job Scheduling and InfiniBand Network Interconnection in High Performance Computing System Based on Stochastic Petri Nets).
计算机科学, 2015
Proceedings of the INTERSPEECH 2015, 2015
Performance Analysis for Job Scheduling in Hierarchical HPC Systems: A Coloured Petri Nets Method.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2012
Acta Informatica, 2012
2010
J. Log. Algebraic Methods Program., 2010
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
Comput. J., 2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Proceedings of the Applications and Theory of Petri Nets, 2010
2008
Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets.
J. Circuits Syst. Comput., 2008
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008
Proceedings of the Fourth International Conference on Natural Computation, 2008
Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008
2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.
Proceedings of the Information and Communications Security, 9th International Conference, 2007
2006
2005
Property-preserving subnet reductions for designing manufacturing systems with shared resources.
Theor. Comput. Sci., 2005
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction.
Comput. J., 2005
Proceedings of the Internet and Network Economics, First International Workshop, 2005
Compositional analysis for regularity, liveness and boundedness.
Proceedings of the ICINCO 2005, 2005
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005
2004
2003
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties.
Int. J. Found. Comput. Sci., 2003
Property-preserving composition of augmented marked graphs that share common resources.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
2002
Proceedings of the Applications and Theory of Petri Nets 2002, 2002