R. Venkatesh

Available identifiers

zbMath Open venkatesh.rajendranMaRDI QIDQ267411

List of research outcomes

Publication	Date of Publication	Type
Quantum affine algebras, graded limits and flags	2024-03-05	Paper
Correction to: ``Guest editorial	2024-03-05	Paper
Root generated subalgebras of symmetrizable Kac-Moody algebras	2023-11-21	Paper
Unique Factorization For Tensor Products of Parabolic Verma Modules	2023-11-21	Paper
Efficiently learning safety proofs from appearance as well as behaviours	2023-05-26	Paper
On symmetric closed subsets of real affine root systems	2023-05-02	Paper
Identities of the multi-variate independence polynomials from heaps theory	2022-09-16	Paper
A note on the fusion product decomposition of Demazure modules	2022-02-21	Paper
Simplified presentations and embeddings of Demazure modules	2021-12-29	Paper
On tensor products of irreducible integrable representations	2021-12-09	Paper
Borel-de Siebenthal theory for affine reflection systems	2021-10-05	Paper
Maximal closed subroot systems of real affine root systems	2020-02-25	Paper
Property checking array programs using loop shrinking	2019-09-16	Paper
Root multiplicities for Borcherds algebras and graph coloring	2018-03-01	Paper
Scaling bounded model checking by transforming programs with arrays	2017-10-13	Paper
Sequentialization Using Timestamps	2017-05-19	Paper
A Steinberg type decomposition theorem for higher level Demazure modules	2016-04-08	Paper
Twisted Demazure modules, fusion product decomposition and twisted 𝑄-systems	2016-03-09	Paper
Chromatic polynomials of graphs from Kac-Moody algebras	2015-07-10	Paper
Fusion product structure of Demazure modules	2015-06-15	Paper
Demazure modules, fusion products and \(Q\)-systems	2015-02-03	Paper
Formal Techniques for Analysing Scenarios using Message Sequence Charts	2013-07-24	Paper
Unique factorization of tensor products for Kac-Moody algebras	2012-11-20	Paper
Optimal Bundling of Technological Products with Network Externality	2012-02-27	Paper
Scaling up Model-checking	2010-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4709114	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q2703740	2001-05-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: R. Venkatesh