| Publication | Date of Publication | Type |
|---|
| Oblivious online contention resolution schemes | 2024-05-14 | Paper |
| On the optimal fixed-price mechanism in bilateral trade | 2024-05-08 | Paper |
General strong fuzzy solutions of complex fuzzy matrix equations involving the Moore-Penrose weak group inverse
Information Sciences | 2024-02-12 | Paper |
(Fractional) online stochastic matching via fine-grained offline statistics
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing | 2023-12-08 | Paper |
One-round semi-quantum-honest key agreement scheme in MSTSA structure without entanglement
Quantum Information Processing | 2023-03-15 | Paper |
A collaborative secret sharing scheme based on the Chinese remainder theorem
Mathematical Biosciences and Engineering | 2022-08-03 | Paper |
| scientific article; zbMATH DE number 7478008 (Why is no real title available?) | 2022-02-22 | Paper |
| scientific article; zbMATH DE number 7478013 (Why is no real title available?) | 2022-02-22 | Paper |
Efficient decoding scheme of non-uniform concatenation quantum code with deep neural network
International Journal of Theoretical Physics | 2021-11-05 | Paper |
Balanced joint maximum mean discrepancy for deep transfer learning
Analysis and Applications | 2021-06-23 | Paper |
A descent conjugate gradient algorithm for optimization problems and its applications in image restoration and compression sensing
Mathematical Problems in Engineering | 2020-10-14 | Paper |
Some modified Hestenes-Stiefel conjugate gradient algorithms with application in image restoration
Applied Numerical Mathematics | 2020-09-18 | Paper |
Computing the number of the equivalence classes for reversible logic functions
International Journal of Theoretical Physics | 2020-09-04 | Paper |
A conjugate gradient algorithm and its applications in image restoration
Applied Numerical Mathematics | 2020-02-24 | Paper |
Rough data-deduction based on the upper approximation
Information Sciences | 2020-02-06 | Paper |
Semantic consistency checking in building ontology from heterogeneous sources
Journal of Applied Mathematics | 2019-11-19 | Paper |
Groebner bases based verification solution for SystemVerilog concurrent assertions
Journal of Applied Mathematics | 2019-11-19 | Paper |
Approximate equivalence of the hybrid automata with Taylor theory
Journal of Applied Mathematics | 2019-11-19 | Paper |
A new pairwise NPN Boolean matching algorithm based on structural difference signature
Symmetry | 2019-11-13 | Paper |
On fuzzy rough sets and their topological structures
Mathematical Problems in Engineering | 2019-02-08 | Paper |
Approximate analyzing of labeled transition systems
Mathematical Problems in Engineering | 2018-08-27 | Paper |
A deductive approach towards reasoning about algebraic transition systems
Mathematical Problems in Engineering | 2018-08-27 | Paper |
Formal verification and quantitative metrics of MPSoC data dynamics
Formal Aspects of Computing | 2018-03-29 | Paper |
Application of Wu's method to symbolic model checking
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
Mathematical Problems in Engineering | 2014-10-13 | Paper |
| Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic | 2013-10-07 | Paper |
| Action refinement for real-time concurrent processes with urgency | 2013-10-02 | Paper |
Wu's characteristic set method for SystemVerilog assertions verification
Journal of Applied Mathematics | 2013-09-09 | Paper |
| Refinement of actions in a real-time process algebra with a true concurrency model | 2013-08-19 | Paper |
Algebraic verification method for SEREs properties via Groebner bases approaches
Journal of Applied Mathematics | 2013-06-14 | Paper |
Automata-based analysis of stage suspended boom systems
Journal of Applied Mathematics | 2013-06-14 | Paper |
Mathematical analysis of stage-based programmable logic controller
Computers & Mathematics with Applications | 2011-08-28 | Paper |
Model checking technology and tool development based on Groebner base
Journal of Computer Applications | 2010-02-01 | Paper |
CWA extensions to multi-valued logics
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Model checking interactive Markov chains
Journal of Computer Applications | 2009-11-22 | Paper |
| Application of Wu's method to multi-valued model checking | 2009-11-11 | Paper |
A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement
Frontiers in Algorithmics | 2009-03-10 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Applying Formal Methods: Testing, Performance, and M/E-Commerce
Lecture Notes in Computer Science | 2006-10-24 | Paper |
Refinement of actions for real-time concurrent systems with causal ambiguity
Acta Informatica | 2006-05-26 | Paper |
Solutions of the compatibility conditions for a Wigner quantum oscillator
Journal of Physics A: Mathematical and General | 2006-03-09 | Paper |
| scientific article; zbMATH DE number 2090704 (Why is no real title available?) | 2004-08-13 | Paper |
Towards action refinement for true concurrent real time
Acta Informatica | 2004-03-11 | Paper |
On Theorem Proving in Annotated Logics
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
Bundle event structures: a revised cpo approach.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1795753 (Why is no real title available?) | 2002-09-04 | Paper |
CWA formalizations in multi-valued logics
Journal of Computer Science and Technology | 2002-01-23 | Paper |
| Logic programming -- taking advantage of symmetry | 2001-07-12 | Paper |
Linear strategy for Boolean ring based theorem proving
Journal of Computer Science and Technology | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1390433 (Why is no real title available?) | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1383108 (Why is no real title available?) | 2000-01-04 | Paper |
Well-behaved inference rules for first-order theorem proving
Journal of Automated Reasoning | 1999-11-29 | Paper |
| scientific article; zbMATH DE number 1263305 (Why is no real title available?) | 1999-07-20 | Paper |
| scientific article; zbMATH DE number 1281390 (Why is no real title available?) | 1999-04-29 | Paper |
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
Journal of Applied Non-Classical Logics | 1999-03-22 | Paper |
| scientific article; zbMATH DE number 1145330 (Why is no real title available?) | 1999-02-09 | Paper |
| scientific article; zbMATH DE number 1185960 (Why is no real title available?) | 1998-08-09 | Paper |
Mechanical geometry theorem proving based on Gröbner bases
Journal of Computer Science and Technology | 1998-02-17 | Paper |
| scientific article; zbMATH DE number 913278 (Why is no real title available?) | 1997-08-18 | Paper |
| scientific article; zbMATH DE number 991677 (Why is no real title available?) | 1997-07-06 | Paper |
On first-order theorem proving using generalized odd-superpositions II
Science in China. Series E | 1997-06-15 | Paper |
| scientific article; zbMATH DE number 979948 (Why is no real title available?) | 1997-05-28 | Paper |
On the descriptive power of special Thue systems
Discrete Mathematics | 1997-01-14 | Paper |
