Padmanabhan Krishnan

From MaRDI portal
Person:1330426

Available identifiers

zbMath Open krishnan.padmanabhanMaRDI QIDQ1330426

List of research outcomes





PublicationDate of PublicationType
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper
Automatic synthesis of a subclass of schedulers in timed systems.2003-05-25Paper
Decomposing timed push down automata2001-04-24Paper
https://portal.mardi4nfdi.de/entity/Q44992832001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q44992122001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q45207872001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q45207882001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q45205372001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q42176031998-11-11Paper
A Process Algebraic Approach to Time Granularity Semantics1998-07-15Paper
Architectural CCS1996-09-22Paper
A semantic characterization for faults in replicated systems1994-07-21Paper
A CALCULUS OF TIMED COMMUNICATING SYSTEMS1993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q40352521993-05-18Paper

Research outcomes over time

This page was built for person: Padmanabhan Krishnan

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