我们收录了 "曹永知" 的 55 篇 paper：

• Comments on "State-Feedback Control of Fuzzy Discrete-Event Systems"., 2020-05-18
• Supervisory control of fuzzy discrete event systems., 2020-05-18
• State-Based Control of Fuzzy Discrete-Event Systems., 2020-05-18
• A Fuzzy Petri-Nets Model for Computing With Words., 2020-05-12
• Fuzzy Pushdown Termination Games., 2020-05-12
• Bisimulations for Fuzzy-Transition Systems., 2020-05-12
• Reachability in Fuzzy Game Graphs., 2020-05-12
• A Behavioral Distance for Fuzzy-Transition Systems., 2020-05-12
• Retraction and Generalized Extension of Computing With Words., 2020-05-12
• Probabilistic Serial Mechanism for Multi-Type Resource Allocation., 2020-04-28
• A Modeling Language for MapReduce Programing in a Storage System Perspective., 2020-03-12
• Minimum guesswork discrimination between quantum states., 2020-03-12
• Behavioural equivalences of a probabilistic pi-calculus., 2020-03-02
• Personalized graph pattern matching via limited simulation., 2020-02-25
• A modeling language to describe massive data storage management in cyber-physical systems., 2020-02-22
• Lattice-valued simulations for quantitative transition systems., 2020-02-21
• Nondeterministic fuzzy automata with membership values in complete residuated lattices., 2020-02-21
• Simulation for lattice-valued doubly labeled transition systems., 2020-02-21
• Model checking fuzzy computation tree logic., 2020-02-19
• Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data., 2020-01-16
• Sample Essentiality and Its Application to Modeling Attacks on Arbiter PUFs., 2020-01-16
• Supervisory Control of Fuzzy Discrete Event Systems, 2020-01-10
• Observability and Decentralized Control of Fuzzy Discrete Event Systems, 2020-01-10
• Polynomial-time algorithms for computing distances of fuzzy transition systems., 2019-09-25
• Multi-type Resource Allocation with Partial Preferences., 2019-06-24
• Model checking computation tree logic over finite lattices., 2019-06-02
• Probabilistic Context-Aware Ambients., 2019-04-30
• Reasoning about Block-based Cloud Storage Systems., 2019-04-25
• Reasoning about Cloud Storage Systems., 2018-08-28
• Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems., 2018-08-13
• Retraction and Generalized Extension of Computing with Words, 2018-08-13
• Similarity-Based Supervisory Control of Discrete Event Systems, 2018-08-13
• State-Based Control of Fuzzy Discrete Event Systems, 2018-08-13
• A Fuzzy Petri Nets Model for Computing With Words, 2018-08-13
• A hierarchy of behavioral equivalences in the π-calculus with noisy channels, 2018-08-13
• Making problems tractable on big data via preprocessing with polylog-size output., 2018-08-13
• Probabilistic Automata for Computing with Words, 2018-08-13
• Nondeterministic fuzzy automata, 2018-08-13
• Bisimulations for fuzzy transition systems, 2018-08-13
• A Behavioral Distance for Fuzzy-Transition Systems, 2018-08-13
• Tractable queries on big data via preprocessing with logarithmic-size output., 2018-07-10
• On Model Checking Boolean BI., 2017-08-11
• Similarity-based supervisory control of discrete-event systems., 2017-06-14
• Probabilistic automata for computing with words., 2017-06-06
• Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems., 2017-05-28
• Value-passing CCS with noisy channels., 2017-05-28
• Nondeterministic fuzzy automata., 2017-05-27
• Conditional anonymity with non-probabilistic adversary., 2017-05-27
• Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives., 2017-05-26
• Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus., 2017-05-21
• A Game Perspective of Refinement of Component Models., 2017-05-21
• Reliability of Mobile Processes with Noisy Channels., 2017-05-20
• A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels., 2017-05-20
• The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation., 2017-05-17
• Differential privacy in probabilistic systems., 2017-05-17