| Publication | Date of Publication | Type |
|---|
Synchronization of complex networks with Markovian switching coupling via aperiodically quantized intermittent pinning control
Asian Journal of Control | 2024-07-25 | Paper |
Improved DRL-based energy-efficient UAV control for maximum lifecycle
Journal of the Franklin Institute | 2024-04-30 | Paper |
Simple linear-time algorithms for minimal fixed points
Automata, Languages and Programming | 2023-12-02 | Paper |
Event‐triggered dynamic output feedback control for networked nonlinear systems
International Journal of Robust and Nonlinear Control | 2023-10-30 | Paper |
Characterization and verification of stuttering equivalence
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof
Lecture Notes in Computer Science | 2023-07-26 | Paper |
Dynamics of a predator-prey system with inducible defense and disease in the prey
Nonlinear Analysis. Real World Applications | 2023-06-20 | Paper |
Numerical investigation on lean methane combustion with modified effective thermal conductivity of the porous media
Combustion Theory and Modelling | 2022-07-22 | Paper |
| Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations. | 2022-07-18 | Paper |
Robust hierarchical feature selection driven by data and knowledge
Information Sciences | 2022-04-14 | Paper |
Comparison and analysis of two forms of harvesting functions in the two-prey and one-predator model
Journal of Inequalities and Applications | 2022-01-19 | Paper |
| Convergence analysis of belief propagation algorithm for satisfiability problem | 2021-09-29 | Paper |
Dynamics and optimal control of a Monod-Haldane predator-prey system with mixed harvesting
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2021-02-05 | Paper |
Negative Results on Decidability and Small Model Property of Process Equations
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Event-triggered sliding mode control of nonlinear dynamic systems
Automatica | 2020-01-20 | Paper |
Reduced-order model approximation of fuzzy switched systems with pre-specified performance
Information Sciences | 2020-01-06 | Paper |
Scheme on cross-domain identity authentication based on group signature for cloud computing
Wuhan University Journal of Natural Sciences | 2019-10-02 | Paper |
Fault detection filtering for nonlinear switched systems via event-triggered communication approach
Automatica | 2019-04-24 | Paper |
| Logics for bisimulation and divergence | 2018-07-17 | Paper |
Sliding Mode Control of Discrete-Time Switched Systems with Repeated Scalar Nonlinearities
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Sliding mode control of hybrid switched systems via an event-triggered mechanism
Automatica | 2018-06-14 | Paper |
| A joint construction research for multi-period medicine reverse logistics network with consideration of carbon emissions | 2018-01-29 | Paper |
Analyzing divergence in bisimulation semantics
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
SinkTrail: A Proactive Data Reporting Protocol for Wireless Sensor Networks
IEEE Transactions on Computers | 2017-07-12 | Paper |
Expansive-Bisimulation for Context-Free Processes
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
A modal logic for message passing processes
Acta Informatica | 1995-07-24 | Paper |
| scientific article; zbMATH DE number 177838 (Why is no real title available?) | 1993-05-18 | Paper |
Compositionality Through an Operational Semantics of Contexts
Journal Of Logic And Computation | 1992-06-28 | Paper |
Denote CSP with temporal formulas
Journal of Computer Science and Technology | 1990-01-01 | Paper |
