Ranga Vemuri

From MaRDI portal
Person:216115

Available identifiers

zbMath Open vemuri.ranga-rMaRDI QIDQ216115

List of research outcomes





PublicationDate of PublicationType
Temporal precondition verification of design transformations2024-04-29Paper
https://portal.mardi4nfdi.de/entity/Q44072892003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q47885482003-02-02Paper
https://portal.mardi4nfdi.de/entity/Q47860922002-12-12Paper
Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis2001-11-21Paper
https://portal.mardi4nfdi.de/entity/Q43328991997-02-17Paper

Research outcomes over time

This page was built for person: Ranga Vemuri

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