Author of the publication

Symbolic Reachability Computation of a Class of Nonlinear Systems.

, , and . ACIS-ICIS, page 706-710. IEEE Computer Society, (2009)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Algorithm for Solving Inverse Eigenproblem of Generalized Periodic Jacobi Matrices., , and . ISCSCT (1), page 84-87. IEEE Computer Society, (2008)A Heuristic Approach to Positive Root Isolation for Multiple Power Sums., , , and . J. UCS, 16 (14): 1912-1926 (2010)The Painlevé Test of Nonlinear Partial Differential Equations and Its Implementation Using Maple., and . IWMM/GIAE, volume 3519 of Lecture Notes in Computer Science, page 179-190. Springer, (2004)Symbolic Reachability Computation of a Class of Nonlinear Systems., , and . ACIS-ICIS, page 706-710. IEEE Computer Society, (2009)A modified Adomian method for system of nonlinear differential equations., and . Applied Mathematics and Computation, 187 (2): 748-755 (2007)A modified WTC algorithm for the Painlevé test of nonlinear variable-coefficient PDEs., , and . Comput. Phys. Commun., 180 (11): 2123-2128 (2009)CONSLAW: A Maple package to construct the conservation laws for nonlinear evolution equations., and . Applied Mathematics and Computation, 173 (1): 616-635 (2006)Maple packages for computing Hirota's bilinear equation and multisoliton solutions of nonlinear evolution equations., , and . Applied Mathematics and Computation, 217 (1): 92-104 (2010)Analyzing ultimate positivity for solvable systems., , , and . Theor. Comput. Sci., (2016)Termination Analysis of Linear Loops., , , and . Int. J. Found. Comput. Sci., 21 (6): 1005-1019 (2010)