Author of the publication

A Topological Approach to the Stability of Time-Varying and Nonlinear Networks

. University of Illinois Urbana-Champaign, USA, (1966)

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

The first international conference on the fifth generation computer systems., and . Perform. Evaluation, 2 (3): 207-212 (1982)A Timed Petri Net Model and Simulation of a Dataflow Computer., , and . PNPM, page 56-63. IEEE Computer Society, (1985)A Predicate-Transition Net Model for Multiple Agent Planning., , and . Inf. Sci., (1991)A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets., , and . IEEE Trans. Software Eng., 16 (5): 523-536 (1990)Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis., and . IEEE Trans. Software Eng., 20 (5): 325-336 (1994)Articulability of two consecutive morae in Japanese speech production: evidence from sound exchange errors in spontaneous speech., and . ICSLP, ISCA, (1998)Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules., , and . ACM Trans. Program. Lang. Syst., 20 (5): 917-979 (1998)Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs., , and . FJCC, page 1072-1081. IEEE Computer Society, (1986)Efficient Matrix Multiplications on a Concurrent Data-Loading Array Processor., and . ICPP, page 90-94. IEEE Computer Society, (1983)A High-Level Petri Net for a Subset of FGHC., and . SEKE, page 260-266. Knowledge Systems Institute, (1990)