S. Purushothaman Iyer

From MaRDI portal
Person:1126265

Available identifiers

zbMath Open iyer.s-purushothamanMaRDI QIDQ1126265

List of research outcomes





PublicationDate of PublicationType
FM 2005: Formal Methods2006-01-10Paper
Probabilistic temporal logics via the modal mu-calculus2005-09-22Paper
Simulating perfect channels with probabilistic lossy channels2005-05-12Paper
SAT-solving the coverability problem for Petri nets2004-09-09Paper
https://portal.mardi4nfdi.de/entity/Q44220842003-09-03Paper
Well-abstracted transition systems: Application to FIFO automata.2003-08-19Paper
https://portal.mardi4nfdi.de/entity/Q27541092001-11-11Paper
An operational semantics of sharing in lazy evaluation1997-03-03Paper
Unreliable channels are easier to verify than perfect channels1996-03-27Paper
A NEW TYPE OF PUSHDOWN AUTOMATA ON INFINITE TREES1995-10-29Paper

Research outcomes over time

This page was built for person: S. Purushothaman Iyer

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