Author of the publication

Deciding quasi-reducibility using witnessed test sets.

, , , and . J. Comput. Sci. Technol., 14 (2): 146-152 (1999)

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

Petri net based techniques for constructing reliable service composition., , , and . J. Syst. Softw., 86 (4): 1089-1106 (2013)Modeling and Analyzing Attack-Defense Strategy of Resource Service in Cloud Computing., , , and . SEKE, page 77-82. Knowledge Systems Institute Graduate School, (2013)A parallel portfolio approach to configuration optimization for large software product lines., , , , and . Softw. Pract. Exp., 48 (9): 1588-1606 (2018)Formally modeling and analyzing cost-aware job scheduling for cloud data center., , , and . Softw. Pract. Exp., 48 (9): 1536-1559 (2018)Uncertainty-aware scheduling of real-time workflows under deadline constraints on multi-cloud systems., , , and . Concurr. Comput. Pract. Exp., (February 2023)Cold-start aware cloud-native service function chain caching in resource-constrained edge: A reinforcement learning approach., , , and . Comput. Commun., (2022)Community Smell Occurrence Prediction on Multi-Granularity by Developer-Oriented Features and Process Metrics., , , , , and . J. Comput. Sci. Technol., 37 (1): 182-206 (2022)Modelling and analysing the reliability for microservice-based cloud application based on predicate Petri net., , , and . Expert Syst. J. Knowl. Eng., (2022)An Approach to Modeling and Analyzing Reliability for Microservice-Oriented Cloud Applications., , , and . Wirel. Commun. Mob. Comput., (2021)An Extended RBAC Model based on Granular Logic., , , and . GrC, page 261-264. IEEE, (2008)