The following pages link to Jinzhao Wu (Q201220):
Displaying 50 items.
- Wu's characteristic set method for SystemVerilog assertions verification (Q364509) (← links)
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation (Q459934) (← links)
- Mathematical analysis of stage-based programmable logic controller (Q636562) (← links)
- On first-order theorem proving using generalized odd-superpositions II (Q674715) (← links)
- Mechanical geometry theorem proving based on Gröbner bases (Q676849) (← links)
- On the descriptive power of special Thue systems (Q1126309) (← links)
- Well-behaved inference rules for first-order theorem proving (Q1272612) (← links)
- Towards action refinement for true concurrent real time (Q1424360) (← links)
- Linear strategy for Boolean ring based theorem proving (Q1579733) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- On fuzzy rough sets and their topological structures (Q1718640) (← links)
- Bundle event structures: a revised cpo approach. (Q1853038) (← links)
- A descent conjugate gradient algorithm for optimization problems and its applications in image restoration and compression sensing (Q2004234) (← links)
- A collaborative secret sharing scheme based on the Chinese remainder theorem (Q2160650) (← links)
- Computing the number of the equivalence classes for reversible logic functions (Q2197037) (← links)
- Some modified Hestenes-Stiefel conjugate gradient algorithms with application in image restoration (Q2202438) (← links)
- Efficient decoding scheme of non-uniform concatenation quantum code with deep neural network (Q2239416) (← links)
- Rough data-deduction based on the upper approximation (Q2293050) (← links)
- A conjugate gradient algorithm and its applications in image restoration (Q2301430) (← links)
- A new pairwise NPN Boolean matching algorithm based on structural difference signature (Q2333963) (← links)
- Semantic consistency checking in building ontology from heterogeneous sources (Q2336201) (← links)
- Groebner bases based verification solution for SystemVerilog concurrent assertions (Q2336212) (← links)
- Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
- Algebraic verification method for SEREs properties via Groebner bases approaches (Q2375464) (← links)
- Automata-based analysis of stage suspended boom systems (Q2375655) (← links)
- Refinement of actions for real-time concurrent systems with causal ambiguity (Q2491208) (← links)
- One-round semi-quantum-honest key agreement scheme in MSTSA structure without entanglement (Q2690261) (← links)
- (Q2725957) (← links)
- (Q2844829) (← links)
- (Q2851078) (← links)
- (Q2852076) (← links)
- (Q3125007) (← links)
- Model checking technology and tool development based on Groebner base (Q3401771) (← links)
- A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement (Q3612588) (← links)
- (Q3640378) (← links)
- Model checking interactive Markov chains (Q3646579) (← links)
- CWA Extensions to Multi-Valued Logics (Q3647206) (← links)
- (Q3839543) (← links)
- (Q4234179) (← links)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)
- (Q4240685) (← links)
- (Q4333131) (← links)
- (Q4384625) (← links)
- On Theorem Proving in Annotated Logics (Q4443407) (← links)
- (Q4550809) (← links)
- (Q4718969) (← links)
- (Q4813199) (← links)
- (Q4887695) (← links)
