( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.

, , , , , и . IJCAR, том 9706 из Lecture Notes in Computer Science, стр. 195-212. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Zhan Kang

Zhan Gao

Renya Zhan

Beibei Zhan

Zhan Qiu

 

Другие публикации лиц с тем же именем

Parameter Synthesis Problems for one parametric clock Timed Automata., , , , , и . CoRR, (2018)A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example., , , и . FM, том 7436 из Lecture Notes in Computer Science, стр. 471-485. Springer, (2012)A Two-Way Path Between Formal and Informal Design of Embedded Systems., , , , и . UTP, том 10134 из Lecture Notes in Computer Science, стр. 65-92. Springer, (2016)Decidability of the Reachability for a Family of Linear Vector Fields., , , , и . ATVA, том 9364 из Lecture Notes in Computer Science, стр. 482-499. Springer, (2015)Combining Hierarchical Specification with Hierarchical Implementation.. ASIAN, том 2896 из Lecture Notes in Computer Science, стр. 110-124. Springer, (2003)Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems., , , и . J. Systems Science & Complexity, 30 (1): 234-252 (2017)Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations., , , и . CoRR, (2018)An Assume/Guarantee Based Compositional Calculus for Hybrid CSP., , и . TAMC, том 7287 из Lecture Notes in Computer Science, стр. 72-83. Springer, (2012)An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems., , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 382-399. Springer, (2015)Connection between logical and algebraic approaches to concurrent systems.. Math. Struct. Comput. Sci., 20 (5): 915-950 (2010)