Anuj Puri

From MaRDI portal



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!

PublicationDate of PublicationType
Structural complexity of -automata
STACS 95
2017-12-04Paper
Algorithms for the Multi-constrained Routing Problem
Algorithm Theory — SWAT 2002
2004-08-12Paper
Dynamical properties of timed automata
Discrete Event Dynamic Systems
2002-06-13Paper
scientific article; zbMATH DE number 1263213 (Why is no real title available?)2002-01-27Paper
scientific article; zbMATH DE number 1820086 (Why is no real title available?)2002-01-01Paper
scientific article; zbMATH DE number 1555955 (Why is no real title available?)2001-01-24Paper
An undecidable problem for timed automata
Discrete Event Dynamic Systems
2000-11-02Paper
What's decidable about hybrid automata?
Journal of Computer and System Sciences
1999-01-06Paper
A minimized automaton representation of reachable states
International Journal on Software Tools for Technology Transfer. STTT
1999-01-01Paper
Decidable hybrid systems
Mathematical and Computer Modelling
1996-09-15Paper


Research outcomes over time


This page was built for person: Anuj Puri