Author of the publication

What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.

, , and . ICICS, volume 4861 of Lecture Notes in Computer Science, page 334-349. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Prescribed-Time Tracking Control for Wind Turbines in Variable Speed Mode With Guaranteed Performance., , , and . IEEE Trans. Ind. Electron., 71 (10): 13074-13082 (October 2024)Single-cell multi-omics sequencing: application trends, COVID-19, data analysis issues and prospects., , , , , and . Briefings Bioinform., (2021)Design and Implementation of System of Recognition of Students' Learning Behavior in Classroom Teaching Videos., , , , and . ICEEL, page 36-42. ACM, (2022)A novel fixed-time fuzzy adaptive tracking control for nonlinear high-order systems with state constraints., , , and . J. Frankl. Inst., 361 (17): 107138 (2024)EEG_GLT-Net: Optimising EEG Graphs for Real-time Motor Imagery Signals Classification., , , and . CoRR, (2024)Fixed-Time Fuzzy Adaptive Tracking Control for High-Order Systems with Unknown Nonlinearities and Control Directions., , , , and . Int. J. Fuzzy Syst., 25 (4): 1546-1558 (June 2023)Adaptive Event-Triggered Prescribed-Time Stabilization of Uncertain Nonlinear Systems With Asymmetric Time-Varying Output Constraint., , , and . IEEE Trans. Autom. Control., 69 (8): 5454-5461 (August 2024)WHU-NERCMS at TRECVID2018: Instance Search Task., , , , , , , , and . TRECVID, National Institute of Standards and Technology (NIST), (2018)基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 (Performance Evaluation of Job Scheduling and InfiniBand Network Interconnection in High Performance Computing System Based on Stochastic Petri Nets)., , , and . 计算机科学, 42 (1): 33-37 (2015)Time-varying output feedback H∞ control for switched systems based on mixed switching.. J. Control. Decis., 9 (3): 364-371 (2022)