K. Narayan

From MaRDI portal
Person:1268546

Available identifiers

zbMath Open narayan.kumar-kMaRDI QIDQ1268546

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50094532021-08-04Paper
Verifying quantitative temporal properties of procedural programs2021-08-04Paper
Verification of Asynchronous Programs with Nested Locks2020-11-25Paper
On nonsupersymmetric C\({}^4\)/Z\({}_N\), tachyons, terminal singularities and flips2013-09-03Paper
Relativistic effect on electromagnetic wave propagation through plasma waveguide1999-10-26Paper

Research outcomes over time

This page was built for person: K. Narayan

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1268546&oldid=6082626"
Powered by MediaWiki