Author of the publication

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

Terahertz Ultra-Massive MIMO-Based Aeronautical Communications in Space-Air-Ground Integrated Networks., , , , , , and . IEEE J. Sel. Areas Commun., 39 (6): 1741-1767 (2021)Performance of High-Mobility MIMO Communications With Doppler Diversity., , and . IEEE Access, (2020)Comprehensive Characteristic Decomposition of Parametric Polynomial Systems., , , and . ISSAC, page 123-130. ACM, (2021)Solving Dynamic Geometric Constraints Involving Inequalities., , , and . AISC, volume 4120 of Lecture Notes in Computer Science, page 181-195. Springer, (2006)A Strategy for Speeding-up the Computation of Characteristic Sets.. MFCS, volume 629 of Lecture Notes in Computer Science, page 504-510. Springer, (1992)On Wu's Method for Proving Constructive Geometric Theorems.. IJCAI, page 419-424. Morgan Kaufmann, (1989)Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules., and . CADE, volume 1421 of Lecture Notes in Computer Science, page 17-31. Springer, (1998)Stability analysis of biological systems with real solution classification., and . ISSAC, page 354-361. ACM, (2005)Computer Algebra and Neurodynamics., and . Physik und Informatik, volume 306 of Informatik-Fachberichte, page 304-317. Springer, (1991)Clifford Term Rewriting for Geometric Reasoning in 3D., , and . Automated Deduction in Geometry, volume 1669 of Lecture Notes in Computer Science, page 130-155. Springer, (1998)