| Multi resource allocation with partial preferences | 0 | 0.34 | 2023 |
| Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation. | 0 | 0.34 | 2022 |
| Learning from interpretation transition using differentiable logic programming semantics | 0 | 0.34 | 2022 |
| Sequential Mechanisms for Multi-type Resource Allocation | 0 | 0.34 | 2021 |
| Reasoning about Block-based Cloud Storage Systems. | 0 | 0.34 | 2019 |
| Enhance Pate On Complex Tasks With Knowledge Transferred From Non-Private Data | 0 | 0.34 | 2019 |
| Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems. | 1 | 0.35 | 2018 |
| A Modeling Language for MapReduce Programing in a Storage System Perspective. | 0 | 0.34 | 2018 |
| Reasoning about Cloud Storage Systems | 0 | 0.34 | 2018 |
| Probabilistic Context-Aware Ambients. | 0 | 0.34 | 2018 |
| A modeling language to describe massive data storage management in cyber-physical systems. | 1 | 0.35 | 2017 |
| Model checking computation tree logic over finite lattices. | 6 | 0.42 | 2016 |
| Minimum guesswork discrimination between quantum states. | 0 | 0.34 | 2015 |
| Conditional anonymity with non-probabilistic adversary | 1 | 0.35 | 2015 |
| Making problems tractable on big data via preprocessing with polylog-size output | 0 | 0.34 | 2015 |
| Lattice-valued simulations for quantitative transition systems. | 8 | 0.50 | 2015 |
| Simulation for lattice-valued doubly labeled transition systems. | 8 | 0.47 | 2014 |
| Nondeterministic fuzzy automata | 5 | 0.42 | 2012 |
| Behavioural equivalences of a probabilistic pi-calculus | 0 | 0.34 | 2012 |
| Value-passing CCS with noisy channels | 2 | 0.38 | 2012 |
| The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation | 1 | 0.38 | 2010 |
| A Game Perspective of Refinement of Component Models | 0 | 0.34 | 2010 |
| A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels | 2 | 0.36 | 2010 |
| Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus | 0 | 0.34 | 2010 |
| On model checking boolean BI | 0 | 0.34 | 2009 |
| Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems | 0 | 0.34 | 2008 |
| Retraction and Generalized Extension of Computing With Words | 24 | 0.80 | 2007 |
| Probabilistic automata for computing with words | 4 | 0.38 | 2006 |
