( en | de | ru )

 

Disambiguation of "Puri, Anuj"

Author of the publication

copydeleteadd this publication to your clipboard
What's decidable about hybrid automata?

, , , and . STOC, page 373-382. ACM, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Werner Puri

Anuj Pathania

Anuj Dawar

Anuj Rawat

Inder Krishan Puri

 

Other publications of authors with the same name

Structural Complexity of Omega-Automata., , and . STACS, volume 900 of Lecture Notes in Computer Science, page 143-156. Springer, (1995)Decidability of Hybrid Systems with Rectangular Differential Inclusion., and . CAV, volume 818 of Lecture Notes in Computer Science, page 95-104. Springer, (1994)The Rabin Index and Chain Automata, with Applications to Automatas and Games., , , and . CAV, volume 939 of Lecture Notes in Computer Science, page 253-266. Springer, (1995)Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data., , and . ICRA, page 870-876. IEEE, (2007)Improving the efficiency of healthcare delivery system in underdeveloped rural areas., , , , , , and . COMSNETS, page 1-6. IEEE, (2011)The Group Right to Mutual Privacy.. Digit. Soc., 2 (2): 22 (August 2023)An Undecidable Problem for Timed Automata.. Discrete Event Dynamic Systems, 9 (2): 135-146 (1999)Dynamical Properties of Timed Automata.. Discrete Event Dynamic Systems, 10 (1-2): 87-113 (2000)A Minimized Automaton Representation of Reachable States., and . Int. J. Softw. Tools Technol. Transf., 2 (3): 270-278 (1999)Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks., , and . International Conference on Internet Computing, page 125-131. CSREA Press, (2002)