( en | de | ru )

 

Disambiguierung von "Zhan, Naijun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.

, , , , , und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 195-212. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Zhan Kang

Zhan Gao

Renya Zhan

Beibei Zhan

Zhan Qiu

 

Weitere Publikationen von Autoren mit dem selben Namen

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