| Publication | Date of Publication | Type |
|---|
On the exploitation of control knowledge for enhancing automated planning
Information Sciences | 2025-01-16 | Paper |
Improved SARSA and DQN algorithms for reinforcement learning
Theoretical Computer Science | 2025-01-08 | Paper |
Generating Java code pairing with ChatGPT
Theoretical Computer Science | 2024-11-18 | Paper |
| A dynamic parameter adaptive path planning algorithm | 2024-09-16 | Paper |
| An approach to agent path planning under temporal logic constraints | 2024-08-22 | Paper |
A novel approach to verifying context free properties of programs
Algorithmic Aspects in Information and Management | 2023-10-16 | Paper |
| Propositional projection temporal logic specification mining | 2023-03-21 | Paper |
| Transforming multi-matching nested traceable automata to multi-matching nested expressions | 2023-03-21 | Paper |
A proof system for unified temporal logic
Theoretical Computer Science | 2023-02-24 | Paper |
| scientific article; zbMATH DE number 7652296 (Why is no real title available?) | 2023-02-09 | Paper |
| scientific article; zbMATH DE number 7652302 (Why is no real title available?) | 2023-02-09 | Paper |
PPTL specification mining based on LNFG
Theoretical Computer Science | 2022-10-24 | Paper |
Anti-periodic behavior for quaternion-valued delayed cellular neural networks
Advances in Difference Equations | 2022-08-25 | Paper |
A proof system for MSVL programs in Coq
Structured Object-Oriented Formal Language and Method | 2021-05-20 | Paper |
| \textsc{LtlNfBa}: making LTL translation more practical | 2021-05-20 | Paper |
Unified temporal logic
Theoretical Computer Science | 2021-04-08 | Paper |
Multi-matching nested relations
Theoretical Computer Science | 2021-01-25 | Paper |
A decision procedure and complete axiomatization for projection temporal logic
Theoretical Computer Science | 2020-04-08 | Paper |
Verify heaps via unified model checking
Theoretical Computer Science | 2020-04-08 | Paper |
Translating Xd-C programs to MSVL programs
Theoretical Computer Science | 2020-01-29 | Paper |
A novel approach to verifying context free properties of programs
Theoretical Computer Science | 2020-01-29 | Paper |
Model checking Petri nets with MSVL
Information Sciences | 2019-12-13 | Paper |
From box algebra to interval temporal logic
Fundamenta Informaticae | 2019-10-31 | Paper |
Index set expressions can represent temporal logic formulas
Theoretical Computer Science | 2019-08-09 | Paper |
A temporal logic programming approach to planning
Journal of Combinatorial Optimization | 2019-06-25 | Paper |
Verifying a scheduling protocol of safety-critical systems
Journal of Combinatorial Optimization | 2019-06-25 | Paper |
Model checking open systems with alternating projection temporal logic
Theoretical Computer Science | 2019-06-25 | Paper |
Deconvolution estimation problem for measurement-delay systems with packet dropping
Proceedings of 2016 Chinese Intelligent Systems Conference | 2019-05-27 | Paper |
Linear optimal estimation for discrete-time systems with measurement-delay and packet dropping
Applied Mathematics and Computation | 2019-03-21 | Paper |
| Modeling and analysis of nested interrupt systems | 2019-02-22 | Paper |
A compiler for MSVL and its applications
Theoretical Computer Science | 2018-12-05 | Paper |
| Modeling and verifying multi-core programs | 2018-03-26 | Paper |
| Cloning automata: simulation and analysis of computer bacteria | 2018-02-26 | Paper |
On general threshold and general cascade models of social influence
Journal of Combinatorial Optimization | 2018-02-21 | Paper |
Using unified model checking to verify heaps
Combinatorial Optimization and Applications | 2017-02-01 | Paper |
A mechanism of function calls in MSVL
Theoretical Computer Science | 2016-11-24 | Paper |
Checking satisfiability of two-dimensional logic PPTL\(^{\mathrm{SL}}\)
Journal of Software | 2016-10-06 | Paper |
Extending MSVL with semaphore
Lecture Notes in Computer Science | 2016-09-02 | Paper |
Satisfiability of linear time mu-calculus on finite traces
Lecture Notes in Computer Science | 2016-09-02 | Paper |
Verifying safety critical task scheduling systems in PPTL axiom system
Journal of Combinatorial Optimization | 2016-02-23 | Paper |
Symbolic model checking for alternating projection temporal logic
Combinatorial Optimization and Applications | 2016-02-05 | Paper |
| A symbolic model checker for propositional projection temporal logic | 2016-01-15 | Paper |
Verification of distributed systems with the axiomatic system of MSVL
Formal Aspects of Computing | 2016-01-06 | Paper |
Improved even order magic square construction algorithms and their applications in multi-user shared electronic accounts
Theoretical Computer Science | 2015-12-11 | Paper |
A canonical form based decision procedure and model checking approach for propositional projection temporal logic
Theoretical Computer Science | 2015-12-11 | Paper |
A complete axiom system for propositional projection temporal logic with cylinder computation model
Theoretical Computer Science | 2015-12-11 | Paper |
Model Checking MSVL Programs Based on Dynamic Symbolic Execution
Lecture Notes in Computer Science | 2015-10-29 | Paper |
Improved even order magic square construction algorithms and their applications
Combinatorial Optimization and Applications | 2015-09-11 | Paper |
An extended strange planet protocol
Journal of Combinatorial Optimization | 2015-07-28 | Paper |
A structural transformation from p-\(\pi\) to MSVL
Journal of Combinatorial Optimization | 2015-07-10 | Paper |
| Modeling and reasoning of time-dependent concurrent mobile systems based on an extended \(\pi\)-calculus | 2015-06-29 | Paper |
Transformation from PLTL to automata via NFGs
Journal of Combinatorial Optimization | 2015-02-16 | Paper |
A formal proof of the deadline driven scheduler in PPTL axiomatic system
Theoretical Computer Science | 2014-10-06 | Paper |
A practical decision procedure for propositional projection temporal logic with infinite models
Theoretical Computer Science | 2014-10-06 | Paper |
An axiomatization for cylinder computation model
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Normal form expressions of propositional projection temporal logic
Lecture Notes in Computer Science | 2014-09-26 | Paper |
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization | 2014-06-24 | Paper |
| scientific article; zbMATH DE number 6300110 (Why is no real title available?) | 2014-06-03 | Paper |
Interval Temporal Logic Semantics of Box Algebra
Language and Automata Theory and Applications | 2014-03-31 | Paper |
Secure communications with strange planet protocol
Optimization Letters | 2014-03-14 | Paper |
A cylinder computation model for many-core parallel computing
Theoretical Computer Science | 2014-01-10 | Paper |
A complete proof system for propositional projection temporal logic
Theoretical Computer Science | 2014-01-10 | Paper |
An extended strange planet protocol
Combinatorial Optimization and Applications | 2013-12-10 | Paper |
A transformation from p-\(\pi \) to MSVL
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
Some fixed-point issues in PPTL
Theories of Programming and Formal Methods | 2013-08-16 | Paper |
Deternimization of Büchi automata as partitioned automata
Lecture Notes in Computer Science | 2013-06-11 | Paper |
Bounded model checking for propositional projection temporal logic
Lecture Notes in Computer Science | 2013-06-11 | Paper |
ITL semantics of composite Petri nets
The Journal of Logic and Algebraic Programming | 2013-02-21 | Paper |
An efficient approach for abstraction-refinement in model checking
Theoretical Computer Science | 2012-11-27 | Paper |
Complete axiomatization for projection temporal logic with finite time
Journal of Software | 2012-01-27 | Paper |
Making abstraction-refinement efficient in model checking
Lecture Notes in Computer Science | 2011-08-17 | Paper |
A Semantic Model for Many-Core Parallel Computing
Combinatorial Optimization and Applications | 2011-08-12 | Paper |
Public communication based on Russian cards protocol: a case study
Combinatorial Optimization and Applications | 2011-08-12 | Paper |
| Modeling and verification of processes scheduling based on projection temporal logic for multi-core CPUs | 2011-07-19 | Paper |
Expressiveness of propositional projection temporal logic with star
Theoretical Computer Science | 2011-04-05 | Paper |
A transformation from PPTL to S1S
Combinatorial Optimization and Applications | 2011-01-10 | Paper |
Axiomatic semantics of projection temporal logic programs
Mathematical Structures in Computer Science | 2010-12-01 | Paper |
A note on stutter-invariant PLTL
Information Processing Letters | 2010-08-20 | Paper |
Unconditional secure communication: a Russian cards protocol
Journal of Combinatorial Optimization | 2010-08-13 | Paper |
Generalized Russian Cards Problem
Combinatorial Optimization and Applications | 2009-07-07 | Paper |
Complexity of propositional projection temporal logic with star
Mathematical Structures in Computer Science | 2009-03-24 | Paper |
Operational semantics of Framed Tempura
The Journal of Logic and Algebraic Programming | 2009-01-07 | Paper |
| Symbolic reachability analysis of multirate hybrid systems | 2008-11-24 | Paper |
Propositional Projection Temporal Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions
Lecture Notes in Computer Science | 2008-05-27 | Paper |
Symbolic Algorithm Analysis of Rectangular Hybrid Systems
Lecture Notes in Computer Science | 2008-05-27 | Paper |
A decision procedure for propositional projection temporal logic with infinite models
Acta Informatica | 2008-04-03 | Paper |
Operational Semantics of Framed Temporal Logic Programs
Lecture Notes in Computer Science | 2008-03-07 | Paper |
Framed temporal logic programming
Science of Computer Programming | 2008-02-04 | Paper |
Decidability of Propositional Projection Temporal Logic with Infinite Models
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Oscillation of solutions to neutral delay differential equations in critical state
Journal of Hunan University. Natural Sciences | 2001-09-23 | Paper |
| scientific article; zbMATH DE number 1548046 (Why is no real title available?) | 2000-12-21 | Paper |
| scientific article; zbMATH DE number 1475037 (Why is no real title available?) | 2000-11-26 | Paper |
| scientific article; zbMATH DE number 4155919 (Why is no real title available?) | 1990-01-01 | Paper |
