Author of the publication

Structural Complexity of Omega-Automata.

, , and . STACS, volume 900 of Lecture Notes in Computer Science, page 143-156. Springer, (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.

 

Other publications of authors with the same name

Optimizing traffic flow in fixed wireless networks.. WCNC, page 904-907. IEEE, (2002)Verification of Hybrid Systems Using Abstractions., and . Hybrid Systems, volume 999 of Lecture Notes in Computer Science, page 359-369. Springer, (1994)Generating Traffic Statistical Profiles Using Unmanned Helicopter-Based Video Data., , and . ICRA, page 870-876. IEEE, (2007)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)Structural Complexity of Omega-Automata., , and . STACS, volume 900 of Lecture Notes in Computer Science, page 143-156. Springer, (1995)Improving the efficiency of healthcare delivery system in underdeveloped rural areas., , , , , , and . COMSNETS, page 1-6. IEEE, (2011)Quasi- shortest Paths for Multipath Routing in Packet- Switched Networks., , and . International Conference on Internet Computing, page 125-131. CSREA Press, (2002)What's decidable about hybrid automata?, , , and . STOC, page 373-382. ACM, (1995)Optimal buffering policy for downloading music in heterogeneous wireless networks., and . WCNC, page 337-341. IEEE, (2002)