Yongzhi Cao

Theor. Comput. Sci., 2022

Learning from interpretation transition using differentiable logic programming semantics.

[BibT_eX]

[DOI]

Mach. Learn., 2022

MTS-LSTDM: Multi-Time-Scale Long Short-Term Double Memory for power load forecasting.

[BibT_eX]

[DOI]

J. Syst. Archit., 2022

Learning First-Order Rules with Differentiable Logic Program Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Fuzzy Alternating Refinement Relations Under the Gödel Semantics.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2021

Resisting membership inference attacks through knowledge distillation.

[BibT_eX]

[DOI]

Junxiang Zheng

Neurocomputing, 2021

Favoring Eagerness for Remaining Items: Achieving Efficient and Fair Assignments.

[BibT_eX]

[DOI]

CoRR, 2021

Probabilistic serial mechanism for multi-type resource allocation.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2021

Sequential Mechanisms for Multi-type Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

The Shift PUF: Technique for Squaring the Machine Learning Complexity of Arbiter-based PUFs: Work-in-Progress.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Compilers, 2020

Multi-Type Resource Allocation with Partial Preferences.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems.

[BibT_eX]

[DOI]

Proceedings of the Decision Making under Constraints, 2020

2019

Fuzzy Pushdown Termination Games.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2019

Sample Essentiality and Its Application to Modeling Attacks on Arbiter PUFs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Reasoning about Block-based Cloud Storage Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Enhance PATE on Complex Tasks With Knowledge Transferred From Non-Private Data.

[BibT_eX]

[DOI]

IEEE Access, 2019

2018

A Modeling Language for MapReduce Programing in a Storage System Perspective.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2018

Polynomial-time algorithms for computing distances of fuzzy transition systems.

[BibT_eX]

[DOI]

Taolue Chen

Tingting Han

Theor. Comput. Sci., 2018

Personalized graph pattern matching via limited simulation.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2018

Tractable queries on big data via preprocessing with logarithmic-size output.

[BibT_eX]

[DOI]

Jiannan Yang

Knowl. Inf. Syst., 2018

Probabilistic Context-Aware Ambients.

[BibT_eX]

[DOI]

Proceedings of the Cognitive Systems and Signal Processing - 4th International Conference, 2018

Reasoning about Cloud Storage Systems.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Data Science in Cyberspace, 2018

2017

Reachability in Fuzzy Game Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2017

A modeling language to describe massive data storage management in cyber-physical systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2017

Nondeterministic fuzzy automata with membership values in complete residuated lattices.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2017

Differential privacy in probabilistic systems.

[BibT_eX]

[DOI]

Jiannan Yang

Inf. Comput., 2017

Towards Formalizing of MapReduce.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE 3rd International Conference on Big Data Security on Cloud (BigDataSecurity), 2017

2016

Model checking computation tree logic over finite lattices.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

2015

Minimum guesswork discrimination between quantum states.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2015

Conditional anonymity with non-probabilistic adversary.

[BibT_eX]

[DOI]

Weien Chen

Inf. Sci., 2015

Lattice-valued simulations for quantitative transition systems.

[BibT_eX]

[DOI]

Haiyu Pan

Yongming Li

Int. J. Approx. Reason., 2015

Model checking fuzzy computation tree logic.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2015

Making problems tractable on big data via preprocessing with polylog-size output.

[BibT_eX]

[DOI]

Jiannan Yang

CoRR, 2015

2014

Simulation for lattice-valued doubly labeled transition systems.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Reducing Interval-Valued Decision Trees to Conventional Ones: Comments on Decision Trees with Single and Multiple Interval-Valued Objectives.

[BibT_eX]

[DOI]

Decis. Anal., 2014

2013

A Behavioral Distance for Fuzzy-Transition Systems.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2013

Probabilistic automata for computing with words.

[BibT_eX]

[DOI]

Lirong Xia

J. Comput. Syst. Sci., 2013

2012

Value-passing CCS with noisy channels.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Reliability of Mobile Processes with Noisy Channels.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2012

Nondeterministic fuzzy automata.

[BibT_eX]

[DOI]

Yoshinori Ezawa

Inf. Sci., 2012

Behavioural equivalences of a probabilistic pi-calculus.

[BibT_eX]

[DOI]

Weien Chen

Sci. China Inf. Sci., 2012

2011

Comments on "State-Feedback Control of Fuzzy Discrete-Event Systems".

[BibT_eX]

[DOI]

Yoshinori Ezawa

IEEE Trans. Syst. Man Cybern. Part B, 2011

Bisimulations for Fuzzy-Transition Systems.

[BibT_eX]

[DOI]

Etienne E. Kerre

IEEE Trans. Fuzzy Syst., 2011

2010

A Fuzzy Petri-Nets Model for Computing With Words.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2010

A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels.

[BibT_eX]

[DOI]

Comput. J., 2010

A Game Perspective of Refinement of Component Models.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

On Model Checking Boolean BI.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems.

[BibT_eX]

[DOI]

Eur. J. Control, 2008

2007

State-Based Control of Fuzzy Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part B, 2007

Retraction and Generalized Extension of Computing With Words.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2007

2006

Observability and Decentralized Control of Fuzzy Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2006

Similarity-based supervisory control of discrete-event systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

2005

Supervisory control of fuzzy discrete event systems.

[BibT_eX]

[DOI]