Author of the publication

Representation ring of Levi subgroups versus cohomology ring of flag varieties III

, and . (2022)cite arxiv:2207.04537Comment: 28 pages.

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

Throughput and Lifetime Enhancement of WSNs Using Transmission Power Control and Q-learning., , and . Wirel. Pers. Commun., 132 (2): 799-821 (September 2023)Effective false positive filtering for evolving software., and . ISEC, page 103-106. ACM, (2011)VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)., , , , , , , , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 383-387. Springer, (2020)Optimized Distance Range Free Localization Algorithm for WSN., , and . Wirel. Pers. Commun., 117 (3): 1879-1907 (2021)Connections between conjectures of Alon-Tarsi, Hadamard-Howe, and integrals over the special unitary group., and . Discret. Math., 338 (7): 1232-1238 (2015)Fast Analysis of Evolving Software Systems., , , and . ISSRE Workshops, page 49-54. IEEE, (2022)Property Checking Array Programs Using Loop Shrinking., , , and . TACAS (1), volume 10805 of Lecture Notes in Computer Science, page 213-231. Springer, (2018)Fast Change-Based Alarm Reporting for Evolving Software Systems., , , , , and . ISSRE, page 546-556. IEEE, (2021)Value Slice: A New Slicing Concept for Scalable Property Checking., , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 101-115. Springer, (2015)VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)., , , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 588-593. Springer, (2023)