Xin Xin Liu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Xin Xin Liu