Padmanabhan Krishnan

Available identifiers

zbMath Open krishnan.padmanabhanMaRDI QIDQ1330426

List of research outcomes

Publication	Date of Publication	Type
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Automatic synthesis of a subclass of schedulers in timed systems.	2003-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q2711326	2001-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4499212	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4499283	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4520787	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4520788	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4520537	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4217603	1998-11-11	Paper
A Process Algebraic Approach to Time Granularity Semantics	1998-07-15	Paper
Architectural CCS	1996-09-22	Paper
A semantic characterization for faults in replicated systems	1994-07-21	Paper
A CALCULUS OF TIMED COMMUNICATING SYSTEMS	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4035252	1993-05-18	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: Padmanabhan Krishnan