杨本圆

发布时间：2025-09-18浏览次数：1595

  • 1、Analysis of authorization constraints via integer linear programming,IEEE Transactions on Knowledge and Data Engineering,CCF A类, 中科院2区,2021.11,Benyuan Yang,Hesuan Hu,1
  • 2、 Dynamic implementation of security requirements in business processes,IEEE Transactions on Dependable and Secure Computing,CCF A类, 中科院2区,2022.03,Benyuan Yang,Hesuan Hu,vol. 19, no. 2, pp. 5067-5079,1
  • 3、 Implementation of generalized mutual exclusion constraints using critical places and marking estimation,IEEE Transactions on Systems, Man and Cybernetics: Systems ,中科院1区,2021.08,Benyuan Yang,Hesuan Hu,vol. 51, no. 8, pp. 5067-5079,1
  • 4、Secure conflicts avoidance in multi-domain environments: A distributed approach,IEEE Transactions on Systems, Man and Cybernetics: Systems,中科院1区,2021.09,Benyuan Yang,Hesuan Hu, vol. 51, no. 9, pp. 5478-5489,1
  • 5、Robustness analysis of automated manufacturing systems with unreliable resources using Petri nets,IEEE Transactions on Automation Science and Engineering,中科院2区,2021.11,Benyuan Yang,Hesuan Hu,1
  • 6、Maximally permissive deadlock and livelock avoidance for automated manufacturing systems via critical distance,IEEE Transactions on Automation Science and Engineering,中科院2区,2021.12,Benyuan Yang,Hesuan Hu,1
  • 7、Robustness analysis of automated manufacturing systems with uncontrollable events using Petri nets, IEEE Transactions on Automation Science and Engineering,中科院2区,2022.04,Benyuan Yang,Hesuan Hu,1
  • 8、Incremental analysis of temporal constraints for concurrent workflow processes with dynamic changes,IEEE Transactions on Industrial Informatics,中科院1区,2019.05,Yanhua Du,Hesuan Hu,vol. 15, no. 5, pp. 2617-2627,2
  • 9、Model checking of timed compatibility for mediation-aided Web service composition: A three stage approach,Expert Systems with Applications,中科院1区,2018,Yanhua Du,Hesuan Hu,vol. 112, pp. 190-207,2
  • 10、Analyzing security requirements in timed workflow processes,IEEE Transactions on Dependable and Secure Computing, CCF A类, 中科院2区,2022.01,Yanhua Du,Hesuan Hu,vol. 19, no. 1, pp. 190-207,3
  • 11、Event circuit structures for deadlock avoidance in flexible manufacturing systems, IEEE Transactions on Automation Science and Engineering,中科院2区,2022.04,Xing Fan,Hesuan Hu,3
  • 12、Modeling and simulation of time and value throughputs for data-aware workflow processes,Journal of Intelligent Manufacturing,中科院2区,2019.08,Yanhua Du,vol. 30, no. 6, pp. 2355-2373,3