Xin Xin Liu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Synchronization of complex networks with Markovian switching coupling via aperiodically quantized intermittent pinning control	2024-07-25	Paper
Improved DRL-based energy-efficient UAV control for maximum lifecycle	2024-04-30	Paper
Simple linear-time algorithms for minimal fixed points	2023-12-02	Paper
Event‐triggered dynamic output feedback control for networked nonlinear systems	2023-10-30	Paper
Characterization and verification of stuttering equivalence	2023-08-02	Paper
Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof	2023-07-26	Paper
Dynamics of a predator-prey system with inducible defense and disease in the prey	2023-06-20	Paper
Numerical investigation on lean methane combustion with modified effective thermal conductivity of the porous media	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	2022-04-14	Paper
Comparison and analysis of two forms of harvesting functions in the two-prey and one-predator model	2022-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q3381512	2021-09-29	Paper
Dynamics and Optimal Control of a Monod–Haldane Predator–Prey System with Mixed Harvesting	2021-02-05	Paper
Negative Results on Decidability and Small Model Property of Process Equations	2020-02-24	Paper
Event-triggered sliding mode control of nonlinear dynamic systems	2020-01-20	Paper
Reduced-order model approximation of fuzzy switched systems with pre-specified performance	2020-01-06	Paper
Scheme on Cross-Domain Identity Authentication Based on Group Signature for Cloud Computing	2019-10-02	Paper
Fault detection filtering for nonlinear switched systems via event-triggered communication approach	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	2018-06-27	Paper
Sliding mode control of hybrid switched systems via an event-triggered mechanism	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	2017-10-20	Paper
SinkTrail: A Proactive Data Reporting Protocol for Wireless Sensor Networks	2017-07-12	Paper
Expansive-Bisimulation for Context-Free Processes	2008-09-25	Paper
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau	2008-09-17	Paper
A modal logic for message passing processes	1995-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q4038716	1993-05-18	Paper
Compositionality Through an Operational Semantics of Contexts	1992-06-28	Paper
Denote CSP with temporal formulas	1990-01-01	Paper

Research outcomes over time

This page was built for person: Xin Xin Liu