Padmanabhan Krishnan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Theoretical Aspects of Computing - ICTAC 2004 Lecture Notes in Computer Science	2005-11-30	Paper
Automatic synthesis of a subclass of schedulers in timed systems. Theoretical Computer Science	2003-05-25	Paper
Decomposing timed push down automata Fundamenta Informaticae	2001-04-24	Paper
scientific article; zbMATH DE number 1497853 (Why is no real title available?)	2001-03-05	Paper
scientific article; zbMATH DE number 1497794 (Why is no real title available?)	2001-03-05	Paper
scientific article; zbMATH DE number 1543316 (Why is no real title available?)	2001-02-27	Paper
scientific article; zbMATH DE number 1543317 (Why is no real title available?)	2001-02-27	Paper
scientific article; zbMATH DE number 1543081 (Why is no real title available?)	2001-02-26	Paper
scientific article; zbMATH DE number 1222107 (Why is no real title available?)	1998-11-11	Paper
A Process Algebraic Approach to Time Granularity Semantics International Journal of Foundations of Computer Science	1998-07-15	Paper
Architectural CCS Formal Aspects of Computing	1996-09-22	Paper
A semantic characterization for faults in replicated systems Theoretical Computer Science	1994-07-21	Paper
A CALCULUS OF TIMED COMMUNICATING SYSTEMS International Journal of Foundations of Computer Science	1993-06-29	Paper
scientific article; zbMATH DE number 176150 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Padmanabhan Krishnan